The lion is cold. The lion is green. The lion is red. Green people are cold. Red, rough people are cold. All rough, red people are cold. All red people are green. If someone is nice then they are red. Cold, rough people are red. If the lion is cold then the lion is red. If someone is red and not rough then they are not nice.
The lion is red.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] The lion is green.[(triple2 OR ((triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule4))] The lion is red.[(triple3 OR ((triple1) -> rule7) OR ((((triple2) -> rule1)) -> rule7))]