Anne is nice. Anne is quiet. Anne is smart. Fiona is not rough. Fiona is smart. Harry is kind. Harry is smart. If Anne is blue and Anne is smart then Anne is red. Blue, kind people are quiet. Red people are not quiet. If Fiona is blue then Fiona is not rough. All smart people are nice. If someone is kind and not rough then they are nice. If Harry is not quiet and Harry is not rough then Harry is not smart. If Harry is smart and Harry is not quiet then Harry is nice.
Harry is red.
@0: Anne is nice.[(triple1 OR ((triple3) -> rule5))] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Fiona is not rough.[(triple4)] Fiona is smart.[(triple5)] Harry is kind.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is nice.[(((triple5) -> rule5))] Harry is nice.[(((triple7) -> rule5))]