Charlie is big. Charlie is not cold. Charlie is not nice. Erin is cold. Erin is not green. Erin is nice. Erin is red. Erin is white. Gary is quiet. Gary is white. If Gary is not red then Gary is white. All red people are cold. If Erin is green and Erin is not quiet then Erin is nice. If Gary is nice then Gary is big. All quiet, big people are green. All white people are nice.
Gary is nice.
@0: Charlie is big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not nice.[(triple3)] Erin is cold.[(triple4 OR ((triple7) -> rule2))] Erin is nice.[(triple6 OR ((triple8) -> rule6))] Erin is not green.[(triple5)] Erin is red.[(triple7)] Erin is white.[(triple8)] Gary is quiet.[(triple9)] Gary is white.[(triple10)] @1: Gary is nice.[(((triple10) -> rule6))] @2: Gary is big.[(((((triple10) -> rule6)) -> rule4))] @3: Gary is green.[(((triple9 ((((triple10) -> rule6)) -> rule4)) -> rule5))]