The lion is not big. The lion is cold. The lion is kind. The lion is nice. The lion is rough. If someone is big and not rough then they are not cold. If someone is nice and big then they are cold. If the lion is kind and the lion is big then the lion is cold. Big people are not kind. Rough people are kind. All nice people are kind.
The lion eats the lion.
@0: The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple4) -> rule6) OR ((triple5) -> rule5))] The lion is nice.[(triple4)] The lion is not big.[(triple1)] The lion is rough.[(triple5)]