The bald eagle chases the rabbit. The cat visits the dog. The dog is cold. The rabbit visits the cat. If something is big then it likes the dog. If something chases the rabbit then the rabbit likes the cat. If something likes the bald eagle then it is round. If something is cold then it likes the bald eagle. If the bald eagle visits the rabbit then the bald eagle chases the rabbit. If something is round then it likes the bald eagle. If something visits the dog then it is young. If something likes the bald eagle and it is round then it is big.
The dog is round.
@0: The bald eagle chases the rabbit.[(triple1)] The cat visits the dog.[(triple2)] The dog is cold.[(triple3)] The rabbit visits the cat.[(triple4)] @1: The cat is young.[(((triple2) -> rule7))] The dog likes the bald eagle.[(((triple3) -> rule4))] The rabbit likes the cat.[(((triple1) -> rule2))] @2: The dog is round.[(((((triple3) -> rule4)) -> rule3))] @3: The dog is big.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule8))] @4: The dog likes the dog.[(((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule8)) -> rule1))]