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