The bear chases the squirrel. The bear is blue. The bear is cold. The bear is young. The bear visits the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is cold. The squirrel likes the bear. The squirrel visits the bear. If something likes the bear and the bear is kind then the bear chases the squirrel. If something visits the bear then it likes the squirrel. If something chases the bear and the bear chases the squirrel then it visits the bear. If the bear is kind and the bear chases the squirrel then the squirrel visits the bear. If something chases the bear and it visits the bear then it chases the squirrel. If something chases the squirrel then it visits the squirrel. If something is young then it visits the bear. If something chases the squirrel and the squirrel likes the bear then the squirrel visits the bear.
The bear is kind.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is young.[(triple4)] The bear visits the squirrel.[(triple5 OR ((triple1) -> rule6))] The squirrel chases the bear.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel visits the bear.[(triple10 OR ((triple1 triple9) -> rule8) OR ((triple6 triple1) -> rule3))] @1: The bear visits the bear.[(((triple4) -> rule7))] The squirrel chases the squirrel.[(((triple6 triple10) -> rule5) OR ((triple6 ((triple1 triple9) -> rule8)) -> rule5) OR ((triple6 ((triple6 triple1) -> rule3)) -> rule5))] The squirrel likes the squirrel.[(((triple10) -> rule2) OR ((((triple1 triple9) -> rule8)) -> rule2) OR ((((triple6 triple1) -> rule3)) -> rule2))] @2: The bear likes the squirrel.[(((((triple4) -> rule7)) -> rule2))] The squirrel visits the squirrel.[(((((triple6 triple10) -> rule5)) -> rule6) OR ((((triple6 ((triple1 triple9) -> rule8)) -> rule5)) -> rule6) OR ((((triple6 ((triple6 triple1) -> rule3)) -> rule5)) -> rule6))]