The bear eats the dog. The bear is big. The bear is blue. The bear is kind. The bear visits the dog. The dog is kind. The dog visits the bear. If someone sees the dog then the dog visits the bear. If someone visits the dog then they see the dog. If the bear eats the dog and the bear is big then the bear is red. If someone is green and they eat the dog then the dog visits the bear. If someone is blue then they eat the bear. If someone eats the dog and the dog sees the bear then the dog visits the bear. If someone visits the dog then the dog is blue. If the dog is kind then the dog eats the bear.
The dog does not see the dog.
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear visits the dog.[(triple5)] The dog is kind.[(triple6)] The dog visits the bear.[(triple7 OR ((((triple5) -> rule2)) -> rule1))] @1: The bear eats the bear.[(((triple3) -> rule5))] The bear is red.[(((triple1 triple2) -> rule3))] The bear sees the dog.[(((triple5) -> rule2))] The dog eats the bear.[(((triple6) -> rule8) OR ((((triple5) -> rule7)) -> rule5))] The dog is blue.[(((triple5) -> rule7))]