The cat eats the squirrel. The cat is green. The cat is nice. The cat is red. The cat likes the squirrel. The cat needs the squirrel. The squirrel eats the cat. The squirrel is rough. The squirrel likes the cat. The squirrel needs the cat. If someone likes the squirrel then the squirrel is green. If the cat eats the squirrel then the squirrel eats the cat. If someone eats the cat then they need the cat. If someone likes the cat then the cat needs the squirrel. If someone is nice and they need the cat then they like the cat. If someone is rough then they are red. If someone likes the squirrel then they are green. If someone needs the squirrel and they are nice then the squirrel eats the cat.
The cat is not red.
@0: The cat eats the squirrel.[(triple1)] The cat is green.[(triple2 OR ((triple5) -> rule7))] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat likes the squirrel.[(triple5)] The cat needs the squirrel.[(triple6 OR ((triple9) -> rule4))] The squirrel eats the cat.[(triple7 OR ((triple1) -> rule2) OR ((triple6 triple3) -> rule8) OR ((((triple9) -> rule4) triple3) -> rule8))] The squirrel is rough.[(triple8)] The squirrel likes the cat.[(triple9)] The squirrel needs the cat.[(triple10 OR ((triple7) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule8)) -> rule3) OR ((((((triple9) -> rule4) triple3) -> rule8)) -> rule3))] @1: The squirrel is green.[(((triple5) -> rule1))] The squirrel is red.[(((triple8) -> rule6))]