Bob is green. Bob is not red. Bob is rough. Bob is white. Charlie is cold. Charlie is red. Charlie is rough. Charlie is young. Erin is not white. Fiona is red. If Erin is white then Erin is red. If Charlie is white then Charlie is not red. All white, red people are quiet. If someone is green then they are white. All red people are not white. If Erin is young then Erin is not rough. If Charlie is cold and Charlie is not green then Charlie is rough. If someone is young and not red then they are cold.
Bob is young.
@0: Bob is green.[(triple1)] Bob is not red.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4 OR ((triple1) -> rule4))] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Charlie is young.[(triple8)] Erin is not white.[(triple9)] Fiona is red.[(triple10)] @1: Charlie is not white.[(((triple6) -> rule5))] Fiona is not white.[(((triple10) -> rule5))]