data_source: KorLogicResolution

prompt:
Can clauses C1 = p ∨ ¬q and C2 = ¬p ∨ ¬q be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: p ¬q

C2: ¬p ¬q


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ ¬r ∨ p and C2 = ¬s ∨ q be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: s ¬r p

C2: ¬s q


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ q and C2 = ¬s ∨ q be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: s q


data_source: KorLogicResolution

prompt:
If C1 = s ∨ q and C2 = ¬s ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬s ¬p

expected: q ∨ ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = q and C2 = ¬q ∨ ¬s ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: ¬q ¬s ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬s ∨ ¬p and C2 = ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬s ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = q ∨ ¬p and C2 = ¬q ∨ s ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: q ¬p

C2: ¬q s ¬r


data_source: KorLogicResolution

prompt:
If C1 = s ∨ p and C2 = ¬s ∨ r ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s p

C2: ¬s r ¬r

expected: r ∨ ¬r ∨ p


data_source: KorLogicResolution

prompt:
If C1 = r ∨ ¬p and C2 = ¬r ∨ p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r ¬p

C2: ¬r p

expected: ¬p ∨ p


data_source: KorLogicResolution

prompt:
Can clauses C1 = p ∨ ¬r and C2 = ¬p ∨ ¬s ∨ ¬q be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: p ¬r

C2: ¬p ¬s ¬q


data_source: KorLogicResolution

prompt:
If C1 = p ∨ ¬s and C2 = ¬p ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p ¬s

C2: ¬p ¬r

expected: ¬s ∨ ¬r


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬s and C2 = ¬q ∨ ¬s ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q ¬s

C2: ¬q ¬s s

expected: ¬s ∨ s


data_source: KorLogicResolution

prompt:
If C1 = p and C2 = ¬p ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬p s

expected: s


data_source: KorLogicResolution

prompt:
If C1 = p ∨ ¬q and C2 = ¬p ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

expected: s ∨ ¬q


data_source: KorLogicResolution

prompt:
If C1 = r ∨ s and C2 = ¬r ∨ ¬s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r s

C2: ¬r ¬s


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬s ∨ s and C2 = ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬s s


data_source: KorLogicResolution

prompt:
If C1 = p ∨ s ∨ ¬q and C2 = ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p s ¬q


data_source: KorLogicResolution

prompt:
If C1 = p ∨ ¬q and C2 = ¬p ∨ ¬q ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬p ¬q ¬r

expected: ¬q ∨ ¬r


data_source: KorLogicResolution

prompt:
If C1 = p ∨ ¬r and C2 = ¬p ∨ ¬q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
If C1 = p and C2 = ¬p ∨ s ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬p s ¬r

expected: s ∨ ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬s ∨ s ∨ ¬r and C2 = ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬s s ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ ¬p and C2 = ¬s ∨ ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: s ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r and C2 = ¬s ∨ ¬q ∨ q be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: ¬s ¬q q


data_source: KorLogicResolution

prompt:
If C1 = r and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = p ∨ ¬r and C2 = ¬p ∨ r ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: ¬p r ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬p and C2 = s ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: s ¬r


data_source: KorLogicResolution

prompt:
If C1 = s and C2 = ¬s ∨ q ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬s q ¬r

expected: ¬r ∨ q


data_source: KorLogicResolution

prompt:
Can clauses C1 = r ∨ s ∨ ¬p and C2 = ¬r ∨ ¬s ∨ s be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: r s ¬p

C2: ¬r ¬s s


data_source: KorLogicResolution

prompt:
If C1 = r ∨ ¬s and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r ¬s

expected: ¬s


data_source: KorLogicResolution

prompt:
If C1 = q ∨ s ∨ ¬r and C2 = ¬q ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q s ¬r

C2: ¬q ¬p

expected: s ∨ ¬r ∨ ¬p


data_source: KorLogicResolution

prompt:
If C1 = s ∨ ¬r and C2 = ¬s ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s ¬r

