The bear is young. The bear sees the rabbit. The bear sees the squirrel. The bear visits the rabbit. The rabbit chases the squirrel. The rabbit is blue. The rabbit sees the bear. The rabbit visits the bear. The squirrel chases the bear. The squirrel chases the rabbit. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel sees the rabbit. The squirrel visits the bear. The squirrel visits the rabbit. If someone chases the bear and the bear visits the squirrel then the bear sees the rabbit. If someone sees the bear and they see the rabbit then they are cold. If someone is nice then they visit the squirrel. If someone is young then they see the squirrel. If someone visits the squirrel and the squirrel chases the bear then they chase the rabbit. If someone visits the rabbit then the rabbit is nice.
The rabbit does not visit the bear.
@0: The bear is young.[(triple1)] The bear sees the rabbit.[(triple2)] The bear sees the squirrel.[(triple3 OR ((triple1) -> rule4))] The bear visits the rabbit.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the bear.[(triple7)] The rabbit visits the bear.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel chases the rabbit.[(triple10 OR ((((triple12) -> rule3) triple9) -> rule5))] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The rabbit is nice.[(((triple16) -> rule6) OR ((triple4) -> rule6))] The squirrel visits the squirrel.[(((triple12) -> rule3))] @2: The rabbit visits the squirrel.[(((((triple16) -> rule6)) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] @3: The rabbit chases the rabbit.[(((((((triple16) -> rule6)) -> rule3) triple9) -> rule5) OR ((((((triple4) -> rule6)) -> rule3) triple9) -> rule5))]