The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is round. If something is round and not nice then it is green. If something is green and not nice then it is round. Big things are cold.
The bald eagle is not round.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple1) -> rule3))] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is round.[(triple5)]