The cat is green. The cow is kind. The cow needs the cat. If something needs the cow and the cow is nice then it visits the cow. If something likes the cow then it needs the cow. If something likes the cat then the cat is blue. If the cow does not need the cat then the cat visits the cow. If something needs the cat then it likes the cat. If something is blue then it likes the cat.
The cat is blue.
@0: The cat is green.[(triple1)] The cow is kind.[(triple2)] The cow needs the cat.[(triple3)] @1: The cow likes the cat.[(((triple3) -> rule5))] @2: The cat is blue.[(((((triple3) -> rule5)) -> rule3))] @3: The cat likes the cat.[(((((((triple3) -> rule5)) -> rule3)) -> rule6))]