Dave is cold. Dave is smart. Dave is not white. Erin is big. Erin is not blue. Erin is smart. Fiona is not big. Fiona is smart. Harry is not cold. Harry is white. Big things are quiet. All red, blue things are smart. If Harry is red then Harry is white. If something is cold and not quiet then it is red. Cold, smart things are not red. If Harry is white and Harry is smart then Harry is not blue.
Fiona is cold.
@0: Dave is cold.[(triple1)] Dave is not white.[(triple3)] Dave is smart.[(triple2)] Erin is big.[(triple4)] Erin is not blue.[(triple5)] Erin is smart.[(triple6)] Fiona is not big.[(triple7)] Fiona is smart.[(triple8)] Harry is not cold.[(triple9)] Harry is white.[(triple10)] @1: Dave is not red.[(((triple1 triple2) -> rule5))] Erin is quiet.[(((triple4) -> rule1))]