The cow is big. The cow needs the tiger. The dog is cold. The dog is rough. The dog visits the tiger. The mouse is kind. The mouse is rough. The mouse needs the cow. The mouse needs the dog. The tiger chases the dog. The tiger is kind. The tiger visits the mouse. If something needs the mouse and it is nice then it chases the tiger. Cold things are kind. If something is kind and it chases the tiger then the tiger visits the cow.
The mouse is not rough.
@0: The cow is big.[(triple1)] The cow needs the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is rough.[(triple4)] The dog visits the tiger.[(triple5)] The mouse is kind.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the cow.[(triple8)] The mouse needs the dog.[(triple9)] The tiger chases the dog.[(triple10)] The tiger is kind.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The dog is kind.[(((triple3) -> rule2))]