Dave is furry. Dave is quiet. Dave is white. Fiona is green. Fiona is not quiet. Gary is nice. Gary is not white. All green things are white. If something is cold then it is round. If something is quiet and not nice then it is round. If Fiona is furry then Fiona is green. Quiet things are green. Quiet, nice things are furry. If Dave is white then Dave is green. All furry things are cold.
Gary is quiet.
@0: Dave is furry.[(triple1)] Dave is quiet.[(triple2)] Dave is white.[(triple3 OR ((((triple2) -> rule5)) -> rule1))] Fiona is green.[(triple4)] Fiona is not quiet.[(triple5)] Gary is nice.[(triple6)] Gary is not white.[(triple7)] @1: Dave is cold.[(((triple1) -> rule8))] Dave is green.[(((triple2) -> rule5) OR ((triple3) -> rule7))] Fiona is white.[(((triple4) -> rule1))] @2: Dave is round.[(((((triple1) -> rule8)) -> rule2))]