The lion is cold. The lion is not kind. The lion is not nice. The lion is rough. The lion is young. If the lion is rough then the lion is not nice. All rough, cold people are not nice. Rough, nice people are cold. Young people are cold. All young, rough people are cold. Cold, kind people are young. Cold people are young. If someone is nice and rough then they are young.
The lion is not kind.
@0: The lion is cold.[(triple1 OR ((triple5) -> rule4) OR ((triple5 triple4) -> rule5))] The lion is not kind.[(triple2)] The lion is not nice.[(triple3 OR ((triple4) -> rule1) OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple5) -> rule4)) -> rule2) OR ((triple4 ((triple5 triple4) -> rule5)) -> rule2))] The lion is rough.[(triple4)] The lion is young.[(triple5 OR ((triple1) -> rule7))]