Dave is blue. Dave is round. Dave is white. If someone is quiet then they are not blue. If Dave is blue then Dave is not cold. If Dave is not round then Dave is quiet. All white people are not cold. All furry, quiet people are cold. Blue, round people are furry.
Dave is big.
@0: Dave is blue.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] @1: Dave is furry.[(((triple1 triple2) -> rule6))] Dave is not cold.[(((triple1) -> rule2) OR ((triple3) -> rule4))]