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