The lion is big. The lion is cold. The lion is nice. If someone is cold then they are nice. If the lion is cold then the lion is green. Nice, green people are young. If the lion is young and the lion is cold then the lion is big. All young, green people are big. Nice people are big.
The lion is not cold.
@0: The lion is big.[(triple1 OR ((triple3) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple3 ((triple2) -> rule2)) -> rule3) triple2) -> rule4) OR ((((triple3 ((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule5))] The lion is cold.[(triple2)] The lion is nice.[(triple3 OR ((triple2) -> rule1))] @1: The lion is green.[(((triple2) -> rule2))] @2: The lion is young.[(((triple3 ((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule1) ((triple2) -> rule2)) -> rule3))]