Charlie is quiet. Charlie is red. Dave is blue. Dave is not furry. Dave is not quiet. Dave is red. Dave is not round. Fiona is not furry. Fiona is quiet. Fiona is round. All cold things are red. Round things are big. If something is quiet and cold then it is big. If something is furry then it is round. If something is quiet and not red then it is not round. Red things are not round.
Dave is not big.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Dave is blue.[(triple3)] Dave is not furry.[(triple4)] Dave is not quiet.[(triple5)] Dave is not round.[(triple7 OR ((triple6) -> rule6))] Dave is red.[(triple6)] Fiona is not furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] @1: Charlie is not round.[(((triple2) -> rule6))] Fiona is big.[(((triple10) -> rule2))]