The bald eagle is cold. The bald eagle is not green. The bald eagle is nice. The bald eagle is red. The bald eagle is not round. If something is round and cold then it is not red. If something is nice then it is not green. If the bald eagle is round then the bald eagle is nice. If the bald eagle is round then the bald eagle is not nice. If something is red and round then it is cold. Green, red things are not round.
The bald eagle chases the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple3)] The bald eagle is not green.[(triple2 OR ((triple3) -> rule2))] The bald eagle is not round.[(triple5)] The bald eagle is red.[(triple4)]