The bear chases the rabbit. The dog chases the mouse. The dog visits the rabbit. The mouse likes the rabbit. The rabbit likes the dog. The rabbit likes the mouse. The rabbit visits the mouse. If someone visits the rabbit then they chase the bear. If someone chases the mouse then they visit the bear. If someone likes the bear and the bear chases the dog then the bear is cold. If the dog likes the bear and the dog chases the bear then the dog is blue. If someone likes the bear and the bear visits the mouse then the bear visits the dog. If someone likes the dog and the dog is blue then they visit the dog. If someone visits the bear and the bear chases the rabbit then they like the bear. If someone chases the bear then they are young.
The rabbit does not visit the rabbit.
@0: The bear chases the rabbit.[(triple1)] The dog chases the mouse.[(triple2)] The dog visits the rabbit.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit likes the dog.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The dog chases the bear.[(((triple3) -> rule1))] The dog visits the bear.[(((triple2) -> rule2))] @2: The dog is young.[(((((triple3) -> rule1)) -> rule8))] The dog likes the bear.[(((((triple2) -> rule2) triple1) -> rule7))] @3: The dog is blue.[(((((((triple2) -> rule2) triple1) -> rule7) ((triple3) -> rule1)) -> rule4))] @4: The rabbit visits the dog.[(((triple5 ((((((triple2) -> rule2) triple1) -> rule7) ((triple3) -> rule1)) -> rule4)) -> rule6))]