The cat likes the tiger. The cow likes the mouse. The mouse eats the cow. The mouse is cold. The mouse sees the cat. The mouse sees the tiger. The tiger likes the cat. If the cow is round then the cow likes the mouse. If someone sees the mouse and the mouse eats the cow then they eat the mouse. If someone sees the cat and they like the cat then they see the tiger. If someone eats the mouse then the mouse likes the cat. If someone sees the cat then the cat eats the tiger. If someone eats the tiger then the tiger sees the mouse.
The cat eats the tiger.
@0: The cat likes the tiger.[(triple1)] The cow likes the mouse.[(triple2)] The mouse eats the cow.[(triple3)] The mouse is cold.[(triple4)] The mouse sees the cat.[(triple5)] The mouse sees the tiger.[(triple6 OR ((triple5 ((((((((triple5) -> rule5)) -> rule6) triple3) -> rule2)) -> rule4)) -> rule3))] The tiger likes the cat.[(triple7)] @1: The cat eats the tiger.[(((triple5) -> rule5))] @2: The tiger sees the mouse.[(((((triple5) -> rule5)) -> rule6))] @3: The tiger eats the mouse.[(((((((triple5) -> rule5)) -> rule6) triple3) -> rule2))] @4: The mouse likes the cat.[(((((((((triple5) -> rule5)) -> rule6) triple3) -> rule2)) -> rule4))]