Dave is nice. Fiona is nice. Fiona is white. Gary is big. Gary is quiet. Harry is cold. Harry is nice. All red things are quiet. If something is furry and quiet then it is white. All white things are nice. If Harry is red then Harry is quiet. All nice, furry things are quiet. If Harry is red and Harry is furry then Harry is cold. If something is big and quiet then it is white. Furry things are cold.
Fiona is not nice.
@0: Dave is nice.[(triple1)] Fiona is nice.[(triple2 OR ((triple3) -> rule3))] Fiona is white.[(triple3)] Gary is big.[(triple4)] Gary is quiet.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] @1: Gary is white.[(((triple4 triple5) -> rule7))] @2: Gary is nice.[(((((triple4 triple5) -> rule7)) -> rule3))]