The bald eagle chases the dog. The bald eagle is green. The bald eagle is kind. The bald eagle likes the dog. The bald eagle likes the lion. The bald eagle visits the dog. The dog chases the bald eagle. The dog is round. The lion is young. The lion likes the dog. If someone is young and round then they visit the lion. If someone likes the bald eagle and the bald eagle chases the dog then the dog is nice. If someone is nice then they visit the dog. If someone likes the dog then the dog likes the bald eagle. If someone chases the bald eagle and they like the lion then the bald eagle likes the dog. If someone is round and they visit the dog then they like the dog.
The dog likes the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle likes the lion.[(triple5)] The bald eagle visits the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is round.[(triple8)] The lion is young.[(triple9)] The lion likes the dog.[(triple10)] @1: The dog likes the bald eagle.[(((triple10) -> rule4) OR ((triple4) -> rule4))] @2: The dog is nice.[(((((triple10) -> rule4) triple1) -> rule2) OR ((((triple4) -> rule4) triple1) -> rule2))] @3: The dog visits the dog.[(((((((triple10) -> rule4) triple1) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) triple1) -> rule2)) -> rule3))] @4: The dog likes the dog.[(((triple8 ((((((triple10) -> rule4) triple1) -> rule2)) -> rule3)) -> rule6) OR ((triple8 ((((((triple4) -> rule4) triple1) -> rule2)) -> rule3)) -> rule6))]