The lion is big. The lion is kind. The lion is rough. The lion is round. The lion is young. If the lion is round and the lion is kind then the lion is young. If something is round then it is big.
The lion is kind.
@0: The lion is big.[(triple1 OR ((triple4) -> rule2))] The lion is kind.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple4 triple2) -> rule1))]