The dog likes the squirrel. The mouse sees the squirrel. The squirrel needs the tiger. The tiger does not see the dog. If something needs the dog then the dog does not see the tiger. If the tiger is big and the tiger does not like the squirrel then the squirrel is cold. If something likes the squirrel then it is rough. If something is blue and it likes the squirrel then the squirrel does not like the tiger. If something likes the tiger and it likes the squirrel then the squirrel is not blue. If something is blue and it needs the tiger then it needs the squirrel. If something sees the dog and the dog needs the mouse then the dog does not like the tiger. If something is cold then it sees the squirrel.
The mouse sees the squirrel.
@0: The dog likes the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel needs the tiger.[(triple3)] The tiger does not see the dog.[(triple4)] @1: The dog is rough.[(((triple1) -> rule3))]