The tiger is big. The tiger is not green. The tiger is not nice. The tiger is rough. The tiger is round. If someone is green and round then they are nice. If someone is big and green then they are nice. Green people are not nice. All nice people are rough. If the tiger is green and the tiger is rough then the tiger is nice. All round, nice people are not green. If someone is round and not big then they are green. If the tiger is round then the tiger is rough.
The tiger needs the tiger.
@0: The tiger is big.[(triple1)] The tiger is not green.[(triple2)] The tiger is not nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple5) -> rule8))] The tiger is round.[(triple5)]