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