The cat chases the cow. The cat is big. The cow does not chase the cat. If something chases the cat then the cat is big. If something visits the cat then it needs the cat. If something visits the cat then it is green. If something needs the cat then it is green. If something is young then it does not visit the cat. If the cow does not chase the cat then the cow visits the cat. If the cat needs the cow then the cat chases the cow. If something needs the cat and it visits the cat then it chases the cow.
The cow is not green.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cow does not chase the cat.[(triple3)] @1: The cow visits the cat.[(((triple3) -> rule6))] @2: The cow is green.[(((((triple3) -> rule6)) -> rule3) OR ((((((triple3) -> rule6)) -> rule2)) -> rule4))] The cow needs the cat.[(((((triple3) -> rule6)) -> rule2))] @3: The cow chases the cow.[(((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule8))]