Anne is nice. Anne is quiet. Dave is red. Dave is smart. Fiona is red. Gary is furry. Gary is quiet. Cold things are not quiet. All furry, smart things are not blue. If something is cold and not quiet then it is nice. If something is cold and not quiet then it is red. If something is nice and not cold then it is red. All quiet things are red. All red things are smart. If something is red and not quiet then it is smart.
Fiona is not nice.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4 OR ((triple3) -> rule7))] Fiona is red.[(triple5)] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] @1: Anne is red.[(((triple2) -> rule6))] Fiona is smart.[(((triple5) -> rule7))] Gary is red.[(((triple7) -> rule6))] @2: Anne is smart.[(((((triple2) -> rule6)) -> rule7))] Gary is smart.[(((((triple7) -> rule6)) -> rule7))] @3: Gary is not blue.[(((triple6 ((((triple7) -> rule6)) -> rule7)) -> rule2))]