Bob is blue. Bob is kind. Charlie is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is rough. Gary is cold. Gary is kind. Gary is quiet. If Charlie is kind then Charlie is white. All cold people are blue. If someone is cold and kind then they are blue. Quiet, smart people are white. Cold people are rough. If someone is rough and quiet then they are cold. Smart people are quiet. If Gary is blue and Gary is cold then Gary is rough.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Charlie is blue.[(triple3)] Erin is cold.[(triple4 OR ((triple7 triple6) -> rule6))] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7 OR ((triple4) -> rule5))] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is quiet.[(triple10)] @1: Erin is blue.[(((triple4) -> rule2) OR ((triple4 triple5) -> rule3) OR ((((triple7 triple6) -> rule6)) -> rule2) OR ((((triple7 triple6) -> rule6) triple5) -> rule3))] Gary is blue.[(((triple8) -> rule2) OR ((triple8 triple9) -> rule3))] Gary is rough.[(((triple8) -> rule5) OR ((((triple8) -> rule2) triple8) -> rule8) OR ((((triple8 triple9) -> rule3) triple8) -> rule8))]