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