The cat eats the squirrel. The cat is green. The cat is kind. The cat likes the squirrel. The squirrel eats the cat. The squirrel is not big. The squirrel is not blue. The squirrel is not green. The squirrel is kind. The squirrel is red. The squirrel does not like the cat. The squirrel visits the cat. If someone eats the cat and they are big then they do not visit the cat. If someone is blue then they like the cat. If the cat does not like the squirrel then the cat does not eat the squirrel. If someone is kind and green then they eat the cat. If the squirrel visits the cat then the cat does not visit the squirrel. If someone visits the cat and they are not blue then the cat is kind.
The cat does not like the cat.
@0: The cat eats the squirrel.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple12 triple7) -> rule6))] The cat likes the squirrel.[(triple4)] The squirrel does not like the cat.[(triple11)] The squirrel eats the cat.[(triple5)] The squirrel is kind.[(triple9)] The squirrel is not big.[(triple6)] The squirrel is not blue.[(triple7)] The squirrel is not green.[(triple8)] The squirrel is red.[(triple10)] The squirrel visits the cat.[(triple12)] @1: The cat does not visit the squirrel.[(((triple12) -> rule5))] The cat eats the cat.[(((triple3 triple2) -> rule4) OR ((((triple12 triple7) -> rule6) triple2) -> rule4))]