The bald eagle is cold. The bald eagle likes the dog. The bald eagle sees the dog. The bald eagle visits the dog. The dog is big. The dog is cold. The dog is red. The dog is rough. The dog is round. The dog likes the bald eagle. The dog sees the bald eagle. The dog visits the bald eagle. If something visits the dog then the dog visits the bald eagle. If something likes the bald eagle then it likes the dog. If something likes the bald eagle then it visits the bald eagle. If something is round then it visits the bald eagle. If something likes the dog and the dog visits the bald eagle then it is round. If something sees the bald eagle and it likes the bald eagle then it is rough.
The dog sees the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is cold.[(triple6)] The dog is red.[(triple7)] The dog is rough.[(triple8 OR ((triple11 triple10) -> rule6))] The dog is round.[(triple9 OR ((((triple10) -> rule2) triple12) -> rule5) OR ((((triple10) -> rule2) ((triple10) -> rule3)) -> rule5) OR ((((triple10) -> rule2) ((triple4) -> rule1)) -> rule5))] The dog likes the bald eagle.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog visits the bald eagle.[(triple12 OR ((triple10) -> rule3) OR ((triple4) -> rule1) OR ((triple9) -> rule4))] @1: The bald eagle is round.[(((triple2 triple12) -> rule5) OR ((triple2 ((triple10) -> rule3)) -> rule5) OR ((triple2 ((triple4) -> rule1)) -> rule5) OR ((triple2 ((triple9) -> rule4)) -> rule5))] The dog likes the dog.[(((triple10) -> rule2))] @2: The bald eagle visits the bald eagle.[(((((triple2 triple12) -> rule5)) -> rule4) OR ((((triple2 ((triple10) -> rule3)) -> rule5)) -> rule4) OR ((((triple2 ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((((triple2 ((triple9) -> rule4)) -> rule5)) -> rule4))]