The bear chases the cat. The bear chases the squirrel. The bear visits the squirrel. The cat chases the bear. The cat is green. The cat is red. The cat is young. The cat sees the squirrel. The cat visits the bear. The cat visits the squirrel. The squirrel chases the bear. The squirrel chases the cat. The squirrel is green. The squirrel is young. The squirrel sees the cat. The squirrel visits the cat. If the cat does not chase the squirrel then the cat sees the bear. If something sees the bear then it is red. If something chases the bear and the bear chases the cat then the cat visits the bear. If something chases the bear then the bear visits the cat. If something chases the squirrel and the squirrel does not chase the bear then the bear does not see the squirrel. If something visits the squirrel then the squirrel chases the cat.
The bear visits the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear visits the squirrel.[(triple3)] The cat chases the bear.[(triple4)] The cat is green.[(triple5)] The cat is red.[(triple6)] The cat is young.[(triple7)] The cat sees the squirrel.[(triple8)] The cat visits the bear.[(triple9 OR ((triple11 triple1) -> rule3) OR ((triple4 triple1) -> rule3))] The cat visits the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the cat.[(triple12 OR ((triple10) -> rule6) OR ((triple3) -> rule6))] The squirrel is green.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The bear visits the cat.[(((triple11) -> rule4) OR ((triple4) -> rule4))]