The lion is big. The lion is not kind. The lion is red. The lion is rough. The lion is not young. If someone is red and not young then they are rough. If someone is kind and not young then they are rough. If someone is young then they are big. If the lion is red and the lion is not young then the lion is rough. If someone is young and not red then they are kind. If the lion is kind and the lion is red then the lion is big.
The lion does not need the lion.
@0: The lion is big.[(triple1)] The lion is not kind.[(triple2)] The lion is not young.[(triple5)] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple3 triple5) -> rule1) OR ((triple3 triple5) -> rule4))]