The tiger is blue. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is not round. If the tiger is round and the tiger is nice then the tiger is rough. If the tiger is blue then the tiger is rough. If something is rough and not blue then it is nice. If something is nice and rough then it is kind. Nice, round things are kind. If something is kind and not blue then it is rough.
The tiger is rough.
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2 OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple1) -> rule2)) -> rule4))] The tiger is nice.[(triple3)] The tiger is not round.[(triple5)] The tiger is rough.[(triple4 OR ((triple1) -> rule2))]