Charlie is furry. Charlie is green. Charlie is nice. Charlie is not round. Charlie is not white. Fiona is furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is not round. Gary is cold. Gary is not furry. Gary is nice. Harry is green. Harry is round. Harry is not white. If Charlie is quiet then Charlie is green. Cold people are quiet. Quiet people are not round.
Charlie is quiet.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is not round.[(triple4)] Charlie is not white.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple8)] Fiona is not green.[(triple7)] Fiona is not round.[(triple10 OR ((triple9) -> rule3))] Fiona is quiet.[(triple9)] Gary is cold.[(triple11)] Gary is nice.[(triple13)] Gary is not furry.[(triple12)] Harry is green.[(triple14)] Harry is not white.[(triple16)] Harry is round.[(triple15)] @1: Gary is quiet.[(((triple11) -> rule2))] @2: Gary is not round.[(((((triple11) -> rule2)) -> rule3))]