The lion is big. The lion is blue. The lion is not nice. The lion is rough. The lion is not round. If something is big and blue then it is not round. Big things are not round. If something is big and not blue then it is not round. Big things are rough. If something is big then it is rough. Round things are rough. If something is round and not nice then it is not big. All round, blue things are not big.
The lion does not need the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is not nice.[(triple3)] The lion is not round.[(triple5 OR ((triple1) -> rule2) OR ((triple1 triple2) -> rule1))] The lion is rough.[(triple4 OR ((triple1) -> rule4) OR ((triple1) -> rule5))]