Charlie is furry. Dave is young. Fiona is cold. Harry is big. If Dave is big and Dave is smart then Dave is cold. If someone is big then they are furry. If someone is furry and big then they are young.
Charlie is not furry.
@0: Charlie is furry.[(triple1)] Dave is young.[(triple2)] Fiona is cold.[(triple3)] Harry is big.[(triple4)] @1: Harry is furry.[(((triple4) -> rule2))] @2: Harry is young.[(((((triple4) -> rule2) triple4) -> rule3))]