The bear chases the dog. The bear chases the mouse. The bear is big. The bear likes the dog. The bear likes the mouse. The bear sees the dog. The bear sees the mouse. The dog chases the bear. The dog is big. The dog is blue. The dog is not nice. The dog likes the mouse. The dog does not see the mouse. The mouse chases the bear. The mouse likes the dog. The mouse sees the bear. If someone chases the mouse then they like the bear. If someone is young and they like the dog then they see the bear. If someone likes the bear and they are big then they see the bear. If someone sees the dog and they chase the bear then the bear does not like the dog. If someone is blue and not nice then they are big. If someone chases the dog then the dog chases the mouse.
The bear does not like the bear.
@0: The bear chases the dog.[(triple1)] The bear chases the mouse.[(triple2)] The bear is big.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the mouse.[(triple5)] The bear sees the dog.[(triple6)] The bear sees the mouse.[(triple7)] The dog chases the bear.[(triple8)] The dog does not see the mouse.[(triple13)] The dog is big.[(triple9 OR ((triple10 triple11) -> rule5))] The dog is blue.[(triple10)] The dog is not nice.[(triple11)] The dog likes the mouse.[(triple12)] The mouse chases the bear.[(triple14)] The mouse likes the dog.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bear likes the bear.[(((triple2) -> rule1))] The dog chases the mouse.[(((triple1) -> rule6))] @2: The bear sees the bear.[(((((triple2) -> rule1) triple3) -> rule3))] The dog likes the bear.[(((((triple1) -> rule6)) -> rule1))] @3: The dog sees the bear.[(((((((triple1) -> rule6)) -> rule1) triple9) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) ((triple10 triple11) -> rule5)) -> rule3))]