The bald eagle chases the bear. The bald eagle is blue. The bald eagle is young. The bald eagle sees the rabbit. The bear is blue. The mouse chases the bald eagle. The mouse is blue. The mouse is rough. The mouse likes the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is kind. The rabbit likes the bald eagle. The rabbit likes the bear. The rabbit likes the mouse. The rabbit sees the bald eagle. If someone likes the bald eagle and they see the bald eagle then the bald eagle is rough. All rough people are cold. If someone is kind and young then they chase the bear. Cold people are kind. If someone chases the rabbit and the rabbit likes the bear then they see the mouse. If someone is rough and they see the bald eagle then they see the bear.
The mouse is kind.
@0: The bald eagle chases the bear.[(triple1 OR ((((((((triple13 triple16) -> rule1)) -> rule2)) -> rule4) triple3) -> rule3))] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bear is blue.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is blue.[(triple7)] The mouse is rough.[(triple8)] The mouse likes the rabbit.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit sees the bald eagle.[(triple16)] @1: The bald eagle is rough.[(((triple13 triple16) -> rule1))] The mouse is cold.[(((triple8) -> rule2))] @2: The bald eagle is cold.[(((((triple13 triple16) -> rule1)) -> rule2))] The mouse is kind.[(((((triple8) -> rule2)) -> rule4))] @3: The bald eagle is kind.[(((((((triple13 triple16) -> rule1)) -> rule2)) -> rule4))]