data_source: KorPuzzleArrowMaze

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

C2: ¬r ¬q

expected: ¬q


data_source: KorPuzzleArrowMaze

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: r ∨ ¬s


data_source: KorPuzzleArrowMaze

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

C2: ¬q s

expected: s


data_source: KorPuzzleArrowMaze

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

expected_output: Plausible


data_source: KorPuzzleArrowMaze

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

C1: s p

C2: ¬s r


data_source: KorPuzzleArrowMaze

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

C1: ¬s s q


data_source: KorPuzzleArrowMaze

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

C1: s ¬r


data_source: KorPuzzleArrowMaze

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

cnf: r s


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

cnf: r ¬p q


data_source: KorPuzzleArrowMaze

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: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

expected: r ∨ s


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C2: q ¬s


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

expected: r


data_source: KorPuzzleArrowMaze

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

C2: ¬p ¬r

expected: ¬r ∨ ¬s


data_source: KorPuzzleArrowMaze

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

C2: s p


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C2: p ¬p q


data_source: KorPuzzleArrowMaze

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: KorPuzzleArrowMaze

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

C2: r ¬q


data_source: KorPuzzleArrowMaze

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

C1: p r ¬q


data_source: KorPuzzleArrowMaze

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

C1: q ¬p

C2: ¬q r s


data_source: KorPuzzleArrowMaze

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: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C2: ¬r ¬p

expected: ¬p


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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: ¬q ∨ ¬r


data_source: KorPuzzleArrowMaze

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

C1: p q

C2: ¬s s ¬r


data_source: KorPuzzleArrowMaze

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

expected: ¬q ∨ s ∨ p


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C2: ¬q s ¬s

expected: s ∨ ¬s


data_source: KorPuzzleArrowMaze

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

C1: q r ¬s

C2: ¬q p ¬p

expected: r ∨ p ∨ ¬p ∨ ¬s


data_source: KorPuzzleArrowMaze

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

expected: p ∨ q


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

cnf: q ¬q ¬r


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C1: r q

expected: q


data_source: KorPuzzleArrowMaze

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

C2: ¬p q

expected: q ∨ ¬s


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C1: s ¬s


data_source: KorPuzzleArrowMaze

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

cnf: ¬p q


data_source: KorPuzzleArrowMaze

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

C2: ¬q r ¬r

expected: r ∨ ¬r ∨ ¬p ∨ ¬s


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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: KorPuzzleArrowMaze

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

C1: p ¬q

C2: ¬p ¬q ¬r


data_source: KorPuzzleArrowMaze

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

C2: ¬r q


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C2: ¬p ¬q


data_source: KorPuzzleArrowMaze

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

C1: ¬q p


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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


data_source: KorPuzzleArrowMaze

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

C2: r ¬q ¬p