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