The cat eats the mouse. The cat is nice. The cat is rough. The cat is young. The cat likes the mouse. The mouse eats the cat. The mouse is not nice. The mouse is young. The mouse likes the cat. The mouse visits the cat. If the mouse likes the cat and the mouse is round then the cat eats the mouse. If someone eats the mouse then the mouse is not nice. If someone visits the cat then they do not eat the mouse. If someone visits the mouse and they are not nice then the mouse is rough. If someone is cold then they are rough. If someone visits the cat and they do not eat the mouse then they are cold.
The cat is not round.
@0: The cat eats the mouse.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat likes the mouse.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is not nice.[(triple7 OR ((triple1) -> rule2))] The mouse is young.[(triple8)] The mouse likes the cat.[(triple9)] The mouse visits the cat.[(triple10)] @1: The mouse does not eat the mouse.[(((triple10) -> rule3))] @2: The mouse is cold.[(((triple10 ((triple10) -> rule3)) -> rule6))] @3: The mouse is rough.[(((((triple10 ((triple10) -> rule3)) -> rule6)) -> rule5))]