The lion is big. The lion is blue. The lion is kind. The lion is rough. The lion is young. If someone is blue then they are kind. If the lion is blue then the lion is kind. All blue, rough people are young.
The lion is not kind.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] The lion is rough.[(triple4)] The lion is young.[(triple5 OR ((triple2 triple4) -> rule3))]