Anne is not cold. Anne is quiet. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is not white. Gary is furry. Harry is cold. Harry is quiet. Harry is white. Harry is young. If something is quiet and white then it is rough. All young things are rough. All white things are not furry. If something is rough and not white then it is kind. If something is white and kind then it is not cold. If Fiona is not furry then Fiona is kind.
Anne is not rough.
@0: Anne is not cold.[(triple1)] Anne is quiet.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple6)] Gary is furry.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is not furry.[(((triple11) -> rule3))] Harry is rough.[(((triple12) -> rule2) OR ((triple10 triple11) -> rule1))]