The lion is blue. The lion is cold. The lion is green. The lion is not rough. The lion is round. If the lion is blue and the lion is not rough then the lion is round. If the lion is not round then the lion is cold.
The lion is not green.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is not rough.[(triple4)] The lion is round.[(triple5 OR ((triple1 triple4) -> rule1))]