The lion is not big. The lion is cold. The lion is green. The lion is kind. The lion is not rough. Big, kind things are not green. If something is kind then it is green. Big, cold things are green. Big things are cold. If the lion is big then the lion is green. If the lion is rough then the lion is green. Cold things are kind. If something is cold and not rough then it is kind.
The lion is big.
@0: The lion is cold.[(triple2)] The lion is green.[(triple3 OR ((triple4) -> rule2) OR ((((triple2) -> rule7)) -> rule2) OR ((((triple2 triple5) -> rule8)) -> rule2))] The lion is kind.[(triple4 OR ((triple2) -> rule7) OR ((triple2 triple5) -> rule8))] The lion is not big.[(triple1)] The lion is not rough.[(triple5)]