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