The tiger is big. The tiger is blue. The tiger is green. The tiger is rough. The tiger is young. If the tiger is blue and the tiger is green then the tiger is rough. If the tiger is not big then the tiger is young. If the tiger is green then the tiger is young. If the tiger is big then the tiger is blue. Big, blue people are young. All young people are green. If someone is rough and not big then they are not green. All big people are green.
The tiger is not blue.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2 OR ((triple1) -> rule4))] The tiger is green.[(triple3 OR ((triple1) -> rule8) OR ((triple5) -> rule6) OR ((((triple1 triple2) -> rule5)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule6))] The tiger is rough.[(triple4 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple1) -> rule8)) -> rule1) OR ((triple2 ((triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule4) triple3) -> rule1) OR ((((triple1) -> rule4) ((triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule4) ((triple5) -> rule6)) -> rule1) OR ((triple2 ((((triple1 triple2) -> rule5)) -> rule6)) -> rule1) OR ((((triple1) -> rule4) ((((triple1 triple2) -> rule5)) -> rule6)) -> rule1) OR ((triple2 ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((triple1) -> rule4) ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1))] The tiger is young.[(triple5 OR ((triple3) -> rule3) OR ((triple1 triple2) -> rule5) OR ((((triple1) -> rule8)) -> rule3) OR ((triple1 ((triple1) -> rule4)) -> rule5))]