The bald eagle eats the cat. The bald eagle is cold. The bald eagle is not young. The bald eagle visits the rabbit. The cat eats the mouse. The cat is young. The cat visits the rabbit. The mouse eats the cat. The mouse is cold. The mouse visits the cat. The rabbit chases the bald eagle. The rabbit is big. The rabbit is not red. The rabbit is not round. The rabbit is young. If something visits the mouse then the mouse is not cold. If the mouse is red then the mouse chases the bald eagle. If something is cold and it visits the cat then the cat visits the bald eagle. If something visits the bald eagle then the bald eagle chases the rabbit. If something is round and red then it visits the cat. If the mouse is young then the mouse is big. All young, red things are big. If the rabbit eats the mouse then the mouse is round.
The mouse does not eat the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is not young.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The cat eats the mouse.[(triple5)] The cat is young.[(triple6)] The cat visits the rabbit.[(triple7)] The mouse eats the cat.[(triple8)] The mouse is cold.[(triple9)] The mouse visits the cat.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit is big.[(triple12)] The rabbit is not red.[(triple13)] The rabbit is not round.[(triple14)] The rabbit is young.[(triple15)] @1: The cat visits the bald eagle.[(((triple9 triple10) -> rule3))] @2: The bald eagle chases the rabbit.[(((((triple9 triple10) -> rule3)) -> rule4))]