The cat eats the tiger. The cat is cold. The cat is round. The mouse is nice. The mouse is not rough. The mouse likes the cat. The mouse likes the squirrel. The mouse does not visit the cat. The squirrel eats the mouse. The squirrel is nice. The squirrel is rough. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is nice. The tiger likes the cat. The tiger likes the squirrel. If someone likes the mouse and the mouse is not round then the mouse is cold. All rough people are not cold. If the mouse visits the tiger and the mouse is not cold then the tiger is cold. If someone eats the tiger and the tiger is cold then the tiger does not eat the cat. If someone is red and they visit the tiger then the tiger does not eat the cat. If the squirrel eats the tiger and the squirrel visits the cat then the tiger visits the cat. If the squirrel is not cold then the squirrel visits the cat. If someone visits the cat then the cat visits the squirrel.
The tiger does not like the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The mouse does not visit the cat.[(triple8)] The mouse is nice.[(triple4)] The mouse is not rough.[(triple5)] The mouse likes the cat.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel eats the mouse.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the cat.[(triple15)] The tiger likes the squirrel.[(triple16)] @1: The squirrel is not cold.[(((triple11) -> rule2))] @2: The squirrel visits the cat.[(((((triple11) -> rule2)) -> rule7))] @3: The cat visits the squirrel.[(((((((triple11) -> rule2)) -> rule7)) -> rule8))]