The cow needs the dog. The dog is not cold. If something needs the dog then it eats the cow. If the dog eats the cow and the dog sees the cow then the dog needs the cow. If something needs the cow then the cow does not see the dog. If something eats the dog and it is not rough then the dog sees the cow. If something needs the dog then it sees the cow. If something sees the dog then it is cold. If something sees the cow then it needs the cow. If the dog does not see the cow then the dog is round.
The dog does not see the cow.
@0: The cow needs the dog.[(triple1)] The dog is not cold.[(triple2)] @1: The cow eats the cow.[(((triple1) -> rule1))] The cow sees the cow.[(((triple1) -> rule5))] @2: The cow needs the cow.[(((((triple1) -> rule5)) -> rule7))] @3: The cow does not see the dog.[(((((((triple1) -> rule5)) -> rule7)) -> rule3))]