Anne is kind. Erin is not furry. Fiona is not rough. Fiona is round. Fiona is smart. Harry is quiet. Harry is round. All quiet, kind things are furry. If something is kind and not rough then it is furry. If Erin is quiet and Erin is not rough then Erin is kind. Quiet, big things are kind. All quiet things are big. If something is smart then it is big. If Erin is smart then Erin is furry. Rough, quiet things are smart.
Harry is not smart.
@0: Anne is kind.[(triple1)] Erin is not furry.[(triple2)] Fiona is not rough.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Fiona is big.[(((triple5) -> rule6))] Harry is big.[(((triple6) -> rule5))] @2: Harry is kind.[(((triple6 ((triple6) -> rule5)) -> rule4))] @3: Harry is furry.[(((triple6 ((triple6 ((triple6) -> rule5)) -> rule4)) -> rule1))]