The tiger is green. Blue people are round. All green people are big. If the tiger is blue then the tiger is green. If the tiger is nice then the tiger is blue. If the tiger is green then the tiger is nice. Round people are nice.
The tiger is green.
@0: The tiger is green.[(triple1)] @1: The tiger is big.[(((triple1) -> rule2))] The tiger is nice.[(((triple1) -> rule5))] @2: The tiger is blue.[(((((triple1) -> rule5)) -> rule4))] @3: The tiger is round.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))]