Dave is white. Fiona is rough. Harry is big. Harry is not furry. Harry is kind. Harry is nice. Harry is rough. All cold, big things are nice. If something is nice and rough then it is white.
Fiona is not nice.
@0: Dave is white.[(triple1)] Fiona is rough.[(triple2)] Harry is big.[(triple3)] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is not furry.[(triple4)] Harry is rough.[(triple7)] @1: Harry is white.[(((triple6 triple7) -> rule2))]