The cat eats the mouse. The cat likes the mouse. The mouse likes the cat. If someone is cold then they like the mouse. If someone is round then they eat the cat. If someone likes the mouse then the mouse is cold. If someone likes the mouse and they are big then the mouse visits the cat. If someone eats the mouse then they are round. If the mouse visits the cat and the cat is not young then the cat is round. If someone eats the cat then they visit the cat. If the mouse is round then the mouse likes the cat.
The mouse does not like the cat.
@0: The cat eats the mouse.[(triple1)] The cat likes the mouse.[(triple2)] The mouse likes the cat.[(triple3)] @1: The cat is round.[(((triple1) -> rule5))] The mouse is cold.[(((triple2) -> rule3))] @2: The cat eats the cat.[(((((triple1) -> rule5)) -> rule2))] The mouse likes the mouse.[(((((triple2) -> rule3)) -> rule1))] @3: The cat visits the cat.[(((((((triple1) -> rule5)) -> rule2)) -> rule7))]