The cat is big. The cat is blue. The cat is cold. The cat is round. The cat likes the squirrel. The cat does not see the squirrel. The cat visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel likes the cat. The squirrel does not see the cat. The squirrel visits the cat. If someone is blue and they see the squirrel then the squirrel does not see the cat. If someone is cold and they visit the squirrel then the squirrel is big. If someone sees the cat then they are not big. If someone is round then they visit the cat. If someone is round then they do not see the squirrel. If someone likes the squirrel and they are not big then the squirrel does not visit the cat. If someone sees the squirrel and the squirrel likes the cat then the cat does not like the squirrel. If the squirrel visits the cat then the squirrel likes the cat.
The squirrel does not like the squirrel.
@0: The cat does not see the squirrel.[(triple6 OR ((triple4) -> rule5))] The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is round.[(triple4)] The cat likes the squirrel.[(triple5)] The cat visits the squirrel.[(triple7)] The squirrel does not see the cat.[(triple14)] The squirrel is big.[(triple8 OR ((triple3 triple7) -> rule2))] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the cat.[(triple13 OR ((triple15) -> rule8) OR ((((triple12) -> rule4)) -> rule8))] The squirrel visits the cat.[(triple15 OR ((triple12) -> rule4))] @1: The cat visits the cat.[(((triple4) -> rule4))] The squirrel does not see the squirrel.[(((triple12) -> rule5))]