The bald eagle is big. The bald eagle is blue. The bald eagle is not cold. The bald eagle is nice. The bald eagle is not red. Red people are blue. Cold, nice people are not blue. If the bald eagle is big and the bald eagle is nice then the bald eagle is not cold.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not cold.[(triple3 OR ((triple1 triple4) -> rule3))] The bald eagle is not red.[(triple5)]