The tiger is big. The tiger is green. The tiger is red. The tiger is rough. The tiger is round. If something is red then it is rough. If something is big and green then it is red.
The tiger is red.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is red.[(triple3 OR ((triple1 triple2) -> rule2))] The tiger is rough.[(triple4 OR ((triple3) -> rule1) OR ((((triple1 triple2) -> rule2)) -> rule1))] The tiger is round.[(triple5)]