The lion is not big. The lion is not cold. The lion is kind. The lion is nice. The lion is round. If something is round and cold then it is not kind. If the lion is nice then the lion is kind. If the lion is nice then the lion is kind. If something is nice and cold then it is round. All kind things are round. If something is nice and kind then it is round. Big things are not round. Kind things are not cold.
The lion does not chase the lion.
@0: The lion is kind.[(triple3 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] The lion is nice.[(triple4)] The lion is not big.[(triple1)] The lion is not cold.[(triple2 OR ((triple3) -> rule8) OR ((((triple4) -> rule2)) -> rule8) OR ((((triple4) -> rule3)) -> rule8))] The lion is round.[(triple5 OR ((triple3) -> rule5) OR ((triple4 triple3) -> rule6) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule6) OR ((triple4 ((triple4) -> rule3)) -> rule6))]