The lion is cold. The lion is green. The lion is red. The lion is round. The lion is young. Green people are cold. If the lion is green then the lion is young. Young people are cold. All cold people are red. Red people are round. All red people are cold.
The lion does not eat the lion.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule6) OR ((triple5) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] The lion is green.[(triple2)] The lion is red.[(triple3 OR ((triple1) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple5) -> rule3)) -> rule4) OR ((((((triple2) -> rule2)) -> rule3)) -> rule4))] The lion is round.[(triple4 OR ((triple3) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((((triple2) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule5))] The lion is young.[(triple5 OR ((triple2) -> rule2))]