The tiger is big. The tiger is blue. The tiger is green. If something is blue then it is green. Green, rough things are big. If something is young and green then it is rough. If something is rough then it is green. If the tiger is green then the tiger is rough. If the tiger is green and the tiger is big then the tiger is blue. If something is green and rough then it is blue. If something is rough and green then it is young.
The tiger is blue.
@0: The tiger is big.[(triple1 OR ((triple3 ((triple3) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple2) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule5)) -> rule2))] The tiger is blue.[(triple2 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule5)) -> rule7) OR ((triple3 ((triple3 ((triple3) -> rule5)) -> rule2)) -> rule6))] The tiger is green.[(triple3 OR ((triple2) -> rule1))] @1: The tiger is rough.[(((triple3) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] @2: The tiger is young.[(((((triple3) -> rule5) triple3) -> rule8) OR ((((triple3) -> rule5) ((triple2) -> rule1)) -> rule8) OR ((((((triple2) -> rule1)) -> rule5) triple3) -> rule8) OR ((((((triple2) -> rule1)) -> rule5) ((triple2) -> rule1)) -> rule8))]