The bear eats the cat. The bear eats the squirrel. The bear needs the squirrel. The bear sees the cat. The cat eats the bear. The cat eats the squirrel. The cat is blue. The cat is cold. The cat needs the squirrel. The cat sees the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is cold. The squirrel needs the cat. The squirrel sees the cat. If someone eats the cat then they see the squirrel. If someone is round then they see the cat. If someone sees the bear and they are young then they eat the bear. If someone is young then they see the cat. If someone needs the bear then they eat the cat. If someone needs the squirrel and they eat the squirrel then the squirrel needs the bear.
The cat does not eat the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear needs the squirrel.[(triple3)] The bear sees the cat.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the squirrel.[(triple6)] The cat is blue.[(triple7)] The cat is cold.[(triple8)] The cat needs the squirrel.[(triple9)] The cat sees the squirrel.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel is big.[(triple12)] The squirrel is cold.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The bear sees the squirrel.[(((triple1) -> rule1))] The squirrel needs the bear.[(((triple3 triple2) -> rule6) OR ((triple9 triple6) -> rule6))] @2: The squirrel eats the cat.[(((((triple3 triple2) -> rule6)) -> rule5) OR ((((triple9 triple6) -> rule6)) -> rule5))] @3: The squirrel sees the squirrel.[(((((((triple3 triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((triple9 triple6) -> rule6)) -> rule5)) -> rule1))]