Anne is big. Erin is white. Gary is not kind. Harry is young. If Gary is young then Gary is not big. White people are not smart. All smart people are kind.
Harry is not big.
@0: Anne is big.[(triple1)] Erin is white.[(triple2)] Gary is not kind.[(triple3)] Harry is young.[(triple4)] @1: Erin is not smart.[(((triple2) -> rule2))]