Anne is furry. Anne is quiet. Anne is not rough. Erin is green. Erin is quiet. Fiona is not furry. Fiona is not nice. Fiona is quiet. Fiona is rough. Harry is kind. If someone is smart then they are kind. All quiet, kind people are nice. If someone is furry and nice then they are green. If someone is smart then they are green. If someone is nice then they are green. All green people are smart.
Harry is not quiet.
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple3)] Anne is quiet.[(triple2)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Fiona is not furry.[(triple6)] Fiona is not nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Harry is kind.[(triple10)] @1: Erin is smart.[(((triple4) -> rule6))] @2: Erin is kind.[(((((triple4) -> rule6)) -> rule1))] @3: Erin is nice.[(((triple5 ((((triple4) -> rule6)) -> rule1)) -> rule2))]