The bear is kind. The bear is red. The bear needs the mouse. The dog is big. The dog is nice. The dog is red. The dog likes the bear. The dog needs the mouse. The mouse likes the bear. The mouse needs the dog. If something is nice then it likes the mouse. If the bear needs the mouse then the bear is red. If something sees the mouse then the mouse sees the bear. If something is red and it likes the dog then it needs the dog. If something likes the bear and it needs the bear then it is nice. If something needs the mouse then it is red. If something likes the mouse and the mouse needs the dog then it sees the bear. If something likes the bear and it is kind then the bear sees the mouse.
The bear does not like the mouse.
@0: The bear is kind.[(triple1)] The bear is red.[(triple2 OR ((triple3) -> rule2) OR ((triple3) -> rule6))] The bear needs the mouse.[(triple3)] The dog is big.[(triple4)] The dog is nice.[(triple5)] The dog is red.[(triple6 OR ((triple8) -> rule6))] The dog likes the bear.[(triple7)] The dog needs the mouse.[(triple8)] The mouse likes the bear.[(triple9)] The mouse needs the dog.[(triple10)] @1: The dog likes the mouse.[(((triple5) -> rule1))] @2: The dog sees the bear.[(((((triple5) -> rule1) triple10) -> rule7))]