The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion is round. Round things are red. All red things are blue.
The lion is blue.
@0: The lion is blue.[(triple1 OR ((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The lion is cold.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4 OR ((triple5) -> rule1))] The lion is round.[(triple5)]