The lion is big. The lion is green. The lion is nice. The lion is rough. The lion is round. All rough people are round. If the lion is not round then the lion is green. If the lion is green then the lion is big.
The lion does not visit the lion.
@0: The lion is big.[(triple1 OR ((triple2) -> rule3))] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5 OR ((triple4) -> rule1))]