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