The bear does not eat the lion. The bear likes the dog. The dog is blue. The dog visits the bear. The lion eats the bear. The lion eats the dog. The lion is big. The lion is green. The lion visits the dog. The lion visits the mouse. The mouse is blue. The mouse is green. The mouse likes the bear. The mouse likes the lion. The mouse visits the lion. If someone eats the mouse then the mouse is not blue. If someone likes the dog and the dog is not big then the dog likes the mouse. Blue people are rough. If someone visits the lion then the lion eats the bear. If someone likes the lion then they are kind. If someone is rough then they like the lion.
The mouse visits the bear.
@0: The bear does not eat the lion.[(triple1)] The bear likes the dog.[(triple2)] The dog is blue.[(triple3)] The dog visits the bear.[(triple4)] The lion eats the bear.[(triple5 OR ((triple15) -> rule4))] The lion eats the dog.[(triple6)] The lion is big.[(triple7)] The lion is green.[(triple8)] The lion visits the dog.[(triple9)] The lion visits the mouse.[(triple10)] The mouse is blue.[(triple11)] The mouse is green.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the lion.[(triple14 OR ((((triple11) -> rule3)) -> rule6))] The mouse visits the lion.[(triple15)] @1: The dog is rough.[(((triple3) -> rule3))] The mouse is kind.[(((triple14) -> rule5) OR ((((((triple11) -> rule3)) -> rule6)) -> rule5))] The mouse is rough.[(((triple11) -> rule3))] @2: The dog likes the lion.[(((((triple3) -> rule3)) -> rule6))] @3: The dog is kind.[(((((((triple3) -> rule3)) -> rule6)) -> rule5))]