The lion is blue. The lion is cold. The lion is nice. All nice, red things are cold. All blue things are cold. Green things are red. If something is blue and red then it is nice. Green, cold things are nice. Blue things are green. If the lion is cold then the lion is nice. All cold things are green.
The lion is blue.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2 OR ((triple1) -> rule2) OR ((triple3 ((((triple1) -> rule6)) -> rule3)) -> rule1) OR ((((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule4) ((((triple1) -> rule6)) -> rule3)) -> rule1))] The lion is nice.[(triple3 OR ((triple2) -> rule7) OR ((((triple1) -> rule2)) -> rule7) OR ((((triple1) -> rule6) triple2) -> rule5) OR ((((triple2) -> rule8) triple2) -> rule5) OR ((((triple1) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((triple2) -> rule8) ((triple1) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule4) OR ((triple1 ((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2)) -> rule8) triple2) -> rule5) OR ((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule5) OR ((triple1 ((((((triple1) -> rule2)) -> rule8)) -> rule3)) -> rule4))] @1: The lion is green.[(((triple1) -> rule6) OR ((triple2) -> rule8) OR ((((triple1) -> rule2)) -> rule8))] @2: The lion is red.[(((((triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule8)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8)) -> rule3))]