The lion is big. The lion is kind. The lion is red. The lion is rough. The lion is round. All rough things are big.
The lion does not see the lion.
@0: The lion is big.[(triple1 OR ((triple4) -> rule1))] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)]