Charlie is not green. Charlie is kind. Charlie is not nice. Charlie is quiet. Erin is kind. Erin is nice. Erin is smart. Fiona is nice. Fiona is quiet. Gary is big. Gary is not quiet. Gary is rough. Quiet people are not rough. If Erin is quiet then Erin is nice.
Gary is not big.
@0: Charlie is kind.[(triple2)] Charlie is not green.[(triple1)] Charlie is not nice.[(triple3)] Charlie is quiet.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Gary is big.[(triple10)] Gary is not quiet.[(triple11)] Gary is rough.[(triple12)] @1: Charlie is not rough.[(((triple4) -> rule1))] Fiona is not rough.[(((triple9) -> rule1))]