The lion is not cold. The lion is green. The lion is nice. The lion is rough. The lion is young. All cold people are not nice. Young, rough people are green. Rough people are not cold. If someone is green and rough then they are not cold. If someone is rough then they are young. Rough people are young. If the lion is cold then the lion is not nice. If the lion is young and the lion is not rough then the lion is nice.
The lion sees the lion.
@0: The lion is green.[(triple2 OR ((triple5 triple4) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule2) OR ((((triple4) -> rule6) triple4) -> rule2))] The lion is nice.[(triple3)] The lion is not cold.[(triple1 OR ((triple4) -> rule3) OR ((triple2 triple4) -> rule4) OR ((((triple5 triple4) -> rule2) triple4) -> rule4) OR ((((((triple4) -> rule5) triple4) -> rule2) triple4) -> rule4) OR ((((((triple4) -> rule6) triple4) -> rule2) triple4) -> rule4))] The lion is rough.[(triple4)] The lion is young.[(triple5 OR ((triple4) -> rule5) OR ((triple4) -> rule6))]