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