The lion is big. The lion is cold. The lion is kind. The lion is red. The lion is round. If the lion is big and the lion is round then the lion is red. Kind, big things are round.
The lion is big.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple3 triple1) -> rule2)) -> rule1))] The lion is round.[(triple5 OR ((triple3 triple1) -> rule2))]