Charlie is blue. Charlie is not green. Charlie is kind. Charlie is not quiet. Charlie is white. Erin is kind. Erin is not red. Fiona is green. Harry is big. Harry is quiet. Harry is red. Harry is white. If something is red and not quiet then it is not blue. Red things are blue. Quiet, red things are big. If Charlie is blue and Charlie is not red then Charlie is white. All red, kind things are green. If something is quiet and not big then it is kind. If something is green and not red then it is white. If something is green and not quiet then it is white.
Erin is not kind.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is not green.[(triple2)] Charlie is not quiet.[(triple4)] Charlie is white.[(triple5)] Erin is kind.[(triple6)] Erin is not red.[(triple7)] Fiona is green.[(triple8)] Harry is big.[(triple9 OR ((triple10 triple11) -> rule3))] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Harry is blue.[(((triple11) -> rule2))]