Anne is kind. Anne is not nice. Anne is quiet. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. Harry is kind. Harry is quiet. If Erin is furry then Erin is quiet. All furry people are quiet. If someone is red then they are not blue. Nice, blue people are not furry. All blue people are not furry. If Harry is nice then Harry is quiet. If Anne is furry then Anne is blue. All smart people are nice.
Harry is not nice.
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is quiet.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule8))] Erin is red.[(triple7)] Erin is smart.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is not blue.[(((triple7) -> rule3))] Erin is quiet.[(((triple4) -> rule1) OR ((triple4) -> rule2))]