The bear does not chase the squirrel. The bear is red. The bear is young. The bear does not see the cow. The cow chases the bear. The cow chases the squirrel. The cow eats the bear. The cow eats the squirrel. The cow is young. The cow sees the bear. The squirrel chases the bear. The squirrel does not chase the cow. The squirrel eats the cow. The squirrel is big. The squirrel is cold. The squirrel sees the bear. If something is cold and red then it chases the squirrel. If something sees the cow and the cow does not see the squirrel then it chases the bear. If something is cold and it sees the bear then it eats the bear. If something sees the squirrel then the squirrel is round. If something eats the bear and the bear is red then it is young. If something is young then it is red.
The cow does not see the squirrel.
@0: The bear does not chase the squirrel.[(triple1)] The bear does not see the cow.[(triple4)] The bear is red.[(triple2 OR ((triple3) -> rule6))] The bear is young.[(triple3)] The cow chases the bear.[(triple5)] The cow chases the squirrel.[(triple6)] The cow eats the bear.[(triple7)] The cow eats the squirrel.[(triple8)] The cow is young.[(triple9 OR ((triple7 triple2) -> rule5) OR ((triple7 ((triple3) -> rule6)) -> rule5))] The cow sees the bear.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel does not chase the cow.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is big.[(triple14)] The squirrel is cold.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The cow is red.[(((triple9) -> rule6) OR ((((triple7 triple2) -> rule5)) -> rule6) OR ((((triple7 ((triple3) -> rule6)) -> rule5)) -> rule6))] The squirrel eats the bear.[(((triple15 triple16) -> rule3))] @2: The squirrel is young.[(((((triple15 triple16) -> rule3) triple2) -> rule5) OR ((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5))] @3: The squirrel is red.[(((((((triple15 triple16) -> rule3) triple2) -> rule5)) -> rule6) OR ((((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule6))] @4: The squirrel chases the squirrel.[(((triple15 ((((((triple15 triple16) -> rule3) triple2) -> rule5)) -> rule6)) -> rule1) OR ((triple15 ((((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule6)) -> rule1))]