The bald eagle is not red. The bald eagle likes the mouse. The bald eagle does not see the cat. The bald eagle visits the mouse. The bald eagle does not visit the rabbit. The cat is green. The cat is nice. The cat visits the bald eagle. The cat visits the rabbit. The mouse is green. The mouse visits the cat. The mouse visits the rabbit. The rabbit likes the bald eagle. The rabbit sees the mouse. The rabbit visits the mouse. If someone is nice and they like the mouse then the mouse does not visit the cat. If someone likes the bald eagle and the bald eagle visits the mouse then the bald eagle likes the rabbit. If someone visits the mouse then they visit the bald eagle. If someone sees the rabbit and they like the rabbit then they do not visit the bald eagle. If someone visits the cat then the cat is round. If the rabbit likes the bald eagle and the rabbit is not green then the rabbit visits the bald eagle.
The mouse visits the cat.
@0: The bald eagle does not see the cat.[(triple3)] The bald eagle does not visit the rabbit.[(triple5)] The bald eagle is not red.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the mouse.[(triple4)] The cat is green.[(triple6)] The cat is nice.[(triple7)] The cat visits the bald eagle.[(triple8)] The cat visits the rabbit.[(triple9)] The mouse is green.[(triple10)] The mouse visits the cat.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The bald eagle likes the rabbit.[(((triple13 triple4) -> rule2))] The bald eagle visits the bald eagle.[(((triple4) -> rule3))] The cat is round.[(((triple11) -> rule5))] The rabbit visits the bald eagle.[(((triple15) -> rule3))]