The bald eagle likes the dog. The bald eagle sees the dog. The dog likes the bald eagle. The dog likes the lion. The dog visits the lion. The lion is big. The lion is blue. The lion is cold. The lion is nice. The lion is round. The lion likes the bald eagle. The lion likes the dog. The lion sees the bald eagle. The lion sees the dog. The lion does not visit the bald eagle. The lion visits the dog. If someone sees the dog and they like the lion then they visit the lion. If someone sees the dog then they like the lion. If someone visits the lion then they are big.
The lion sees the bald eagle.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog likes the bald eagle.[(triple3)] The dog likes the lion.[(triple4)] The dog visits the lion.[(triple5)] The lion does not visit the bald eagle.[(triple15)] The lion is big.[(triple6 OR ((((triple14 ((triple14) -> rule2)) -> rule1)) -> rule3))] The lion is blue.[(triple7)] The lion is cold.[(triple8)] The lion is nice.[(triple9)] The lion is round.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion likes the dog.[(triple12)] The lion sees the bald eagle.[(triple13)] The lion sees the dog.[(triple14)] The lion visits the dog.[(triple16)] @1: The bald eagle likes the lion.[(((triple2) -> rule2))] The dog is big.[(((triple5) -> rule3))] The lion likes the lion.[(((triple14) -> rule2))] @2: The bald eagle visits the lion.[(((triple2 ((triple2) -> rule2)) -> rule1))] The lion visits the lion.[(((triple14 ((triple14) -> rule2)) -> rule1))] @3: The bald eagle is big.[(((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3))]