The tiger is big. The tiger is blue. The tiger is nice. The tiger is rough. The tiger is round. If the tiger is round and the tiger is nice then the tiger is big.
The tiger is not rough.
@0: The tiger is big.[(triple1 OR ((triple5 triple3) -> rule1))] The tiger is blue.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5)]