Charlie is not big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Dave is big. Dave is not blue. Dave is cold. Dave is furry. Dave is round. If Dave is round then Dave is quiet. If Charlie is not blue then Charlie is not smart. If something is cold and not round then it is not quiet. If something is blue and not round then it is furry. Big, smart things are not furry. All smart things are big. If something is furry and not round then it is smart. If Dave is not quiet then Dave is not blue.
Charlie is round.
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is not big.[(triple1)] Charlie is quiet.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is not blue.[(triple7)] Dave is round.[(triple10)] @1: Dave is quiet.[(((triple10) -> rule1))]