Charlie is not blue. Charlie is quiet. Charlie is round. Charlie is smart. Dave is not blue. Dave is furry. Dave is not quiet. Dave is round. Dave is smart. Fiona is blue. Fiona is not furry. Fiona is green. Fiona is not quiet. Fiona is round. Fiona is smart. All furry, quiet things are blue. If something is quiet then it is round. If Dave is quiet then Dave is not blue. If Dave is smart and Dave is round then Dave is furry. If Charlie is red then Charlie is smart. Blue, round things are red. Furry things are not red. If something is furry and not round then it is not red.
Charlie is not red.
@0: Charlie is not blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3 OR ((triple2) -> rule2))] Charlie is smart.[(triple4)] Dave is furry.[(triple6 OR ((triple9 triple8) -> rule4))] Dave is not blue.[(triple5)] Dave is not quiet.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple12)] Fiona is not furry.[(triple11)] Fiona is not quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Dave is not red.[(((triple6) -> rule7) OR ((((triple9 triple8) -> rule4)) -> rule7))] Fiona is red.[(((triple10 triple14) -> rule6))]