The bear eats the dog. The bear eats the squirrel. The bear is nice. The bear sees the squirrel. The dog eats the bear. The dog is nice. The dog is young. The dog likes the squirrel. The squirrel is green. The squirrel is nice. If someone sees the bear then the bear sees the squirrel. If someone eats the bear and the bear eats the squirrel then the squirrel is young. If someone is young and they see the dog then they like the bear. If someone likes the bear and the bear is cold then they are rough. If the dog sees the bear then the dog sees the squirrel. If someone is rough then they eat the bear. All nice people are rough. If someone is rough and green then they eat the bear.
The squirrel sees the bear.
@0: The bear eats the dog.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is nice.[(triple3)] The bear sees the squirrel.[(triple4)] The dog eats the bear.[(triple5 OR ((((triple6) -> rule7)) -> rule6))] The dog is nice.[(triple6)] The dog is young.[(triple7)] The dog likes the squirrel.[(triple8)] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10)] @1: The bear is rough.[(((triple3) -> rule7))] The dog is rough.[(((triple6) -> rule7))] The squirrel is rough.[(((triple10) -> rule7))] The squirrel is young.[(((triple5 triple2) -> rule2) OR ((((((triple10) -> rule7)) -> rule6) triple2) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) triple2) -> rule2) OR ((((((triple6) -> rule7)) -> rule6) triple2) -> rule2) OR ((((((triple10) -> rule7) triple9) -> rule8) triple2) -> rule2))] @2: The bear eats the bear.[(((((triple3) -> rule7)) -> rule6))] The squirrel eats the bear.[(((((triple10) -> rule7)) -> rule6) OR ((((triple10) -> rule7) triple9) -> rule8))]