Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is red. Charlie is smart. Charlie is not white. Dave is not blue. Dave is not red. Dave is white. Fiona is white. If Fiona is blue and Fiona is nice then Fiona is cold. If Fiona is cold then Fiona is red. If someone is white then they are cold. If Fiona is red then Fiona is not furry. If Dave is cold and Dave is not white then Dave is not nice. If Charlie is not blue and Charlie is not cold then Charlie is furry.
Fiona is smart.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not white.[(triple6)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Dave is not blue.[(triple7)] Dave is not red.[(triple8)] Dave is white.[(triple9)] Fiona is white.[(triple10)] @1: Dave is cold.[(((triple9) -> rule3))] Fiona is cold.[(((triple10) -> rule3))] @2: Fiona is red.[(((((triple10) -> rule3)) -> rule2))] @3: Fiona is not furry.[(((((((triple10) -> rule3)) -> rule2)) -> rule4))]