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