The tiger is nice. All young things are big. All young, blue things are red. Big, young things are blue. If the tiger is nice and the tiger is blue then the tiger is young. All nice things are young. Nice, big things are blue. All blue, red things are young. All blue, young things are big.
The tiger is big.
@0: The tiger is nice.[(triple1)] @1: The tiger is young.[(((triple1) -> rule5))] @2: The tiger is big.[(((((triple1) -> rule5)) -> rule1))] @3: The tiger is blue.[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule3))] @4: The tiger is red.[(((((triple1) -> rule5) ((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule5) ((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule3)) -> rule2))]