The cat does not chase the squirrel. The cat eats the squirrel. The cat is blue. The cat is not kind. The cat is nice. The cat is not young. The cat likes the squirrel. The squirrel chases the cat. The squirrel does not eat the cat. The squirrel is blue. The squirrel is not green. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel likes the cat. If something eats the squirrel then the squirrel likes the cat. If something is young then it eats the squirrel. If something likes the cat then it does not like the squirrel. If the squirrel chases the cat and the cat does not chase the squirrel then the cat is blue. If something chases the squirrel and the squirrel likes the cat then it is blue. If the cat does not like the squirrel then the squirrel is nice.
The squirrel is young.
@0: The cat does not chase the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is blue.[(triple3 OR ((triple8 triple1) -> rule4))] The cat is nice.[(triple5)] The cat is not kind.[(triple4)] The cat is not young.[(triple6)] The cat likes the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel does not eat the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is not green.[(triple11)] The squirrel is young.[(triple14)] The squirrel likes the cat.[(triple15 OR ((triple2) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] @1: The squirrel does not like the squirrel.[(((triple15) -> rule3) OR ((((triple2) -> rule1)) -> rule3) OR ((((((triple14) -> rule2)) -> rule1)) -> rule3))] The squirrel eats the squirrel.[(((triple14) -> rule2))]