The bald eagle is blue. The bald eagle is green. The bald eagle is not kind. The bald eagle is not nice. The bald eagle is not round. Kind things are not blue. Green things are blue. If the bald eagle is green then the bald eagle is blue. If something is blue and green then it is not kind. All nice, blue things are round. Green things are not round. If something is blue and not green then it is nice. If something is green and not blue then it is not nice.
The bald eagle is round.
@0: The bald eagle is blue.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule3))] The bald eagle is green.[(triple2)] The bald eagle is not kind.[(triple3 OR ((triple1 triple2) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4))] The bald eagle is not nice.[(triple4)] The bald eagle is not round.[(triple5 OR ((triple2) -> rule6))]