The cat is not rough. The cow visits the cat. The dog does not eat the cow. The mouse is cold. If someone is young then they like the cow. If someone is cold then they eat the cat. If someone eats the cat then the cat is young.
The dog eats the cat.
@0: The cat is not rough.[(triple1)] The cow visits the cat.[(triple2)] The dog does not eat the cow.[(triple3)] The mouse is cold.[(triple4)] @1: The mouse eats the cat.[(((triple4) -> rule2))] @2: The cat is young.[(((((triple4) -> rule2)) -> rule3))] @3: The cat likes the cow.[(((((((triple4) -> rule2)) -> rule3)) -> rule1))]