The bear chases the cat. The bear does not chase the dog. The bear eats the cat. The bear eats the dog. The bear is not big. The bear is red. The bear sees the cat. The bear sees the dog. The cat eats the dog. The cat does not see the bear. The dog chases the bear. The dog chases the cat. The dog eats the cat. The dog is blue. The dog is red. The dog does not see the bear. If someone sees the bear and the bear chases the cat then the bear chases the dog. If someone is big then they see the bear. If someone eats the cat then they see the cat. If someone is green and they eat the cat then they chase the bear. If someone sees the cat and the cat eats the bear then the cat chases the bear. If the dog sees the cat and the dog does not see the bear then the cat eats the bear.
The bear does not see the dog.
@0: The bear chases the cat.[(triple1)] The bear does not chase the dog.[(triple2)] The bear eats the cat.[(triple3)] The bear eats the dog.[(triple4)] The bear is not big.[(triple5)] The bear is red.[(triple6)] The bear sees the cat.[(triple7 OR ((triple3) -> rule3))] The bear sees the dog.[(triple8)] The cat does not see the bear.[(triple10)] The cat eats the dog.[(triple9)] The dog chases the bear.[(triple11)] The dog chases the cat.[(triple12)] The dog does not see the bear.[(triple16)] The dog eats the cat.[(triple13)] The dog is blue.[(triple14)] The dog is red.[(triple15)] @1: The dog sees the cat.[(((triple13) -> rule3))] @2: The cat eats the bear.[(((((triple13) -> rule3) triple16) -> rule6))] @3: The cat chases the bear.[(((triple7 ((((triple13) -> rule3) triple16) -> rule6)) -> rule5) OR ((((triple13) -> rule3) ((((triple13) -> rule3) triple16) -> rule6)) -> rule5) OR ((((triple3) -> rule3) ((((triple13) -> rule3) triple16) -> rule6)) -> rule5))]