The cat chases the cow. The cow needs the cat. The squirrel sees the cat. If something sees the cat then the cat sees the cow. If something needs the squirrel then it sees the cat. If the squirrel is green and the squirrel is cold then the squirrel is big.
The squirrel is not big.
@0: The cat chases the cow.[(triple1)] The cow needs the cat.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat sees the cow.[(((triple3) -> rule1))]