The cat is big. The cat is blue. The cat is red. The cat is rough. The cat is young. The cat likes the squirrel. The cat sees the squirrel. The cat does not visit the squirrel. The squirrel is not big. The squirrel is blue. The squirrel is red. The squirrel is not rough. The squirrel is young. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the cat. If something sees the cat and it visits the cat then it likes the squirrel.
The squirrel is red.
@0: The cat does not visit the squirrel.[(triple8)] The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6)] The cat sees the squirrel.[(triple7)] The squirrel is blue.[(triple10)] The squirrel is not big.[(triple9)] The squirrel is not rough.[(triple12)] The squirrel is red.[(triple11)] The squirrel is young.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The squirrel likes the squirrel.[(((triple15 triple16) -> rule1))]