The lion is cold. The lion is green. The lion is kind. The lion is red. The lion is round. If something is cold then it is red. All red things are cold. Round things are green. Cold, round things are red. Red things are green. If the lion is red then the lion is kind. Kind, cold things are red. If the lion is green and the lion is red then the lion is cold.
The lion is not green.
@0: The lion is cold.[(triple1 OR ((triple4) -> rule2) OR ((triple2 triple4) -> rule8) OR ((((triple4) -> rule5) triple4) -> rule8) OR ((((triple5) -> rule3) triple4) -> rule8))] The lion is green.[(triple2 OR ((triple4) -> rule5) OR ((triple5) -> rule3) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple1 triple5) -> rule4)) -> rule5) OR ((((triple3 triple1) -> rule7)) -> rule5))] The lion is kind.[(triple3 OR ((triple4) -> rule6) OR ((((triple1) -> rule1)) -> rule6) OR ((((triple1 triple5) -> rule4)) -> rule6))] The lion is red.[(triple4 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule4) OR ((triple3 triple1) -> rule7))] The lion is round.[(triple5)]