The cat is nice. The cat likes the tiger. The cow likes the tiger. The cow sees the cat. The cow visits the mouse. The mouse likes the tiger. The mouse sees the cow. The mouse sees the tiger. The mouse visits the cat. The mouse visits the cow. The mouse visits the tiger. The tiger is green. The tiger likes the cat. The tiger sees the cat. The tiger visits the cat. If someone sees the mouse and the mouse is cold then they are round. If someone likes the cat and they see the cow then the cat is cold. If someone sees the cow then they like the cat. If someone sees the cow and the cow likes the tiger then the cow likes the cat. If someone is cold then they see the cat. If the tiger is green then the tiger sees the mouse.
The mouse is not round.
@0: The cat is nice.[(triple1)] The cat likes the tiger.[(triple2)] The cow likes the tiger.[(triple3)] The cow sees the cat.[(triple4)] The cow visits the mouse.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse sees the cow.[(triple7)] The mouse sees the tiger.[(triple8)] The mouse visits the cat.[(triple9)] The mouse visits the cow.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger is green.[(triple12)] The tiger likes the cat.[(triple13)] The tiger sees the cat.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cow likes the cat.[(((triple7 triple3) -> rule4))] The mouse likes the cat.[(((triple7) -> rule3))] The tiger sees the mouse.[(((triple12) -> rule6))] @2: The cat is cold.[(((((triple7) -> rule3) triple7) -> rule2))] @3: The cat sees the cat.[(((((((triple7) -> rule3) triple7) -> rule2)) -> rule5))]