The lion is big. The lion is red. The lion is rough. The lion is round. The lion is young. If the lion is big and the lion is red then the lion is young. All red, young people are round.
The lion is rough.
@0: The lion is big.[(triple1)] The lion is red.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple1 triple2) -> rule1)) -> rule2))] The lion is young.[(triple5 OR ((triple1 triple2) -> rule1))]