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