The bald eagle is big. The bald eagle is cold. The bald eagle likes the mouse. The bald eagle needs the mouse. The bald eagle visits the dog. The dog is cold. The dog is round. The dog visits the mouse. The lion likes the bald eagle. The lion visits the bald eagle. The mouse is nice. The mouse likes the lion. If something visits the dog and it needs the dog then the dog needs the bald eagle. Nice things are big. If something visits the dog then the dog needs the bald eagle. If something is rough and round then it likes the mouse. If something needs the mouse then it visits the dog. If the bald eagle visits the dog and the dog is cold then the dog likes the bald eagle.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle visits the dog.[(triple5 OR ((triple4) -> rule5))] The dog is cold.[(triple6)] The dog is round.[(triple7)] The dog visits the mouse.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the lion.[(triple12)] @1: The dog likes the bald eagle.[(((triple5 triple6) -> rule6) OR ((((triple4) -> rule5) triple6) -> rule6))] The dog needs the bald eagle.[(((triple5) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] The mouse is big.[(((triple11) -> rule2))]