text: If p then q. p. Therefore q.

premises:
p implies q
p

query: q

gold: entailed


text: If p then q. Not q. Therefore not p.

premises:
p implies q
not q

query: not p

gold: entailed


text: If p then q. If q then r. Therefore if p then r.

premises:
p implies q
q implies r

query: p implies r

gold: entailed


text: p or q. Not p. Therefore q.

premises:
p or q
not p

query: q


text: p or q. Not q. Therefore p.

premises:
p or q
not q

query: p


text: If p then q. q. Therefore p.

premises:
p implies q
q

query: p

gold: unknown


text: If p then q. Not p. Therefore not q.

premises:
p implies q
not p

query: not q

gold: unknown


text: If p then q. If q then r. p. Therefore r.

premises:
p implies q
q implies r
p

query: r


text: If rain then wet. rain. Therefore wet.

premises:
rain implies wet
rain

query: wet


text: If fire then smoke. Not smoke. Therefore not fire.

premises:
fire implies smoke
not smoke

query: not fire

gold: entailed


text: p or q. p. Therefore not q.

premises:
p or q
p

query: not q

gold: unknown


text: sun or moon. Not sun. Therefore moon.

premises:
sun or moon
not sun

query: moon