The bear chases the mouse. The bear is big. The bear is nice. The bear likes the dog. The bear likes the mouse. The dog chases the bear. The dog chases the mouse. The dog is big. The dog likes the bear. The dog likes the mouse. The dog needs the mouse. The mouse likes the bear. If something likes the dog then the dog chases the bear. If the dog likes the bear then the dog chases the mouse. If something chases the bear and it needs the mouse then the bear chases the dog. If something is blue then it likes the dog. If the bear is nice then the bear needs the dog. If something is big and it chases the dog then it likes the mouse.
The mouse does not like the dog.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the mouse.[(triple5 OR ((triple2 ((triple6 triple11) -> rule3)) -> rule6) OR ((triple2 ((((triple4) -> rule1) triple11) -> rule3)) -> rule6))] The dog chases the bear.[(triple6 OR ((triple4) -> rule1))] The dog chases the mouse.[(triple7 OR ((triple9) -> rule2))] The dog is big.[(triple8)] The dog likes the bear.[(triple9)] The dog likes the mouse.[(triple10)] The dog needs the mouse.[(triple11)] The mouse likes the bear.[(triple12)] @1: The bear chases the dog.[(((triple6 triple11) -> rule3) OR ((((triple4) -> rule1) triple11) -> rule3))] The bear needs the dog.[(((triple3) -> rule5))]