The bear chases the squirrel. The bear needs the squirrel. The cat is blue. The cat needs the squirrel. The cat visits the bear. The squirrel chases the bear. The squirrel chases the cat. The squirrel is blue. The squirrel is green. The squirrel needs the bear. The squirrel needs the cat. The squirrel visits the bear. If something is young and it needs the squirrel then it visits the cat. If something is big then it chases the cat. If something is big and it visits the squirrel then the squirrel is big. If something visits the cat then the cat chases the bear. If something is green and it visits the cat then it is red. If something needs the squirrel then it is young. If something needs the squirrel then the squirrel needs the cat. If something visits the cat and the cat is blue then the cat chases the bear.
The bear does not visit the cat.
@0: The bear chases the squirrel.[(triple1)] The bear needs the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat needs the squirrel.[(triple4)] The cat visits the bear.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel needs the cat.[(triple11 OR ((triple2) -> rule7) OR ((triple4) -> rule7))] The squirrel visits the bear.[(triple12)] @1: The bear is young.[(((triple2) -> rule6))] The cat is young.[(((triple4) -> rule6))] @2: The bear visits the cat.[(((((triple2) -> rule6) triple2) -> rule1))] The cat visits the cat.[(((((triple4) -> rule6) triple4) -> rule1))] @3: The cat chases the bear.[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule4) OR ((((((triple4) -> rule6) triple4) -> rule1)) -> rule4) OR ((((((triple2) -> rule6) triple2) -> rule1) triple3) -> rule8) OR ((((((triple4) -> rule6) triple4) -> rule1) triple3) -> rule8))]