Anne is big. Anne is quiet. Fiona is big. Fiona is quiet. Fiona is young. Gary is blue. Gary is white. All big, furry things are red. If Gary is furry and Gary is white then Gary is big. Blue, white things are furry.
Gary is not furry.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is quiet.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Gary is furry.[(((triple6 triple7) -> rule3))] @2: Gary is big.[(((((triple6 triple7) -> rule3) triple7) -> rule2))] @3: Gary is red.[(((((((triple6 triple7) -> rule3) triple7) -> rule2) ((triple6 triple7) -> rule3)) -> rule1))]