The lion is big. The lion is not green. The lion is nice. The lion is red. The lion is rough. If someone is rough and not green then they are big. If someone is green and big then they are not nice. If someone is rough and not big then they are not nice.
The lion sees the lion.
@0: The lion is big.[(triple1 OR ((triple5 triple2) -> rule1))] The lion is nice.[(triple3)] The lion is not green.[(triple2)] The lion is red.[(triple4)] The lion is rough.[(triple5)]