Anne is blue. Anne is cold. Dave is not furry. Dave is nice. Dave is smart. Fiona is cold. Fiona is smart. Harry is not blue. Harry is nice. Harry is red. If something is furry and not smart then it is cold. Furry, nice things are cold. All furry things are quiet. Nice, cold things are quiet. All smart things are blue. All cold, blue things are furry.
Fiona is not furry.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Dave is nice.[(triple4)] Dave is not furry.[(triple3)] Dave is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is smart.[(triple7)] Harry is nice.[(triple9)] Harry is not blue.[(triple8)] Harry is red.[(triple10)] @1: Anne is furry.[(((triple2 triple1) -> rule6))] Dave is blue.[(((triple5) -> rule5))] Fiona is blue.[(((triple7) -> rule5))] @2: Anne is quiet.[(((((triple2 triple1) -> rule6)) -> rule3))] Fiona is furry.[(((triple6 ((triple7) -> rule5)) -> rule6))] @3: Fiona is quiet.[(((((triple6 ((triple7) -> rule5)) -> rule6)) -> rule3))]