The bald eagle is big. The bald eagle is not blue. The bald eagle is green. The bald eagle is not nice. The bald eagle is rough. All nice things are blue. Nice things are blue. If something is big and nice then it is not rough. All green, big things are rough. If something is big and blue then it is rough. All blue, green things are not nice. Big things are not nice. If something is big and blue then it is green.
The bald eagle eats the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple3)] The bald eagle is not blue.[(triple2)] The bald eagle is not nice.[(triple4 OR ((triple1) -> rule7))] The bald eagle is rough.[(triple5 OR ((triple3 triple1) -> rule4))]