The lion is kind. The lion is nice. The lion is red. The lion is not round. The lion is not young. If the lion is kind and the lion is red then the lion is not young. All nice, young people are round. Nice, young people are round. All kind, nice people are red. All round, kind people are red. If someone is young and not kind then they are not nice.
The lion is not nice.
@0: The lion is kind.[(triple1)] The lion is nice.[(triple2)] The lion is not round.[(triple4)] The lion is not young.[(triple5 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1 triple2) -> rule4)) -> rule1))] The lion is red.[(triple3 OR ((triple1 triple2) -> rule4))]