The tiger is blue. The tiger is green. The tiger is red. The tiger is rough. The tiger is young. Rough things are red. All young things are red. If something is young and not blue then it is rough.
The tiger chases the tiger.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2)] The tiger is red.[(triple3 OR ((triple4) -> rule1) OR ((triple5) -> rule2))] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]