Bob is red. Charlie is white. Dave is round. Harry is white. If Harry is nice and Harry is white then Harry is not round. If Dave is not white then Dave is not round. If something is red and nice then it is young. If something is white and round then it is young. If something is white then it is smart. If something is young and not quiet then it is not nice.
Harry is white.
@0: Bob is red.[(triple1)] Charlie is white.[(triple2)] Dave is round.[(triple3)] Harry is white.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule5))] Harry is smart.[(((triple4) -> rule5))]