The bear eats the rabbit. The bear is round. The rabbit eats the squirrel. The rabbit is kind. The rabbit needs the squirrel. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel eats the bear. The squirrel needs the bear. The squirrel sees the bear. If something needs the bear and the bear needs the squirrel then the squirrel is round. If the rabbit sees the squirrel then the squirrel eats the bear. If something needs the squirrel and the squirrel needs the bear then the squirrel eats the rabbit. If something eats the squirrel and it is young then the squirrel eats the bear. If something eats the bear and the bear eats the squirrel then the bear is nice. If something eats the squirrel then it sees the bear. If something sees the bear then the bear is green. If the bear eats the rabbit and the bear is green then the bear eats the squirrel.
The squirrel is not young.
@0: The bear eats the rabbit.[(triple1)] The bear is round.[(triple2)] The rabbit eats the squirrel.[(triple3)] The rabbit is kind.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit sees the bear.[(triple6 OR ((triple3) -> rule6))] The rabbit sees the squirrel.[(triple7)] The squirrel eats the bear.[(triple8 OR ((triple7) -> rule2))] The squirrel needs the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear is green.[(((triple10) -> rule7) OR ((triple6) -> rule7) OR ((((triple3) -> rule6)) -> rule7))] The squirrel eats the rabbit.[(((triple5 triple9) -> rule3))] @2: The bear eats the squirrel.[(((triple1 ((triple10) -> rule7)) -> rule8) OR ((triple1 ((triple6) -> rule7)) -> rule8) OR ((triple1 ((((triple3) -> rule6)) -> rule7)) -> rule8))] @3: The bear is nice.[(((triple8 ((triple1 ((triple10) -> rule7)) -> rule8)) -> rule5) OR ((triple8 ((triple1 ((triple6) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule2) ((triple1 ((triple10) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule2) ((triple1 ((triple6) -> rule7)) -> rule8)) -> rule5) OR ((triple8 ((triple1 ((((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule2) ((triple1 ((((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule5))] The bear sees the bear.[(((((triple1 ((triple10) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 ((triple6) -> rule7)) -> rule8)) -> rule6) OR ((((triple1 ((((triple3) -> rule6)) -> rule7)) -> rule8)) -> rule6))]