The lion is not big. The lion is not blue. The lion is not cold. The lion is not kind. The lion is young. If the lion is big and the lion is kind then the lion is young. If the lion is big then the lion is not young. All young people are not blue. If someone is blue then they are big. If someone is young then they are not big. If someone is young and cold then they are not big. If someone is cold then they are big. All cold people are kind.
The lion does not chase the lion.
@0: The lion is not big.[(triple1 OR ((triple5) -> rule5))] The lion is not blue.[(triple2 OR ((triple5) -> rule3))] The lion is not cold.[(triple3)] The lion is not kind.[(triple4)] The lion is young.[(triple5)]