Charlie is furry. Dave is furry. Dave is round. Dave is white. Fiona is blue. Harry is blue. Harry is nice. Nice, quiet things are kind. All furry things are quiet. Quiet things are round. All furry things are blue. All round things are quiet. Nice things are white. If Fiona is kind then Fiona is round. White things are quiet.
Harry is round.
@0: Charlie is furry.[(triple1)] Dave is furry.[(triple2)] Dave is round.[(triple3 OR ((((triple2) -> rule2)) -> rule3) OR ((((triple4) -> rule8)) -> rule3))] Dave is white.[(triple4)] Fiona is blue.[(triple5)] Harry is blue.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule4))] Charlie is quiet.[(((triple1) -> rule2))] Dave is blue.[(((triple2) -> rule4))] Dave is quiet.[(((triple2) -> rule2) OR ((triple3) -> rule5) OR ((triple4) -> rule8))] Harry is white.[(((triple7) -> rule6))] @2: Charlie is round.[(((((triple1) -> rule2)) -> rule3))] Harry is quiet.[(((((triple7) -> rule6)) -> rule8))] @3: Harry is kind.[(((triple7 ((((triple7) -> rule6)) -> rule8)) -> rule1))] Harry is round.[(((((((triple7) -> rule6)) -> rule8)) -> rule3))]