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