Anne is furry. Anne is nice. Anne is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. Gary is round. Gary is smart. Harry is nice. Harry is red. Smart, round people are blue. Furry, red people are quiet. All smart, blue people are quiet.
Harry is not blue.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Fiona is blue.[(triple4 OR ((triple8 triple7) -> rule1))] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] @1: Fiona is quiet.[(((triple8 triple4) -> rule3) OR ((triple8 ((triple8 triple7) -> rule1)) -> rule3))] Gary is blue.[(((triple10 triple9) -> rule1))] @2: Gary is quiet.[(((triple10 ((triple10 triple9) -> rule1)) -> rule3))]