The lion is blue. The lion is green. The lion is rough. If the lion is young and the lion is green then the lion is round. If something is round and not green then it is not blue. All green, young things are blue. If the lion is round then the lion is not blue. Green, round things are young. If something is green and young then it is not rough. If something is young and not blue then it is rough. If something is green then it is rough.
The lion is green.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2)] The lion is rough.[(triple3 OR ((triple2) -> rule8))]