Anne is red. Charlie is nice. Harry is young. Red, furry people are young. All young people are big. All nice, red people are green. All red people are furry. If someone is red and not nice then they are furry. If someone is red and green then they are furry.
Anne is not quiet.
@0: Anne is red.[(triple1)] Charlie is nice.[(triple2)] Harry is young.[(triple3)] @1: Anne is furry.[(((triple1) -> rule4))] Harry is big.[(((triple3) -> rule2))] @2: Anne is young.[(((triple1 ((triple1) -> rule4)) -> rule1))] @3: Anne is big.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule2))]