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