Charlie is big. Charlie is not green. Charlie is not rough. Erin is green. Erin is nice. Gary is big. Harry is not big. Green people are smart. Rough people are white. If Erin is smart and Erin is not white then Erin is not nice.
Harry is not white.
@0: Charlie is big.[(triple1)] Charlie is not green.[(triple2)] Charlie is not rough.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Gary is big.[(triple6)] Harry is not big.[(triple7)] @1: Erin is smart.[(((triple4) -> rule1))]