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