The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle sees the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is nice. The mouse is young. The mouse visits the bald eagle. If the mouse is nice and the mouse is rough then the mouse visits the bald eagle. Rough people are kind. If someone is blue then they see the mouse. If someone is kind then they see the bald eagle. If someone chases the bald eagle then they are rough. If someone is rough then they visit the mouse. If someone is blue and they see the mouse then they visit the mouse. If someone is kind then they are young.
The mouse is not rough.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple5) -> rule2))] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6 OR ((triple3) -> rule8) OR ((((triple5) -> rule2)) -> rule8))] The bald eagle sees the mouse.[(triple7 OR ((triple2) -> rule3))] The bald eagle visits the mouse.[(triple8 OR ((triple5) -> rule6) OR ((triple2 triple7) -> rule7) OR ((triple2 ((triple2) -> rule3)) -> rule7))] The mouse chases the bald eagle.[(triple9)] The mouse is nice.[(triple10)] The mouse is young.[(triple11 OR ((((((triple9) -> rule5)) -> rule2)) -> rule8))] The mouse visits the bald eagle.[(triple12 OR ((triple10 ((triple9) -> rule5)) -> rule1))] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] The mouse is rough.[(((triple9) -> rule5))] @2: The mouse is kind.[(((((triple9) -> rule5)) -> rule2))] The mouse visits the mouse.[(((((triple9) -> rule5)) -> rule6))] @3: The mouse sees the bald eagle.[(((((((triple9) -> rule5)) -> rule2)) -> rule4))]