Anne is nice. Anne is red. Dave is not round. Nice, smart people are not furry. If someone is furry then they are young. Nice people are young. Blue people are not red. If Anne is young and Anne is not nice then Anne is not blue. All young people are smart.
Anne is young.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Dave is not round.[(triple3)] @1: Anne is young.[(((triple1) -> rule3))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is not furry.[(((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule1))]