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