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