The bear eats the dog. The bear is cold. The bear is red. The bear sees the dog. The bear sees the mouse. The bear visits the cow. The bear visits the dog. The bear visits the mouse. The cow eats the bear. The cow is big. The cow sees the mouse. The cow visits the dog. The cow visits the mouse. The dog sees the bear. The dog visits the cow. The mouse is nice. If something eats the bear and it sees the cow then the bear visits the dog. All red things are nice. If something visits the mouse then the mouse eats the dog. If something eats the cow and the cow sees the dog then the cow is round. If something is nice then it sees the cow. If something is big and red then it sees the bear. If something sees the dog then it eats the mouse. If something eats the mouse and it visits the mouse then the mouse eats the cow.
The mouse does not eat the cow.
@0: The bear eats the dog.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear sees the dog.[(triple4)] The bear sees the mouse.[(triple5)] The bear visits the cow.[(triple6)] The bear visits the dog.[(triple7)] The bear visits the mouse.[(triple8)] The cow eats the bear.[(triple9)] The cow is big.[(triple10)] The cow sees the mouse.[(triple11)] The cow visits the dog.[(triple12)] The cow visits the mouse.[(triple13)] The dog sees the bear.[(triple14)] The dog visits the cow.[(triple15)] The mouse is nice.[(triple16)] @1: The bear eats the mouse.[(((triple4) -> rule7))] The bear is nice.[(((triple3) -> rule2))] The mouse eats the dog.[(((triple13) -> rule3) OR ((triple8) -> rule3))] The mouse sees the cow.[(((triple16) -> rule5))] @2: The bear sees the cow.[(((((triple3) -> rule2)) -> rule5))] The mouse eats the cow.[(((((triple4) -> rule7) triple8) -> rule8))]