Charlie is smart. Fiona is smart. Gary is green. Harry is quiet. Harry is not round. Harry is white. Harry is young. If something is quiet then it is furry. All smart, young things are not green. All quiet things are white. If something is young and green then it is not white. If something is green then it is quiet. If Harry is not quiet then Harry is white.
Charlie is not furry.
@0: Charlie is smart.[(triple1)] Fiona is smart.[(triple2)] Gary is green.[(triple3)] Harry is not round.[(triple5)] Harry is quiet.[(triple4)] Harry is white.[(triple6 OR ((triple4) -> rule3))] Harry is young.[(triple7)] @1: Gary is quiet.[(((triple3) -> rule5))] Harry is furry.[(((triple4) -> rule1))] @2: Gary is furry.[(((((triple3) -> rule5)) -> rule1))] Gary is white.[(((((triple3) -> rule5)) -> rule3))]