The cow is big. The dog is round. The rabbit needs the cow. If something sees the rabbit then it needs the cow. If something eats the rabbit then the rabbit is not nice. Blue things are not big. If something needs the dog and it does not see the cow then the cow is cold. If something eats the dog and the dog eats the cow then the dog sees the rabbit. If something is round then it is blue. If something needs the cow then the cow needs the rabbit. If the dog does not see the rabbit then the dog needs the cow.
The cow sees the rabbit.
@0: The cow is big.[(triple1)] The dog is round.[(triple2)] The rabbit needs the cow.[(triple3)] @1: The cow needs the rabbit.[(((triple3) -> rule7))] The dog is blue.[(((triple2) -> rule6))] @2: The dog is not big.[(((((triple2) -> rule6)) -> rule3))]