Charlie is rough. Erin is kind. Gary is big. Harry is nice. If someone is big and furry then they are rough. If someone is rough and kind then they are big. If Gary is smart and Gary is furry then Gary is nice. Green, smart people are kind. All green, big people are nice. If someone is big then they are rough.
Charlie is not rough.
@0: Charlie is rough.[(triple1)] Erin is kind.[(triple2)] Gary is big.[(triple3)] Harry is nice.[(triple4)] @1: Gary is rough.[(((triple3) -> rule6))]