The cat eats the squirrel. The cat is blue. The cat is kind. The cat is not nice. The cat is young. The cat sees the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is not kind. The squirrel is not nice. The squirrel is round. The squirrel is young. The squirrel does not see the cat. The squirrel does not visit the cat. If something visits the cat and it visits the squirrel then the cat is blue. If something sees the squirrel then the squirrel is not nice. If the cat is nice then the cat sees the squirrel. If the cat eats the squirrel and the cat visits the squirrel then the cat is not round. If something eats the squirrel then it does not eat the cat. If the squirrel visits the cat then the squirrel does not eat the cat.
The cat does not eat the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is not nice.[(triple4)] The cat is young.[(triple5)] The cat sees the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel does not see the cat.[(triple14)] The squirrel does not visit the cat.[(triple15)] The squirrel eats the cat.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is not kind.[(triple10)] The squirrel is not nice.[(triple11 OR ((triple6) -> rule2))] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] @1: The cat does not eat the cat.[(((triple1) -> rule5))] The cat is not round.[(((triple1 triple7) -> rule4))]