The bald eagle is not cold. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle is round. If someone is round and red then they are not cold. Round people are rough. If someone is green then they are rough. If someone is round and green then they are rough. Rough, green people are round. All red, rough people are round. If the bald eagle is red and the bald eagle is rough then the bald eagle is green. If the bald eagle is green and the bald eagle is not red then the bald eagle is round.
The bald eagle is green.
@0: The bald eagle is green.[(triple2 OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple5) -> rule2)) -> rule7))] The bald eagle is not cold.[(triple1 OR ((triple5 triple3) -> rule1) OR ((((triple3 triple4) -> rule6) triple3) -> rule1) OR ((((triple4 triple2) -> rule5) triple3) -> rule1) OR ((((triple3 ((triple2) -> rule3)) -> rule6) triple3) -> rule1) OR ((((triple4 ((triple3 triple4) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule3) triple2) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule3) ((triple3 triple4) -> rule7)) -> rule5) triple3) -> rule1))] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple2) -> rule3) OR ((triple5) -> rule2) OR ((triple5 triple2) -> rule4))] The bald eagle is round.[(triple5 OR ((triple3 triple4) -> rule6) OR ((triple4 triple2) -> rule5) OR ((triple3 ((triple2) -> rule3)) -> rule6) OR ((triple4 ((triple3 triple4) -> rule7)) -> rule5) OR ((((triple2) -> rule3) triple2) -> rule5) OR ((((triple2) -> rule3) ((triple3 triple4) -> rule7)) -> rule5))]