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