The cat likes the cow. The cow is green. The cow does not see the cat. If something likes the cat and the cat does not see the cow then it sees the cat. If the cat chases the cow and the cat sees the cow then the cat does not like the cow. If something chases the cat then the cat likes the cow. If something likes the cat then it chases the cow. If the cow is green then the cow is cold. If something is cold then it likes the cat.
The cow chases the cow.
@0: The cat likes the cow.[(triple1)] The cow does not see the cat.[(triple3)] The cow is green.[(triple2)] @1: The cow is cold.[(((triple2) -> rule5))] @2: The cow likes the cat.[(((((triple2) -> rule5)) -> rule6))] @3: The cow chases the cow.[(((((((triple2) -> rule5)) -> rule6)) -> rule4))]