Anne is rough. Charlie is cold. Dave is cold. Gary is blue. All big, furry things are blue. If something is quiet then it is rough. All blue things are cold. If Charlie is rough and Charlie is blue then Charlie is furry. If something is cold then it is quiet. All furry things are rough.
Gary is furry.
@0: Anne is rough.[(triple1)] Charlie is cold.[(triple2)] Dave is cold.[(triple3)] Gary is blue.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule5))] Dave is quiet.[(((triple3) -> rule5))] Gary is cold.[(((triple4) -> rule3))] @2: Charlie is rough.[(((((triple2) -> rule5)) -> rule2))] Dave is rough.[(((((triple3) -> rule5)) -> rule2))] Gary is quiet.[(((((triple4) -> rule3)) -> rule5))] @3: Gary is rough.[(((((((triple4) -> rule3)) -> rule5)) -> rule2))]