The cow is green. The cow needs the dog. The dog eats the cow. If someone needs the cow then the cow is big. If someone eats the cow then they see the dog. If someone sees the dog and they eat the cow then they need the cow. If the dog needs the cow and the dog sees the cow then the dog is green. If someone sees the dog then the dog eats the cow. If someone is nice and they eat the dog then they need the dog.
The cow is green.
@0: The cow is green.[(triple1)] The cow needs the dog.[(triple2)] The dog eats the cow.[(triple3)] @1: The dog sees the dog.[(((triple3) -> rule2))] @2: The dog needs the cow.[(((((triple3) -> rule2) triple3) -> rule3))] @3: The cow is big.[(((((((triple3) -> rule2) triple3) -> rule3)) -> rule1))]