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