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