The bald eagle sees the bear. The bald eagle sees the rabbit. The bear chases the bald eagle. The bear chases the rabbit. The bear eats the mouse. The bear is blue. The bear sees the rabbit. The mouse chases the rabbit. The mouse is cold. The mouse is nice. The mouse sees the bear. The mouse sees the rabbit. The rabbit eats the bear. The rabbit eats the mouse. The rabbit sees the bald eagle. If something chases the rabbit then the rabbit eats the bald eagle. If something sees the bear then the bear is red. If something is red then it is big. If something chases the bald eagle and the bald eagle eats the rabbit then the bald eagle is red. Red things are blue. If something eats the rabbit and the rabbit is red then it is blue.
The bear is not big.
@0: The bald eagle sees the bear.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the rabbit.[(triple4)] The bear eats the mouse.[(triple5)] The bear is blue.[(triple6 OR ((((triple1) -> rule2)) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] The bear sees the rabbit.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse is cold.[(triple9)] The mouse is nice.[(triple10)] The mouse sees the bear.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit eats the mouse.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The bear is red.[(((triple1) -> rule2) OR ((triple11) -> rule2))] The rabbit eats the bald eagle.[(((triple4) -> rule1) OR ((triple8) -> rule1))] @2: The bear is big.[(((((triple1) -> rule2)) -> rule3) OR ((((triple11) -> rule2)) -> rule3))]