The cat likes the mouse. The mouse eats the cat. If someone eats the cat and the cat likes the mouse then they eat the mouse. If someone eats the mouse then they like the cat. If someone likes the cat and the cat sees the mouse then they like the mouse. If someone likes the mouse and the mouse is green then they see the mouse. If someone is young then they eat the cat. If someone likes the mouse then they eat the cat. If the cat sees the mouse then the cat eats the mouse. If someone is cold then they like the mouse.
The cat likes the cat.
@0: The cat likes the mouse.[(triple1)] The mouse eats the cat.[(triple2)] @1: The cat eats the cat.[(((triple1) -> rule6))] The mouse eats the mouse.[(((triple2 triple1) -> rule1))] @2: The cat eats the mouse.[(((((triple1) -> rule6) triple1) -> rule1))] The mouse likes the cat.[(((((triple2 triple1) -> rule1)) -> rule2))] @3: The cat likes the cat.[(((((((triple1) -> rule6) triple1) -> rule1)) -> rule2))]