The bear eats the cat. The bear eats the squirrel. The bear is green. The bear is red. The bear is young. The cat eats the bear. The cat eats the squirrel. The cat is nice. The cat sees the cow. The cow is nice. The cow needs the bear. The cow sees the bear. The cow sees the cat. The squirrel needs the cat. The squirrel sees the cat. If something is nice and red then it needs the squirrel. If something eats the bear then the bear eats the cat. If something is young then it eats the cow. If something eats the cat then the cat eats the squirrel. If something is nice and it sees the cat then the cat sees the squirrel. If something eats the bear then the bear sees the cow.
The bear is not young.
@0: The bear eats the cat.[(triple1 OR ((triple6) -> rule2))] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The cat eats the bear.[(triple6)] The cat eats the squirrel.[(triple7 OR ((triple1) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] The cat is nice.[(triple8)] The cat sees the cow.[(triple9)] The cow is nice.[(triple10)] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12)] The cow sees the cat.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The bear eats the cow.[(((triple5) -> rule3))] The bear sees the cow.[(((triple6) -> rule6))] The cat sees the squirrel.[(((triple10 triple13) -> rule5))]