The lion is big. The lion is blue. The lion is not kind. The lion is not round. The lion is young. Big things are blue. If the lion is not big then the lion is kind. Round things are kind. If something is round and big then it is kind. If something is big and not young then it is not kind. If something is big and not blue then it is not kind.
The lion is young.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2 OR ((triple1) -> rule1))] The lion is not kind.[(triple3)] The lion is not round.[(triple4)] The lion is young.[(triple5)]