The cat likes the squirrel. The cat likes the tiger. The cat sees the tiger. The cat visits the dog. The dog is blue. The dog likes the squirrel. The dog visits the tiger. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel visits the dog. The tiger is blue. The tiger is round. The tiger likes the dog. The tiger sees the squirrel. If the dog is big then the dog visits the cat. If something likes the tiger then it visits the squirrel. If the cat is cold then the cat sees the squirrel. If something sees the tiger then the tiger likes the dog. If something likes the cat and the cat likes the tiger then it sees the cat. If something sees the tiger and the tiger is big then the tiger likes the dog. If something visits the dog and it visits the squirrel then it is cold. If something sees the squirrel then the squirrel is big.
The cat sees the squirrel.
@0: The cat likes the squirrel.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the tiger.[(triple3)] The cat visits the dog.[(triple4)] The dog is blue.[(triple5)] The dog likes the squirrel.[(triple6)] The dog visits the tiger.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is rough.[(triple10)] The squirrel visits the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger is round.[(triple13)] The tiger likes the dog.[(triple14 OR ((triple3) -> rule4))] The tiger sees the squirrel.[(triple15)] @1: The cat visits the squirrel.[(((triple2) -> rule2))] The squirrel is big.[(((triple15) -> rule8) OR ((((((triple4 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule8))] @2: The cat is cold.[(((triple4 ((triple2) -> rule2)) -> rule7))] @3: The cat sees the squirrel.[(((((triple4 ((triple2) -> rule2)) -> rule7)) -> rule3))]