Bob is round. Bob is smart. Dave is not blue. Dave is quiet. Dave is red. Dave is smart. Dave is white. Gary is smart. Gary is not white. Harry is red. Red people are white. If someone is red and not quiet then they are round. Smart, blue people are red.
Gary is not smart.
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Dave is not blue.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple5) -> rule1))] Gary is not white.[(triple9)] Gary is smart.[(triple8)] Harry is red.[(triple10)] @1: Harry is white.[(((triple10) -> rule1))]