Bob is white. Erin is nice. If something is nice then it is big. All blue, big things are rough. All white things are kind. If something is kind then it is rough. Blue, white things are big. All rough, blue things are white. If Erin is blue and Erin is green then Erin is white. Rough things are white.
Bob is not white.
@0: Bob is white.[(triple1)] Erin is nice.[(triple2)] @1: Bob is kind.[(((triple1) -> rule3))] Erin is big.[(((triple2) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule3)) -> rule4))]