The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle is young. All nice, round things are cold. If something is nice and round then it is cold. If something is young and nice then it is cold.
The bald eagle is nice.
@0: The bald eagle is cold.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 triple4) -> rule2) OR ((triple5 triple2) -> rule3))] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]