The lion is blue. The lion is cold. The lion is green. The lion is kind. The lion is nice. Green things are cold. Blue, nice things are cold. Blue, kind things are green. All kind, blue things are cold. If something is nice and green then it is cold. All cold things are nice.
The lion does not need the lion.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2 OR ((triple3) -> rule1) OR ((triple1 triple5) -> rule2) OR ((triple4 triple1) -> rule4) OR ((triple5 triple3) -> rule5) OR ((((triple1 triple4) -> rule3)) -> rule1) OR ((triple5 ((triple1 triple4) -> rule3)) -> rule5))] The lion is green.[(triple3 OR ((triple1 triple4) -> rule3))] The lion is kind.[(triple4)] The lion is nice.[(triple5 OR ((triple2) -> rule6) OR ((((triple3) -> rule1)) -> rule6) OR ((((triple4 triple1) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule3)) -> rule1)) -> rule6))]