C2: ¬s ¬r

expected: ¬r


data_source: KorLogicResolution

prompt:
If C1 = r and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
If C1 = r and C2 = ¬r ∨ q ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬r q ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = q ∨ ¬p and C2 = ¬q ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: ¬q ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = q ∨ ¬p and C2 = s ∨ ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: s ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r ∨ s ∨ q and C2 = r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: r s q


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬s and C2 = ¬s ∨ q ∨ ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: ¬s q ¬p


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬s and C2 = ¬q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
If C1 = r ∨ s ∨ ¬q and C2 = ¬r ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r s ¬q

C2: ¬r s


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬q ∨ q and C2 = s ∨ ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬q q


data_source: KorLogicResolution

prompt:
If C1 = s and C2 = ¬s ∨ r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬s r

expected: r


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬p ∨ ¬r ∨ p and C2 = ¬q be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬p ¬r p


data_source: KorLogicResolution

prompt:
If C1 = p ∨ q and C2 = ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p q

expected: q


data_source: KorLogicResolution

prompt:
If C1 = p and C2 = ¬p ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬p s


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ ¬r ∨ p and C2 = ¬s ∨ ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: s ¬r p

C2: ¬s ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬q ∨ p and C2 = p be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬q p


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬s and C2 = ¬q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q ¬s


data_source: KorLogicResolution

prompt:
If C1 = q ∨ s ∨ p and C2 = ¬q ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q s p

C2: ¬q s

expected: s ∨ p


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬s and C2 = ¬q ∨ ¬r ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬q ¬r ¬p

expected: ¬s ∨ ¬r ∨ ¬p


data_source: KorLogicResolution

prompt:
If C1 = r ∨ s ∨ q and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

expected: s ∨ q


data_source: KorLogicResolution

prompt:
If C1 = p ∨ s and C2 = ¬p ∨ r ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p s

expected: r ∨ s ∨ ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬s ∨ r ∨ p and C2 = r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬s r p


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ ¬q and C2 = ¬s be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: s ¬q


data_source: KorLogicResolution

prompt:
If C1 = p and C2 = ¬p ∨ r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬p r


data_source: KorLogicResolution

prompt:
Can clauses C1 = r ∨ p and C2 = q be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: r p


data_source: KorLogicResolution

prompt:
If C1 = r and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
If C1 = q and C2 = ¬q ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = s and C2 = ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
If C1 = p ∨ r ∨ s and C2 = ¬p ∨ r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p r s

expected: r ∨ s


data_source: KorLogicResolution

prompt:
Can clauses C1 = p and C2 = ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
If C1 = q ∨ p and C2 = ¬q ∨ r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q p

C2: ¬q r

expected: r ∨ p


data_source: KorLogicResolution

prompt:
Can clauses C1 = p ∨ ¬s ∨ r and C2 = ¬p ∨ r ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: p ¬s r

C2: ¬p r ¬r


data_source: KorLogicResolution

prompt:
If C1 = s ∨ r ∨ p and C2 = ¬s ∨ ¬q ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s r p

C2: ¬s ¬q ¬p

expected: r ∨ ¬q ∨ p ∨ ¬p


data_source: KorLogicResolution

prompt:
If C1 = s ∨ p ∨ ¬p and C2 = ¬s ∨ ¬q ∨ q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s p ¬p

C2: ¬s ¬q q

expected: q ∨ ¬q ∨ p ∨ ¬p


data_source: KorLogicResolution

prompt:
If C1 = r ∨ ¬q ∨ q and C2 = ¬r ∨ ¬s ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r ¬q q

C2: ¬r ¬s s

expected: ¬s ∨ s ∨ ¬q ∨ q


data_source: KorLogicResolution

prompt:
If C1 = r ∨ q and C2 = ¬r ∨ s ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r q

C2: ¬r s ¬p

expected: s ∨ q ∨ ¬p


data_source: KorLogicResolution

prompt:
If C1 = p ∨ s ∨ q and C2 = ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p s q


