The bear eats the dog. The bear eats the squirrel. The bear is green. The bear is red. The bear sees the rabbit. The bear visits the dog. The bear visits the squirrel. The dog sees the bear. The dog visits the bear. The rabbit eats the bear. The rabbit is green. The squirrel sees the rabbit. If something visits the bear then it is blue. If something is blue then it visits the dog. If the rabbit visits the bear then the rabbit is blue. If something eats the bear and the bear is red then it eats the dog. If something eats the bear and the bear eats the rabbit then it sees the squirrel. If something visits the bear then the bear sees the rabbit.
The rabbit eats the dog.
@0: The bear eats the dog.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear sees the rabbit.[(triple5 OR ((triple9) -> rule6))] The bear visits the dog.[(triple6)] The bear visits the squirrel.[(triple7)] The dog sees the bear.[(triple8)] The dog visits the bear.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit is green.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The dog is blue.[(((triple9) -> rule1))] The rabbit eats the dog.[(((triple10 triple4) -> rule4))] @2: The dog visits the dog.[(((((triple9) -> rule1)) -> rule2))]