The lion is big. The lion is cold. The lion is red. The lion is rough. The lion is not round. If the lion is not big then the lion is not red. If the lion is round and the lion is big then the lion is cold. If the lion is round and the lion is big then the lion is not cold. All rough, round people are cold. If someone is rough and not red then they are cold. If someone is round and not big then they are not cold. All cold people are rough. All red people are rough.
The lion chases the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is not round.[(triple5)] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple2) -> rule7) OR ((triple3) -> rule8))]