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