The tiger is cold. If the tiger is young then the tiger is green. All cold people are young. If someone is green and not cold then they are red. Round people are green. If someone is cold then they are green. If someone is cold and not young then they are green. If the tiger is green then the tiger is not round. If the tiger is not round then the tiger is not red.
The tiger is not red.
@0: The tiger is cold.[(triple1)] @1: The tiger is green.[(((triple1) -> rule5) OR ((((triple1) -> rule2)) -> rule1))] The tiger is young.[(((triple1) -> rule2))] @2: The tiger is not round.[(((((triple1) -> rule5)) -> rule7) OR ((((((triple1) -> rule2)) -> rule1)) -> rule7))] @3: The tiger is not red.[(((((((triple1) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple1) -> rule2)) -> rule1)) -> rule7)) -> rule8))]