Anne is nice. Bob is not furry. Dave is round. All kind things are green. If something is green then it is quiet. If Bob is green then Bob is kind. If something is kind then it is not cold. All quiet, kind things are nice. All nice things are kind. If Anne is not kind then Anne is round. If Anne is green and Anne is cold then Anne is round.
Bob is green.
@0: Anne is nice.[(triple1)] Bob is not furry.[(triple2)] Dave is round.[(triple3)] @1: Anne is kind.[(((triple1) -> rule6))] @2: Anne is green.[(((((triple1) -> rule6)) -> rule1))] Anne is not cold.[(((((triple1) -> rule6)) -> rule4))] @3: Anne is quiet.[(((((((triple1) -> rule6)) -> rule1)) -> rule2))]