The tiger is young. If something is green and young then it is blue. Nice things are green. If something is young then it is nice. Young things are nice. Green things are young. All nice, green things are young. If the tiger is blue then the tiger is red. If the tiger is young and the tiger is not nice then the tiger is blue.
The tiger is young.
@0: The tiger is young.[(triple1)] @1: The tiger is nice.[(((triple1) -> rule3) OR ((triple1) -> rule4))] @2: The tiger is green.[(((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] @3: The tiger is blue.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule1) OR ((((((triple1) -> rule4)) -> rule2) triple1) -> rule1))] @4: The tiger is red.[(((((((((triple1) -> rule3)) -> rule2) triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule2) triple1) -> rule1)) -> rule7))]