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 is round.
@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)]