Dave is red. Dave is round. Dave is not young. Fiona is not furry. Fiona is quiet. Fiona is white. Fiona is young. Gary is quiet. Gary is white. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is not white. Harry is young. If Dave is cold and Dave is quiet then Dave is white. If someone is round and not young then they are quiet. If Dave is cold then Dave is not red. If someone is young and not cold then they are round. All furry people are red. If someone is young and not round then they are furry. If someone is cold and not white then they are furry. Red people are furry.
Fiona is not round.
@0: Dave is not young.[(triple3)] Dave is red.[(triple1)] Dave is round.[(triple2)] Fiona is not furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple10 OR ((triple12) -> rule8))] Harry is not white.[(triple14)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple10) -> rule5))] Harry is round.[(triple13)] Harry is young.[(triple15)] @1: Dave is furry.[(((triple1) -> rule8))] Dave is quiet.[(((triple2 triple3) -> rule2))]