The bear eats the dog. The bear eats the squirrel. The bear is blue. The bear is kind. The bear is red. The bear likes the dog. The bear likes the squirrel. The bear sees the squirrel. The dog is blue. The dog likes the bear. The dog sees the bear. The dog sees the squirrel. The squirrel eats the bear. The squirrel eats the dog. The squirrel is red. The squirrel sees the bear. If someone eats the bear then they like the squirrel. If someone sees the squirrel then the squirrel sees the bear. If the bear sees the squirrel then the squirrel is blue. If someone is red and they eat the dog then they see the squirrel. If someone is young and big then they see the dog. If someone eats the dog and the dog is young then they like the dog.
The squirrel does not like the squirrel.
@0: The bear eats the dog.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear likes the dog.[(triple6)] The bear likes the squirrel.[(triple7)] The bear sees the squirrel.[(triple8 OR ((triple5 triple1) -> rule4))] The dog is blue.[(triple9)] The dog likes the bear.[(triple10)] The dog sees the bear.[(triple11)] The dog sees the squirrel.[(triple12)] The squirrel eats the bear.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel is red.[(triple15)] The squirrel sees the bear.[(triple16 OR ((triple12) -> rule2) OR ((triple8) -> rule2) OR ((((triple15 triple14) -> rule4)) -> rule2) OR ((((triple5 triple1) -> rule4)) -> rule2))] @1: The squirrel is blue.[(((triple8) -> rule3) OR ((((triple5 triple1) -> rule4)) -> rule3))] The squirrel likes the squirrel.[(((triple13) -> rule1))] The squirrel sees the squirrel.[(((triple15 triple14) -> rule4))]