The tiger is blue. The tiger is green. The tiger is rough. The tiger is round. The tiger is young. All blue people are round. If the tiger is blue and the tiger is young then the tiger is green. All rough people are young.
The tiger is not blue.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple3) -> rule3)) -> rule2))] The tiger is rough.[(triple3)] The tiger is round.[(triple4 OR ((triple1) -> rule1))] The tiger is young.[(triple5 OR ((triple3) -> rule3))]