Dave is white. Fiona is not furry. Fiona is nice. Fiona is round. Fiona is smart. Fiona is not white. Gary is cold. Gary is quiet. Gary is round. Gary is white. If someone is nice and quiet then they are not furry. If someone is quiet then they are nice. If someone is smart and not nice then they are round. If someone is white and not nice then they are smart. If Dave is white and Dave is not furry then Dave is not cold. If Dave is not round then Dave is cold.
Dave is not nice.
@0: Dave is white.[(triple1)] Fiona is nice.[(triple3)] Fiona is not furry.[(triple2)] Fiona is not white.[(triple6)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Gary is cold.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Gary is nice.[(((triple8) -> rule2))] @2: Gary is not furry.[(((((triple8) -> rule2) triple8) -> rule1))]