The lion is not big. The lion is cold. The lion is not green. The lion is kind. The lion is rough. Rough people are not big. All cold, kind people are not green. If someone is cold then they are not green.
The lion visits the lion.
@0: The lion is cold.[(triple2)] The lion is kind.[(triple4)] The lion is not big.[(triple1 OR ((triple5) -> rule1))] The lion is not green.[(triple3 OR ((triple2) -> rule3) OR ((triple2 triple4) -> rule2))] The lion is rough.[(triple5)]