Anne is not kind. Erin is furry. Harry is furry. If something is round and not green then it is not kind. If something is round then it is smart. All kind things are smart. If something is green then it is not smart. If something is kind and not green then it is not furry. All green, kind things are furry. If something is furry then it is cold. All cold things are round.
Anne is kind.
@0: Anne is not kind.[(triple1)] Erin is furry.[(triple2)] Harry is furry.[(triple3)] @1: Erin is cold.[(((triple2) -> rule7))] Harry is cold.[(((triple3) -> rule7))] @2: Erin is round.[(((((triple2) -> rule7)) -> rule8))] Harry is round.[(((((triple3) -> rule7)) -> rule8))] @3: Erin is smart.[(((((((triple2) -> rule7)) -> rule8)) -> rule2))] Harry is smart.[(((((((triple3) -> rule7)) -> rule8)) -> rule2))]