The bear sees the squirrel. The squirrel likes the bear. The squirrel needs the bear. If someone sees the bear then they do not like the bear. If someone is nice then they like the bear. If someone sees the squirrel and they like the squirrel then they do not need the squirrel. If someone sees the squirrel then they are nice. If someone needs the bear and they are not green then they are cold. If someone needs the bear then the bear sees the squirrel. If someone is nice then they like the squirrel. If someone is nice and rough then they see the squirrel.
The squirrel does not need the squirrel.
@0: The bear sees the squirrel.[(triple1 OR ((triple3) -> rule6))] The squirrel likes the bear.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear is nice.[(((triple1) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] @2: The bear likes the bear.[(((((triple1) -> rule4)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4)) -> rule2))] The bear likes the squirrel.[(((((triple1) -> rule4)) -> rule7) OR ((((((triple3) -> rule6)) -> rule4)) -> rule7))] @3: The bear does not need the squirrel.[(((triple1 ((((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((triple3) -> rule6) ((((triple1) -> rule4)) -> rule7)) -> rule3) OR ((triple1 ((((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule3) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule3))]