Charlie is furry. Charlie is kind. Charlie is round. Dave is not quiet. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is not quiet. Harry is cold. Harry is round. If something is cold then it is kind. If something is green and not white then it is not round. If something is white then it is green. If something is round and not green then it is furry. All furry, green things are quiet. If something is cold and not kind then it is quiet.
Fiona is round.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Dave is not quiet.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple7)] Fiona is not green.[(triple6)] Fiona is not quiet.[(triple8)] Harry is cold.[(triple9)] Harry is round.[(triple10)] @1: Harry is kind.[(((triple9) -> rule1))]