The lion is not big. The lion is green. The lion is kind. The lion is round. The lion is young. If something is big and not round then it is kind. If something is kind then it is green.
The lion is not green.
@0: The lion is green.[(triple2 OR ((triple3) -> rule2))] The lion is kind.[(triple3)] The lion is not big.[(triple1)] The lion is round.[(triple4)] The lion is young.[(triple5)]