The lion is big. The lion is blue. The lion is not kind. The lion is rough. The lion is young. If something is blue and not big then it is rough. If something is kind and not big then it is rough. If something is big and blue then it is not kind.
The lion does not visit the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is not kind.[(triple3 OR ((triple1 triple2) -> rule3))] The lion is rough.[(triple4)] The lion is young.[(triple5)]