The tiger is big. The tiger is green. The tiger is not kind. The tiger is rough. The tiger is round. If something is big and not rough then it is not round. All rough things are round.
The tiger does not need the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is not kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple4) -> rule2))]