The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle likes the mouse. The bald eagle needs the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is green. The mouse is red. The mouse likes the bald eagle. The mouse needs the bald eagle. If something needs the bald eagle and it is red then it chases the mouse. If something needs the mouse and it needs the bald eagle then the mouse is round. Round things are kind. If something chases the mouse and the mouse chases the bald eagle then it is round. All big things are green. If something is big and it needs the mouse then it chases the mouse. If something is big then it likes the mouse. If something needs the bald eagle and it needs the mouse then the mouse likes the bald eagle.
The bald eagle chases the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2 OR ((triple1) -> rule5))] The bald eagle is kind.[(triple3 OR ((((((triple1 triple6) -> rule6) triple7) -> rule4)) -> rule3))] The bald eagle is red.[(triple4)] The bald eagle likes the mouse.[(triple5 OR ((triple1) -> rule7))] The bald eagle needs the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is big.[(triple8)] The mouse is green.[(triple9 OR ((triple8) -> rule5))] The mouse is red.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse needs the bald eagle.[(triple12)] @1: The bald eagle chases the mouse.[(((triple1 triple6) -> rule6))] The mouse chases the mouse.[(((triple12 triple10) -> rule1))] The mouse likes the mouse.[(((triple8) -> rule7))] @2: The bald eagle is round.[(((((triple1 triple6) -> rule6) triple7) -> rule4))] The mouse is round.[(((((triple12 triple10) -> rule1) triple7) -> rule4))] @3: The mouse is kind.[(((((((triple12 triple10) -> rule1) triple7) -> rule4)) -> rule3))]