Bob is not blue. Bob is cold. Bob is not quiet. Bob is red. Bob is rough. Bob is white. Charlie is green. Charlie is quiet. Charlie is rough. Erin is cold. Erin is not green. Erin is quiet. White, quiet people are not rough. All quiet people are blue.
Charlie is red.
@0: Bob is cold.[(triple2)] Bob is not blue.[(triple1)] Bob is not quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Charlie is green.[(triple7)] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Erin is cold.[(triple10)] Erin is not green.[(triple11)] Erin is quiet.[(triple12)] @1: Charlie is blue.[(((triple8) -> rule2))] Erin is blue.[(((triple12) -> rule2))]