The bald eagle is big. The bald eagle is nice. The bald eagle is young. The bald eagle visits the mouse. The bear chases the rabbit. The mouse is big. The mouse is cold. The mouse sees the bald eagle. The mouse visits the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit sees the bear. If something is nice then it visits the mouse. If the mouse sees the bear then the mouse is young. If the bear does not see the bald eagle then the bald eagle is nice. If something chases the rabbit and the rabbit is big then the rabbit does not chase the mouse. If something is big then it sees the bear. If something is young and it visits the rabbit then the rabbit chases the bald eagle.
The mouse does not visit the mouse.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the mouse.[(triple4 OR ((triple2) -> rule1))] The bear chases the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is cold.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse visits the rabbit.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit is blue.[(triple11)] The rabbit sees the bear.[(triple12)] @1: The bald eagle sees the bear.[(((triple1) -> rule5))] The mouse sees the bear.[(((triple6) -> rule5))] @2: The mouse is young.[(((((triple6) -> rule5)) -> rule2))] @3: The rabbit chases the bald eagle.[(((((((triple6) -> rule5)) -> rule2) triple9) -> rule6))]