The cat chases the cow. The cow likes the rabbit. The rabbit chases the cat. If something chases the cow then it sees the cow. If something is cold then it sees the cow. If the rabbit chases the cat then the rabbit sees the cow. If something sees the cow and the cow is red then the cow is young. If something sees the cow then it likes the cow. If something sees the cow and it does not like the cow then the cow sees the rabbit.
The rabbit is young.
@0: The cat chases the cow.[(triple1)] The cow likes the rabbit.[(triple2)] The rabbit chases the cat.[(triple3)] @1: The cat sees the cow.[(((triple1) -> rule1))] The rabbit sees the cow.[(((triple3) -> rule3))] @2: The cat likes the cow.[(((((triple1) -> rule1)) -> rule5))] The rabbit likes the cow.[(((((triple3) -> rule3)) -> rule5))]