Anne is cold. Anne is quiet. Gary is kind. Harry is furry. Harry is kind. Harry is nice. Harry is smart. Kind, smart people are furry. If someone is kind and nice then they are round. Smart, quiet people are cold. If someone is nice and furry then they are kind. All kind, nice people are furry. If Anne is round and Anne is quiet then Anne is nice.
Harry is kind.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Gary is kind.[(triple3)] Harry is furry.[(triple4 OR ((triple5 triple6) -> rule5) OR ((triple5 triple7) -> rule1))] Harry is kind.[(triple5 OR ((triple6 triple4) -> rule4))] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Harry is round.[(((triple5 triple6) -> rule2) OR ((((triple6 triple4) -> rule4) triple6) -> rule2))]