The lion is cold. The lion is kind. The lion is nice. If the lion is cold and the lion is kind then the lion is nice. If the lion is kind then the lion is nice. Kind people are nice. If someone is nice and not kind then they are not red. If the lion is green then the lion is not red. If someone is kind and not nice then they are not green. Nice, kind people are green. All kind people are green.
The lion is kind.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple2) -> rule3) OR ((triple1 triple2) -> rule1))] @1: The lion is green.[(((triple2) -> rule8) OR ((triple3 triple2) -> rule7) OR ((((triple2) -> rule2) triple2) -> rule7) OR ((((triple2) -> rule3) triple2) -> rule7) OR ((((triple1 triple2) -> rule1) triple2) -> rule7))] @2: The lion is not red.[(((((triple2) -> rule8)) -> rule5) OR ((((triple3 triple2) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple2) -> rule7)) -> rule5) OR ((((((triple2) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule1) triple2) -> rule7)) -> rule5))]