Bob is big. Dave is big. Gary is furry. If someone is cold then they are furry. Cold people are furry. All furry people are young. If Gary is green and Gary is red then Gary is young. All green, young people are cold. All young, furry people are green.
Dave is not furry.
@0: Bob is big.[(triple1)] Dave is big.[(triple2)] Gary is furry.[(triple3)] @1: Gary is young.[(((triple3) -> rule3))] @2: Gary is green.[(((((triple3) -> rule3) triple3) -> rule6))] @3: Gary is cold.[(((((((triple3) -> rule3) triple3) -> rule6) ((triple3) -> rule3)) -> rule5))]