Bob is not blue. Bob is cold. Bob is rough. Charlie is blue. Charlie is not cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Erin is blue. Erin is nice. Erin is not quiet. All nice, cold things are blue. All quiet, rough things are blue. All nice, smart things are blue. All green, smart things are not cold. If Charlie is quiet then Charlie is green. If Erin is rough and Erin is cold then Erin is blue. Nice, smart things are quiet. If Bob is cold and Bob is rough then Bob is not quiet.
Bob is not green.
@0: Bob is cold.[(triple2)] Bob is not blue.[(triple1)] Bob is rough.[(triple3)] Charlie is blue.[(triple4 OR ((triple7 triple9) -> rule3) OR ((((triple7 triple9) -> rule7) triple8) -> rule2))] Charlie is green.[(triple6 OR ((((triple7 triple9) -> rule7)) -> rule5))] Charlie is nice.[(triple7)] Charlie is not cold.[(triple5 OR ((triple6 triple9) -> rule4) OR ((((((triple7 triple9) -> rule7)) -> rule5) triple9) -> rule4))] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Erin is blue.[(triple10)] Erin is nice.[(triple11)] Erin is not quiet.[(triple12)] @1: Bob is not quiet.[(((triple2 triple3) -> rule8))] Charlie is quiet.[(((triple7 triple9) -> rule7))]