The lion is big. The lion is not cold. The lion is green. The lion is nice. The lion is not round. Green people are big. If the lion is not cold then the lion is big. If the lion is round and the lion is cold then the lion is not big. If someone is cold then they are not nice. If the lion is green then the lion is nice. If someone is big and not cold then they are green. If someone is cold and not round then they are green. If the lion is round then the lion is green.
The lion chases the lion.
@0: The lion is big.[(triple1 OR ((triple2) -> rule2) OR ((triple3) -> rule1))] The lion is green.[(triple3 OR ((triple1 triple2) -> rule6) OR ((((triple2) -> rule2) triple2) -> rule6))] The lion is nice.[(triple4 OR ((triple3) -> rule5) OR ((((triple1 triple2) -> rule6)) -> rule5) OR ((((((triple2) -> rule2) triple2) -> rule6)) -> rule5))] The lion is not cold.[(triple2)] The lion is not round.[(triple5)]