The cow is cold. The dog is kind. The mouse needs the cow. The tiger does not see the dog. If something needs the dog and the dog sees the tiger then the tiger does not need the dog. If something needs the tiger then it is green. If the cow sees the dog and the dog does not need the mouse then the mouse is not round. If something is big then it sees the cow. If something needs the cow then it does not like the dog. If something is cold and it needs the tiger then the tiger needs the mouse. If something sees the tiger and the tiger sees the dog then the dog sees the tiger. If something is kind and it does not need the mouse then the mouse likes the tiger.
The tiger needs the cow.
@0: The cow is cold.[(triple1)] The dog is kind.[(triple2)] The mouse needs the cow.[(triple3)] The tiger does not see the dog.[(triple4)] @1: The mouse does not like the dog.[(((triple3) -> rule5))]