The lion is green. If the lion is rough then the lion is green. If someone is red then they are green. Red people are cold. If someone is cold and green then they are rough. Round, green people are rough. All rough, green people are round. If the lion is green then the lion is cold. Rough people are red.
The lion is not green.
@0: The lion is green.[(triple1)] @1: The lion is cold.[(((triple1) -> rule7))] @2: The lion is rough.[(((((triple1) -> rule7) triple1) -> rule4))] @3: The lion is red.[(((((((triple1) -> rule7) triple1) -> rule4)) -> rule8))] The lion is round.[(((((((triple1) -> rule7) triple1) -> rule4) triple1) -> rule6))]