Charlie is not kind. Charlie is nice. Charlie is rough. Erin is quiet. Gary is green. Gary is nice. Gary is rough. If something is green and not kind then it is blue. If something is blue then it is green. All nice things are quiet. All nice things are quiet. Nice things are quiet. All blue things are nice. If Erin is green and Erin is round then Erin is nice. If Gary is kind and Gary is not green then Gary is not rough.
Erin is not green.
@0: Charlie is nice.[(triple2)] Charlie is not kind.[(triple1)] Charlie is rough.[(triple3)] Erin is quiet.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is quiet.[(((triple2) -> rule3) OR ((triple2) -> rule4) OR ((triple2) -> rule5))] Gary is quiet.[(((triple6) -> rule3) OR ((triple6) -> rule4) OR ((triple6) -> rule5))]