Charlie is quiet. Charlie is red. Charlie is white. Erin is not big. Erin is green. Erin is not quiet. Erin is red. Erin is rough. Gary is blue. Gary is green. Gary is not red. Gary is rough. Harry is not blue. Harry is green. Harry is not red. Harry is white. White people are green. Green people are white.
Charlie is blue.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Erin is green.[(triple5)] Erin is not big.[(triple4)] Erin is not quiet.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is not red.[(triple11)] Gary is rough.[(triple12)] Harry is green.[(triple14 OR ((triple16) -> rule1))] Harry is not blue.[(triple13)] Harry is not red.[(triple15)] Harry is white.[(triple16 OR ((triple14) -> rule2))] @1: Charlie is green.[(((triple3) -> rule1))] Erin is white.[(((triple5) -> rule2))] Gary is white.[(((triple10) -> rule2))]