The lion is big. The lion is green. The lion is kind. The lion is rough. The lion is young. Kind things are young. All green things are young. Green things are kind. All green things are kind. All green things are rough. If the lion is big and the lion is green then the lion is rough.
The lion is not rough.
@0: The lion is big.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple2) -> rule3) OR ((triple2) -> rule4))] The lion is rough.[(triple4 OR ((triple2) -> rule5) OR ((triple1 triple2) -> rule6))] The lion is young.[(triple5 OR ((triple2) -> rule2) OR ((triple3) -> rule1) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule4)) -> rule1))]