The lion is cold. The lion is kind. The lion is red. The lion is rough. The lion is young. All rough things are cold. If something is red then it is cold. If something is kind and not cold then it is not young.
The lion does not see the lion.
@0: The lion is cold.[(triple1 OR ((triple3) -> rule2) OR ((triple4) -> rule1))] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)]