Anne is blue. Anne is red. Anne is rough. Anne is round. Fiona is blue. Fiona is furry. Fiona is round. Harry is cold. Harry is quiet. Harry is red. Furry people are quiet. All quiet, furry people are red.
Fiona is not quiet.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is round.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Fiona is quiet.[(((triple6) -> rule1))] @2: Fiona is red.[(((((triple6) -> rule1) triple6) -> rule2))]