The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle is green. The cat chases the bald eagle. The cat eats the bald eagle. The cat sees the rabbit. The mouse chases the bald eagle. The mouse chases the cat. The mouse is nice. The mouse is young. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit sees the bald eagle. The rabbit sees the cat. If something chases the bald eagle then the bald eagle chases the mouse. If the mouse sees the rabbit then the mouse is nice. If something sees the bald eagle then it eats the rabbit. If something sees the mouse then the mouse sees the cat. If something is cold then it chases the rabbit. If something eats the cat and it sees the bald eagle then the cat chases the rabbit. If something eats the rabbit then the rabbit sees the mouse. If something sees the cat and the cat is red then it eats the bald eagle.
The rabbit does not see the mouse.
@0: The bald eagle chases the mouse.[(triple1 OR ((triple5) -> rule1) OR ((triple8) -> rule1))] The bald eagle chases the rabbit.[(triple2 OR ((triple3) -> rule5))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat sees the rabbit.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is nice.[(triple10 OR ((triple12) -> rule2))] The mouse is young.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit eats the mouse.[(triple14)] The rabbit sees the bald eagle.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The rabbit eats the rabbit.[(((triple15) -> rule3))] @2: The rabbit sees the mouse.[(((((triple15) -> rule3)) -> rule7))] @3: The mouse sees the cat.[(((((((triple15) -> rule3)) -> rule7)) -> rule4))]