Anne is quiet. Dave is big. Erin is not furry. Rough things are cold. If Anne is young then Anne is big. All big things are young. All furry things are quiet. Young things are furry. If something is big and not young then it is furry.
Dave is rough.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2)] Erin is not furry.[(triple3)] @1: Dave is young.[(((triple2) -> rule3))] @2: Dave is furry.[(((((triple2) -> rule3)) -> rule5))] @3: Dave is quiet.[(((((((triple2) -> rule3)) -> rule5)) -> rule4))]