The lion is cold. The lion is green. The lion is nice. The lion is rough. The lion is young. All young, cold things are green. All rough, green things are cold. If the lion is young and the lion is nice then the lion is cold. If the lion is young then the lion is green. Cold things are green. All young, cold things are rough.
The lion does not see the lion.
@0: The lion is cold.[(triple1 OR ((triple4 triple2) -> rule2) OR ((triple5 triple3) -> rule3) OR ((triple4 ((triple5) -> rule4)) -> rule2))] The lion is green.[(triple2 OR ((triple1) -> rule5) OR ((triple5) -> rule4) OR ((triple5 triple1) -> rule1) OR ((((triple5 triple3) -> rule3)) -> rule5) OR ((triple5 ((triple5 triple3) -> rule3)) -> rule1))] The lion is nice.[(triple3)] The lion is rough.[(triple4 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple5 triple3) -> rule3)) -> rule6))] The lion is young.[(triple5)]