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