The lion is big. The lion is not blue. The lion is cold. The lion is green. The lion is nice. Big, cold people are not blue. Cold people are not blue. If someone is big and cold then they are green.
The lion is not cold.
@0: The lion is big.[(triple1)] The lion is cold.[(triple3)] The lion is green.[(triple4 OR ((triple1 triple3) -> rule3))] The lion is nice.[(triple5)] The lion is not blue.[(triple2 OR ((triple3) -> rule2) OR ((triple1 triple3) -> rule1))]