Bob is big. Bob is white. Erin is big. Erin is kind. Erin is rough. Gary is white. Harry is white. All kind people are round.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Erin is big.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Gary is white.[(triple6)] Harry is white.[(triple7)] @1: Erin is round.[(((triple4) -> rule1))]