data_source: KorLogicResolution

prompt:
If C1 = r and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬s ∨ ¬p and C2 = ¬q ∨ ¬s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q ¬s ¬p

C2: ¬q ¬s

expected: ¬s ∨ ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r and C2 = ¬s ∨ r be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
If C1 = r ∨ ¬s ∨ s and C2 = ¬r ∨ p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r ¬s s

C2: ¬r p

expected: ¬s ∨ s ∨ p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r ∨ ¬q ∨ ¬p and C2 = ¬r ∨ s be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: r ¬q ¬p


data_source: KorLogicResolution

prompt:
If C1 = r and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ ¬q and C2 = r ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: r ¬r


data_source: KorLogicResolution

prompt:
If C1 = s ∨ ¬p and C2 = ¬s ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s ¬p

expected: ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r and C2 = s be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
If C1 = r ∨ p and C2 = ¬r ∨ ¬s ∨ ¬q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C2: ¬r ¬s ¬q

expected: ¬s ∨ ¬q ∨ p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r ∨ ¬s and C2 = ¬r ∨ p be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: r ¬s


data_source: KorLogicResolution

prompt:
If C1 = p ∨ ¬s ∨ q and C2 = ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p ¬s q

expected: ¬s ∨ q


data_source: KorLogicResolution

prompt:
Can clauses C1 = q and C2 = ¬s be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = q ∨ s ∨ p and C2 = ¬q ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: q s p

C2: ¬q ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ ¬p and C2 = q be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬r and C2 = ¬q ∨ r ∨ s, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: q ¬r

C2: ¬q r s


data_source: KorLogicResolution

prompt:
Can clauses C1 = q and C2 = s be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬r and C2 = s be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = s and C2 = p ∨ ¬p be resolved?
A. Yes
B. No
Answer format: [[option]].

C2: p ¬p


data_source: KorLogicResolution

prompt:
If C1 = r ∨ ¬q ∨ p and C2 = ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r ¬q p

expected: ¬q ∨ p


data_source: KorLogicResolution

prompt:
If C1 = p ∨ ¬s and C2 = ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p ¬s

expected: ¬s


data_source: KorLogicResolution

prompt:
If C1 = r ∨ p ∨ ¬p and C2 = ¬r ∨ ¬s ∨ p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: r p ¬p

C2: ¬r ¬s p

expected: ¬s ∨ p ∨ ¬p


data_source: KorLogicResolution

prompt:
Can clauses C1 = r and C2 = ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
If C1 = p ∨ r and C2 = ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p r


data_source: KorLogicResolution

prompt:
If C1 = q and C2 = ¬q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = r and C2 = r be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = p and C2 = ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
Can clauses C1 = q ∨ ¬r ∨ ¬p and C2 = s ∨ ¬r be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: q ¬r ¬p

C2: s ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = s ∨ q and C2 = ¬s be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: s q


data_source: KorLogicResolution

prompt:
If C1 = s ∨ r and C2 = ¬s ∨ ¬r, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s r

C2: ¬s ¬r

expected: r ∨ ¬r


data_source: KorLogicResolution

prompt:
Can clauses C1 = ¬s ∨ ¬q ∨ p and C2 = ¬q ∨ p be resolved?
A. Yes
B. No
Answer format: [[option]].

C1: ¬s ¬q p

C2: ¬q p


data_source: KorLogicResolution

prompt:
If C1 = p ∨ q and C2 = ¬p ∨ ¬q, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: p q

C2: ¬p ¬q

expected: ¬q ∨ q


data_source: KorLogicResolution

prompt:
If C1 = s ∨ r ∨ ¬q and C2 = ¬s ∨ ¬p, what is dispel(C1, C2)?
Provide answer in format [[result]].
For multiple results use [[result1;result2]].
For empty clause write [[0]].

C1: s r ¬q

C2: ¬s ¬p

expected: r ∨ ¬q ∨ ¬p