The bear is nice. The bear is young. The bear needs the dog. The bear sees the dog. The bear sees the squirrel. The dog is cold. The dog is nice. The dog likes the bear. The dog likes the squirrel. The dog needs the bear. The dog sees the bear. The squirrel is nice. The squirrel likes the bear. The squirrel needs the bear. The squirrel needs the dog. The squirrel sees the dog. If someone is cold and they like the bear then they are nice. If someone needs the dog and they like the bear then the bear likes the squirrel. If someone needs the bear then the bear needs the dog. If someone sees the bear then the bear sees the dog. If someone is young then they are round. If someone needs the dog then they are young.
The bear likes the squirrel.
@0: The bear is nice.[(triple1)] The bear is young.[(triple2 OR ((triple3) -> rule6) OR ((((triple10) -> rule3)) -> rule6) OR ((((triple14) -> rule3)) -> rule6))] The bear needs the dog.[(triple3 OR ((triple10) -> rule3) OR ((triple14) -> rule3))] The bear sees the dog.[(triple4 OR ((triple11) -> rule4))] The bear sees the squirrel.[(triple5)] The dog is cold.[(triple6)] The dog is nice.[(triple7 OR ((triple6 triple8) -> rule1))] The dog likes the bear.[(triple8)] The dog likes the squirrel.[(triple9)] The dog needs the bear.[(triple10)] The dog sees the bear.[(triple11)] The squirrel is nice.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The bear is round.[(((triple2) -> rule5) OR ((((triple3) -> rule6)) -> rule5) OR ((((((triple10) -> rule3)) -> rule6)) -> rule5) OR ((((((triple14) -> rule3)) -> rule6)) -> rule5))] The bear likes the squirrel.[(((triple15 triple13) -> rule2))] The squirrel is young.[(((triple15) -> rule6))] @2: The squirrel is round.[(((((triple15) -> rule6)) -> rule5))]