Dave is not white. Fiona is not furry. Fiona is green. Fiona is round. Gary is not furry. Gary is not green. Gary is not quiet. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is white. If something is furry and not quiet then it is green. If something is white and not cold then it is green. Round, quiet things are white. If Gary is round then Gary is nice. If something is nice then it is round. If Fiona is white and Fiona is green then Fiona is not round.
Harry is not quiet.
@0: Dave is not white.[(triple1)] Fiona is green.[(triple3)] Fiona is not furry.[(triple2)] Fiona is round.[(triple4)] Gary is not furry.[(triple5)] Gary is not green.[(triple6)] Gary is not quiet.[(triple7)] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] Harry is round.[(triple11 OR ((triple9) -> rule5))] Harry is white.[(triple12 OR ((triple11 triple10) -> rule3) OR ((((triple9) -> rule5) triple10) -> rule3))]