The tiger is blue. The tiger is nice. The tiger is not rough. The tiger is round. The tiger is not young. Rough, blue people are young. If the tiger is nice and the tiger is young then the tiger is not blue. If the tiger is young then the tiger is nice. If the tiger is blue then the tiger is round. If someone is young then they are not round. Young, blue people are not round. All blue, rough people are round. If someone is young and not blue then they are round.
The tiger does not see the tiger.
@0: The tiger is blue.[(triple1)] The tiger is nice.[(triple2)] The tiger is not rough.[(triple3)] The tiger is not young.[(triple5)] The tiger is round.[(triple4 OR ((triple1) -> rule4))]