The lion is blue. The lion is cold. The lion is green. The lion is nice. The lion is young. Green, young things are blue. All nice, young things are cold. If the lion is young then the lion is cold.
The lion is young.
@0: The lion is blue.[(triple1 OR ((triple3 triple5) -> rule1))] The lion is cold.[(triple2 OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule2))] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is young.[(triple5)]