The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. All rough things are big. If something is big then it is rough. If the bald eagle is cold then the bald eagle is kind. All cold, young things are rough. If something is big then it is young. If something is rough and cold then it is big. If the bald eagle is kind and the bald eagle is young then the bald eagle is cold. If something is rough then it is cold.
The bald eagle visits the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple2) -> rule6) OR ((((triple2 triple5) -> rule4)) -> rule1) OR ((triple4 ((triple4) -> rule8)) -> rule6) OR ((triple4 ((triple3 triple5) -> rule7)) -> rule6) OR ((((triple2 triple5) -> rule4) triple2) -> rule6) OR ((((triple2 triple5) -> rule4) ((triple4) -> rule8)) -> rule6) OR ((((triple2 triple5) -> rule4) ((triple3 triple5) -> rule7)) -> rule6) OR ((((((triple3 triple5) -> rule7) triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule7) triple5) -> rule4) triple2) -> rule6) OR ((((((triple3 triple5) -> rule7) triple5) -> rule4) ((triple4) -> rule8)) -> rule6) OR ((((((triple3 triple5) -> rule7) triple5) -> rule4) ((triple3 triple5) -> rule7)) -> rule6))] The bald eagle is cold.[(triple2 OR ((triple4) -> rule8) OR ((triple3 triple5) -> rule7) OR ((((triple1) -> rule2)) -> rule8) OR ((triple3 ((triple1) -> rule5)) -> rule7) OR ((triple3 ((((triple4) -> rule1)) -> rule5)) -> rule7))] The bald eagle is kind.[(triple3 OR ((triple2) -> rule3) OR ((((triple4) -> rule8)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8)) -> rule3))] The bald eagle is rough.[(triple4 OR ((triple1) -> rule2) OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple1) -> rule5)) -> rule4) OR ((((triple3 triple5) -> rule7) triple5) -> rule4) OR ((((triple3 triple5) -> rule7) ((triple1) -> rule5)) -> rule4) OR ((((triple3 ((triple1) -> rule5)) -> rule7) triple5) -> rule4) OR ((((triple3 ((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule4))] The bald eagle is young.[(triple5 OR ((triple1) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple4 triple2) -> rule6)) -> rule5) OR ((((triple4 ((triple4) -> rule8)) -> rule6)) -> rule5))]