The bald eagle likes the mouse. The bald eagle visits the tiger. The dog likes the bald eagle. The mouse is cold. The mouse is round. The mouse is young. The mouse needs the dog. The mouse visits the bald eagle. The mouse visits the dog. The tiger is kind. The tiger visits the dog. The tiger visits the mouse. If someone visits the dog then the dog is big. If someone visits the dog then the dog likes the bald eagle. If someone likes the bald eagle and the bald eagle visits the dog then the bald eagle visits the mouse. If someone is cold then they like the tiger. If the mouse needs the bald eagle then the bald eagle likes the dog. If someone is young and they visit the mouse then the mouse likes the bald eagle.
The bald eagle does not like the mouse.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle visits the tiger.[(triple2)] The dog likes the bald eagle.[(triple3 OR ((triple11) -> rule2) OR ((triple9) -> rule2))] The mouse is cold.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse needs the dog.[(triple7)] The mouse visits the bald eagle.[(triple8)] The mouse visits the dog.[(triple9)] The tiger is kind.[(triple10)] The tiger visits the dog.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The dog is big.[(((triple11) -> rule1) OR ((triple9) -> rule1))] The mouse likes the tiger.[(((triple4) -> rule4))]