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