The bear is not big. The dog is young. The mouse chases the bear. If someone is young and they chase the bear then the bear sees the mouse. If someone is blue and they do not like the bear then the bear likes the dog. If someone chases the bear then the bear likes the dog. If someone is big and they do not chase the dog then the dog is cold. If someone sees the dog then the dog is cold. If someone chases the bear and the bear likes the dog then the dog chases the bear. If someone likes the mouse then the mouse is not big. If the bear likes the dog and the bear is not big then the bear does not like the mouse.
The bear does not like the mouse.
@0: The bear is not big.[(triple1)] The dog is young.[(triple2)] The mouse chases the bear.[(triple3)] @1: The bear likes the dog.[(((triple3) -> rule3))] @2: The bear does not like the mouse.[(((((triple3) -> rule3) triple1) -> rule8))] The dog chases the bear.[(((triple3 ((triple3) -> rule3)) -> rule6))] @3: The bear sees the mouse.[(((triple2 ((triple3 ((triple3) -> rule3)) -> rule6)) -> rule1))]