Anne is green. Anne is smart. Charlie is cold. Dave is green. Dave is kind. Dave is round. Gary is round. Kind things are white. If something is white then it is green. If something is big then it is round. If Charlie is green then Charlie is round. If Gary is smart and Gary is big then Gary is cold. All green, kind things are smart.
Charlie is not green.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Charlie is cold.[(triple3)] Dave is green.[(triple4 OR ((((triple5) -> rule1)) -> rule2))] Dave is kind.[(triple5)] Dave is round.[(triple6)] Gary is round.[(triple7)] @1: Dave is smart.[(((triple4 triple5) -> rule6) OR ((((((triple5) -> rule1)) -> rule2) triple5) -> rule6))] Dave is white.[(((triple5) -> rule1))]