Bob is blue. Bob is not rough. Erin is big. Erin is not green. Erin is round. Erin is young. Harry is rough. If someone is round then they are not white.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is not rough.[(triple2)] Erin is big.[(triple3)] Erin is not green.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Harry is rough.[(triple7)] @1: Erin is not white.[(((triple5) -> rule1))]