The bald eagle is red. The bald eagle needs the mouse. The bald eagle visits the rabbit. The dog is big. The dog is cold. The dog is nice. The dog likes the bald eagle. The dog visits the mouse. The mouse does not need the dog. The mouse does not need the rabbit. The mouse visits the dog. The mouse visits the rabbit. The rabbit is big. The rabbit is nice. The rabbit is red. The rabbit likes the dog. If something likes the bald eagle and the bald eagle is not big then it does not visit the mouse. If something is nice and not cold then it does not visit the mouse. If something is big and it does not like the dog then the dog is not young. If something needs the bald eagle and the bald eagle likes the mouse then it is young. If something visits the mouse and the mouse does not need the rabbit then the mouse visits the bald eagle. If something visits the mouse then it likes the rabbit. If something visits the bald eagle then it needs the mouse. If something likes the rabbit then the rabbit visits the bald eagle.
The dog does not like the mouse.
@0: The bald eagle is red.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The dog is big.[(triple4)] The dog is cold.[(triple5)] The dog is nice.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog visits the mouse.[(triple8)] The mouse does not need the dog.[(triple9)] The mouse does not need the rabbit.[(triple10)] The mouse visits the dog.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit is big.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is red.[(triple15)] The rabbit likes the dog.[(triple16)] @1: The dog likes the rabbit.[(((triple8) -> rule6))] The mouse visits the bald eagle.[(((triple8 triple10) -> rule5))] @2: The mouse needs the mouse.[(((((triple8 triple10) -> rule5)) -> rule7))] The rabbit visits the bald eagle.[(((((triple8) -> rule6)) -> rule8))] @3: The rabbit needs the mouse.[(((((((triple8) -> rule6)) -> rule8)) -> rule7))]