The bear eats the cat. The bear is nice. The bear is rough. The bear likes the cat. The bear visits the dog. The cat visits the bear. The dog eats the cat. The dog is blue. The dog is green. The mouse eats the bear. The mouse visits the bear. If someone eats the cat then they visit the cat. If someone eats the cat then they eat the mouse. If someone visits the dog and the dog likes the cat then the dog is nice. If someone likes the mouse then they eat the cat. If the dog is nice then the dog visits the mouse. If someone eats the mouse and the mouse eats the bear then they like the cat. If the bear likes the dog then the dog visits the bear. If someone is rough then they visit the cat. If the dog visits the mouse and the dog visits the cat then the mouse eats the dog.
The dog does not visit the mouse.
@0: The bear eats the cat.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear likes the cat.[(triple4 OR ((((triple1) -> rule2) triple10) -> rule6))] The bear visits the dog.[(triple5)] The cat visits the bear.[(triple6)] The dog eats the cat.[(triple7)] The dog is blue.[(triple8)] The dog is green.[(triple9)] The mouse eats the bear.[(triple10)] The mouse visits the bear.[(triple11)] @1: The bear eats the mouse.[(((triple1) -> rule2))] The bear visits the cat.[(((triple1) -> rule1) OR ((triple3) -> rule8))] The dog eats the mouse.[(((triple7) -> rule2))] The dog visits the cat.[(((triple7) -> rule1))] @2: The dog likes the cat.[(((((triple7) -> rule2) triple10) -> rule6))] @3: The dog is nice.[(((triple5 ((((triple7) -> rule2) triple10) -> rule6)) -> rule3))] @4: The dog visits the mouse.[(((((triple5 ((((triple7) -> rule2) triple10) -> rule6)) -> rule3)) -> rule5))] @5: The mouse eats the dog.[(((((((triple5 ((((triple7) -> rule2) triple10) -> rule6)) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule9))]