The cat is not blue. The cat is nice. The cat is round. The cat is young. The cat likes the squirrel. The cat does not need the squirrel. The cat visits the squirrel. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the cat. The squirrel needs the cat. The squirrel does not visit the cat. Green things are blue. If something is nice then it likes the squirrel. If something needs the cat then the cat visits the squirrel. If the cat likes the squirrel then the squirrel needs the cat. If something visits the squirrel then it is young. If the squirrel is nice then the squirrel likes the cat. If something visits the cat and the cat is nice then it is not round. If something needs the squirrel and it visits the cat then the squirrel is round.
The squirrel is nice.
@0: The cat does not need the squirrel.[(triple6)] The cat is nice.[(triple2)] The cat is not blue.[(triple1)] The cat is round.[(triple3)] The cat is young.[(triple4 OR ((triple7) -> rule5) OR ((((triple14) -> rule3)) -> rule5) OR ((((((triple5) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule5))] The cat likes the squirrel.[(triple5 OR ((triple2) -> rule2))] The cat visits the squirrel.[(triple7 OR ((triple14) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((((triple2) -> rule2)) -> rule4)) -> rule3))] The squirrel does not visit the cat.[(triple15)] The squirrel is blue.[(triple8 OR ((triple9) -> rule1))] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cat.[(triple13 OR ((triple10) -> rule6))] The squirrel needs the cat.[(triple14 OR ((triple5) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] @1: The squirrel likes the squirrel.[(((triple10) -> rule2))]