The bald eagle is nice. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle needs the squirrel. The mouse is kind. The mouse is young. The mouse likes the tiger. The mouse sees the bald eagle. The squirrel is kind. The squirrel is nice. The squirrel needs the bald eagle. The tiger is kind. If someone likes the bald eagle then they are rough. If someone is blue and they see the tiger then the tiger needs the squirrel. If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. If the mouse needs the squirrel then the squirrel likes the mouse. If someone is rough then they see the mouse. If someone needs the tiger and the tiger is kind then they like the bald eagle. If someone sees the mouse then they need the squirrel. If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.
The bald eagle does not like the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the squirrel.[(triple4 OR ((((triple2) -> rule5)) -> rule7))] The mouse is kind.[(triple5)] The mouse is young.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the bald eagle.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is nice.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The tiger is kind.[(triple12)] @1: The bald eagle sees the mouse.[(((triple2) -> rule5))] The squirrel needs the tiger.[(((triple4 triple10) -> rule8) OR ((((((triple2) -> rule5)) -> rule7) triple10) -> rule8))] @2: The squirrel likes the bald eagle.[(((((triple4 triple10) -> rule8) triple12) -> rule6) OR ((((((((triple2) -> rule5)) -> rule7) triple10) -> rule8) triple12) -> rule6))] @3: The squirrel is rough.[(((((((triple4 triple10) -> rule8) triple12) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule5)) -> rule7) triple10) -> rule8) triple12) -> rule6)) -> rule1))] @4: The squirrel sees the mouse.[(((((((((triple4 triple10) -> rule8) triple12) -> rule6)) -> rule1)) -> rule5) OR ((((((((((((triple2) -> rule5)) -> rule7) triple10) -> rule8) triple12) -> rule6)) -> rule1)) -> rule5))] @5: The squirrel needs the squirrel.[(((((((((((triple4 triple10) -> rule8) triple12) -> rule6)) -> rule1)) -> rule5)) -> rule7) OR ((((((((((((((triple2) -> rule5)) -> rule7) triple10) -> rule8) triple12) -> rule6)) -> rule1)) -> rule5)) -> rule7))]