Fiona is kind. Fiona is not quiet. Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is white. Quiet, furry things are red. If Harry is kind then Harry is not white. If Fiona is quiet and Fiona is not red then Fiona is cold.
Fiona is not red.
@0: Fiona is kind.[(triple1)] Fiona is not quiet.[(triple2)] Harry is big.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Harry is red.[(((triple6 triple5) -> rule1))]