The lion is cold. The lion is green. The lion is kind. The lion is nice. The lion is young. All young people are nice. If someone is young and green then they are nice. All young, cold people are nice. Green people are nice. If someone is cold and young then they are kind. Green, kind people are cold.
The lion is not cold.
@0: The lion is cold.[(triple1 OR ((triple2 triple3) -> rule6))] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple1 triple5) -> rule5))] The lion is nice.[(triple4 OR ((triple2) -> rule4) OR ((triple5) -> rule1) OR ((triple5 triple1) -> rule3) OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple2 triple3) -> rule6)) -> rule3))] The lion is young.[(triple5)]