The cat needs the rabbit. The cat sees the rabbit. The cow chases the cat. The cow chases the rabbit. The cow is blue. The rabbit chases the cow. The rabbit is green. If someone sees the rabbit then they see the cow. If someone sees the cow then they are big.
The rabbit is green.
@0: The cat needs the rabbit.[(triple1)] The cat sees the rabbit.[(triple2)] The cow chases the cat.[(triple3)] The cow chases the rabbit.[(triple4)] The cow is blue.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is green.[(triple7)] @1: The cat sees the cow.[(((triple2) -> rule1))] @2: The cat is big.[(((((triple2) -> rule1)) -> rule2))]