The bald eagle is big. The bald eagle is not blue. The bald eagle is green. The bald eagle is not nice. The bald eagle is young. If someone is big and not blue then they are not nice. Big, blue people are nice. If someone is blue and big then they are nice. Young people are big. All nice people are not green. If someone is big then they are young.
The bald eagle is not nice.
@0: The bald eagle is big.[(triple1 OR ((triple5) -> rule4))] The bald eagle is green.[(triple3)] The bald eagle is not blue.[(triple2)] The bald eagle is not nice.[(triple4 OR ((triple1 triple2) -> rule1) OR ((((triple5) -> rule4) triple2) -> rule1))] The bald eagle is young.[(triple5 OR ((triple1) -> rule6))]