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