The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle is young. Nice, red things are rough. If something is young then it is nice. All nice things are red. Young things are rough. Rough things are red. If the bald eagle is nice and the bald eagle is rough then the bald eagle is red. All round, nice things are red. Red things are nice.
The bald eagle sees the bald eagle.
@0: The bald eagle is nice.[(triple1 OR ((triple2) -> rule8) OR ((triple5) -> rule2) OR ((((triple3) -> rule5)) -> rule8) OR ((((((triple5) -> rule4)) -> rule5)) -> rule8))] The bald eagle is red.[(triple2 OR ((triple1) -> rule3) OR ((triple3) -> rule5) OR ((triple1 triple3) -> rule6) OR ((triple4 triple1) -> rule7) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple5) -> rule4)) -> rule5) OR ((triple1 ((triple5) -> rule4)) -> rule6) OR ((triple4 ((triple5) -> rule2)) -> rule7) OR ((((triple5) -> rule2) triple3) -> rule6) OR ((((triple5) -> rule2) ((triple5) -> rule4)) -> rule6))] The bald eagle is rough.[(triple3 OR ((triple5) -> rule4) OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1) OR ((triple1 ((triple4 triple1) -> rule7)) -> rule1) OR ((((triple2) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule2) triple2) -> rule1) OR ((((triple2) -> rule8) ((triple1) -> rule3)) -> rule1) OR ((((triple2) -> rule8) ((triple4 triple1) -> rule7)) -> rule1) OR ((((triple5) -> rule2) ((triple1) -> rule3)) -> rule1) OR ((((triple5) -> rule2) ((triple4 triple1) -> rule7)) -> rule1) OR ((triple1 ((((triple5) -> rule2)) -> rule3)) -> rule1) OR ((triple1 ((triple4 ((triple5) -> rule2)) -> rule7)) -> rule1) OR ((((triple2) -> rule8) ((((triple5) -> rule2)) -> rule3)) -> rule1) OR ((((triple2) -> rule8) ((triple4 ((triple5) -> rule2)) -> rule7)) -> rule1) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule3)) -> rule1) OR ((((triple5) -> rule2) ((triple4 ((triple5) -> rule2)) -> rule7)) -> rule1))] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]