Anne is green. Anne is not round. Bob is cold. Bob is round. Dave is round. Gary is nice. Gary is not quiet. Round things are not kind. All white, cold things are quiet. If Bob is not kind then Bob is white.
Gary is cold.
@0: Anne is green.[(triple1)] Anne is not round.[(triple2)] Bob is cold.[(triple3)] Bob is round.[(triple4)] Dave is round.[(triple5)] Gary is nice.[(triple6)] Gary is not quiet.[(triple7)] @1: Bob is not kind.[(((triple4) -> rule1))] Dave is not kind.[(((triple5) -> rule1))] @2: Bob is white.[(((((triple4) -> rule1)) -> rule3))] @3: Bob is quiet.[(((((((triple4) -> rule1)) -> rule3) triple3) -> rule2))]