The lion is cold. The lion is green. The lion is kind. The lion is rough. The lion is round. All cold things are green. Rough, kind things are green. Round, rough things are cold. Kind, rough things are cold. All kind things are round. Rough things are kind.
The lion is not green.
@0: The lion is cold.[(triple1 OR ((triple3 triple4) -> rule4) OR ((triple5 triple4) -> rule3) OR ((((triple3) -> rule5) triple4) -> rule3) OR ((((triple4) -> rule6) triple4) -> rule4) OR ((((((triple4) -> rule6)) -> rule5) triple4) -> rule3))] The lion is green.[(triple2 OR ((triple1) -> rule1) OR ((triple4 triple3) -> rule2) OR ((((triple3 triple4) -> rule4)) -> rule1) OR ((((triple5 triple4) -> rule3)) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule2) OR ((((((triple3) -> rule5) triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule6) triple4) -> rule4)) -> rule1) OR ((((((((triple4) -> rule6)) -> rule5) triple4) -> rule3)) -> rule1))] The lion is kind.[(triple3 OR ((triple4) -> rule6))] The lion is rough.[(triple4)] The lion is round.[(triple5 OR ((triple3) -> rule5) OR ((((triple4) -> rule6)) -> rule5))]