Anne is white. Charlie is quiet. Dave is round. Gary is red. White people are smart. If Dave is cold and Dave is round then Dave is not white. If Gary is green and Gary is not quiet then Gary is not smart. Smart people are not round. If someone is quiet and red then they are round. If someone is cold and not green then they are round. If someone is red then they are white. All quiet, round people are white.
Charlie is round.
@0: Anne is white.[(triple1)] Charlie is quiet.[(triple2)] Dave is round.[(triple3)] Gary is red.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Gary is white.[(((triple4) -> rule7))] @2: Anne is not round.[(((((triple1) -> rule1)) -> rule4))] Gary is smart.[(((((triple4) -> rule7)) -> rule1))] @3: Gary is not round.[(((((((triple4) -> rule7)) -> rule1)) -> rule4))]