The lion is green. If someone is green and round then they are red. If someone is green then they are young. All red people are round. If someone is green and young then they are red. All green, cold people are red. If the lion is red then the lion is round.
The lion is green.
@0: The lion is green.[(triple1)] @1: The lion is young.[(((triple1) -> rule2))] @2: The lion is red.[(((triple1 ((triple1) -> rule2)) -> rule4))] @3: The lion is round.[(((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule6))]