The lion is big. The lion is cold. The lion is nice. The lion is red. The lion is young. All red things are young. All cold, red things are young. All cold things are nice. If something is red then it is nice. If the lion is red and the lion is young then the lion is cold. If the lion is not red then the lion is not big.
The lion is not young.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple4) -> rule1)) -> rule5))] The lion is nice.[(triple3 OR ((triple2) -> rule3) OR ((triple4) -> rule4) OR ((((triple4 triple5) -> rule5)) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule5)) -> rule3))] The lion is red.[(triple4)] The lion is young.[(triple5 OR ((triple4) -> rule1) OR ((triple2 triple4) -> rule2))]