Anne is round. Bob is quiet. Erin is not smart. Gary is not smart. All furry, rough things are round. All rough, kind things are round. All rough things are not smart. If something is quiet then it is smart. Round things are not kind. All smart things are not rough. If something is smart and not rough then it is not green. If something is round and not rough then it is not green.
Anne is not kind.
@0: Anne is round.[(triple1)] Bob is quiet.[(triple2)] Erin is not smart.[(triple3)] Gary is not smart.[(triple4)] @1: Anne is not kind.[(((triple1) -> rule5))] Bob is smart.[(((triple2) -> rule4))] @2: Bob is not rough.[(((((triple2) -> rule4)) -> rule6))] @3: Bob is not green.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule7))]