The lion is cold. The lion is green. The lion is red. The lion is round. The lion is young. If something is green and round then it is red. All green things are cold.
The lion does not like the lion.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule2))] The lion is green.[(triple2)] The lion is red.[(triple3 OR ((triple2 triple4) -> rule1))] The lion is round.[(triple4)] The lion is young.[(triple5)]