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:
If C1 = r ∨ 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 p

expected: p


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].

expected_output: Implausible


data_source: KorLogicResolution

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

C2: s ¬s


data_source: KorLogicResolution

prompt:
If C1 = s ∨ ¬p ∨ r and C2 = ¬s ∨ ¬p ∨ 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 r

C2: ¬s ¬p r

expected: ¬p ∨ r


data_source: KorLogicResolution

prompt:
If C1 = q ∨ p 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 p


data_source: KorLogicResolution

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

C2: ¬s ¬r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p ∨ r ∨ ¬r)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].

cnf: p r ¬r

expected_output: Plausible


data_source: KorLogicResolution

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

C1: r ¬p q

C2: ¬r p ¬q

expected: p ∨ ¬p ∨ q ∨ ¬q


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (s)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


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 ∨ p ∨ ¬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 ¬p

C2: ¬r ¬p

expected: p ∨ ¬p


data_source: KorLogicResolution

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

C1: q p ¬s

C2: ¬q s ¬p

expected: p ∨ ¬s ∨ s ∨ ¬p


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 = 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 and C2 = r be resolved?
A. Yes
B. No
Answer format: [[option]].


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 = r ∨ ¬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

expected: ¬s ∨ ¬p


data_source: KorLogicResolution

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

C2: s ¬q ¬r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


data_source: KorLogicResolution

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

C1: q s


data_source: KorLogicResolution

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

C1: s q

C2: ¬s p


data_source: KorLogicResolution

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

C1: s p


data_source: KorLogicResolution

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


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


data_source: KorLogicResolution

prompt:
If C1 = q ∨ ¬s ∨ ¬r 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 ¬r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p ∨ ¬s ∨ ¬q)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].

cnf: p ¬s ¬q


data_source: KorLogicResolution

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

C1: ¬s q


data_source: KorLogicResolution

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

C2: ¬r p q


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


data_source: KorLogicResolution

prompt:
If C1 = r ∨ ¬s 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]].

C2: ¬r ¬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:
If C1 = r ∨ ¬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 ¬p

expected: ¬p


data_source: KorLogicResolution

prompt:
If C1 = q ∨ p 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 = 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]].

expected: ¬r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


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:
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 = r ∨ ¬s ∨ ¬p and C2 = ¬r ∨ p ∨ ¬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 ¬p

C2: ¬r p ¬s

expected: p ∨ ¬s ∨ ¬p


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


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 = q 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]].

C2: ¬q p


data_source: KorLogicResolution

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

C1: q ¬r

C2: p ¬r


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 ∨ p ∨ ¬p 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]].

C2: ¬r ¬s


data_source: KorLogicResolution

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

C2: ¬q ¬p ¬r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (r ∨ ¬r)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].

cnf: r ¬r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (¬q ∨ ¬r)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].

cnf: ¬q ¬r


data_source: KorLogicResolution

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

C2: p ¬p s


data_source: KorLogicResolution

prompt:
If C1 = p ∨ s ∨ ¬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 s ¬q

C2: ¬p q

expected: s ∨ q ∨ ¬q


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


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]].

C1: p r

expected: q ∨ r


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


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


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]].


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 = s and C2 = ¬s be resolved?
A. Yes
B. No
Answer format: [[option]].


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].


data_source: KorLogicResolution

prompt:
If C1 = r 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]].

expected: ¬s


data_source: KorLogicResolution

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


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (s ∨ ¬q)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].

cnf: s ¬q


data_source: KorLogicResolution

prompt:
Apply resolution algorithm to: (p) ∧ (¬p)
What is the output (Plausible/Implausible) and cycle count?
Answer format: [[output];[number]].