Bob is green. Charlie is big. Erin is quiet. All quiet, rough people are not young. Kind people are white. All big people are white. If someone is green then they are rough. If someone is rough and white then they are not kind. Big people are green.
Bob is not white.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2)] Erin is quiet.[(triple3)] @1: Bob is rough.[(((triple1) -> rule4))] Charlie is green.[(((triple2) -> rule6))] Charlie is white.[(((triple2) -> rule3))] @2: Charlie is rough.[(((((triple2) -> rule6)) -> rule4))] @3: Charlie is not kind.[(((((((triple2) -> rule6)) -> rule4) ((triple2) -> rule3)) -> rule5))]