The bear chases the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit is blue. The rabbit is rough. The rabbit is young. The rabbit sees the bear. The rabbit sees the squirrel. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel chases the bear. The squirrel is round. The squirrel sees the bear. The squirrel visits the bear. The squirrel visits the rabbit. If something is young then it visits the rabbit. If something chases the bear then the bear sees the rabbit. If something is rough then it chases the rabbit. If something chases the rabbit then it chases the squirrel. If the rabbit is rough then the rabbit visits the squirrel. If something visits the bear then the bear is round. If something is rough and it sees the squirrel then the squirrel is rough. If something chases the rabbit then the rabbit visits the squirrel.
The bear does not visit the bear.
@0: The bear chases the rabbit.[(triple1)] The bear visits the rabbit.[(triple2)] The rabbit chases the bear.[(triple3)] The rabbit chases the squirrel.[(triple4 OR ((((triple6) -> rule3)) -> rule4))] The rabbit is blue.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit sees the bear.[(triple8)] The rabbit sees the squirrel.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the squirrel.[(triple11 OR ((triple1) -> rule8) OR ((triple6) -> rule5) OR ((((triple6) -> rule3)) -> rule8) OR ((((((triple6 triple9) -> rule7)) -> rule3)) -> rule8))] The squirrel chases the bear.[(triple12)] The squirrel is round.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The bear chases the squirrel.[(((triple1) -> rule4))] The bear is round.[(((triple10) -> rule6) OR ((triple15) -> rule6))] The bear sees the rabbit.[(((triple12) -> rule2) OR ((triple3) -> rule2))] The rabbit chases the rabbit.[(((triple6) -> rule3))] The rabbit visits the rabbit.[(((triple7) -> rule1))] The squirrel is rough.[(((triple6 triple9) -> rule7))] @2: The squirrel chases the rabbit.[(((((triple6 triple9) -> rule7)) -> rule3))] @3: The squirrel chases the squirrel.[(((((((triple6 triple9) -> rule7)) -> rule3)) -> rule4))]