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