The lion is big. The lion is kind. The lion is red. The lion is not rough. The lion is round. All rough, red things are not big. Kind, rough things are big. If something is red then it is big. If something is kind and not rough then it is big. Rough things are red. Red, kind things are round.
The lion is not kind.
@0: The lion is big.[(triple1 OR ((triple3) -> rule3) OR ((triple2 triple4) -> rule4))] The lion is kind.[(triple2)] The lion is not rough.[(triple4)] The lion is red.[(triple3)] The lion is round.[(triple5 OR ((triple3 triple2) -> rule6))]