Bob is blue. Bob is cold. Bob is green. Bob is rough. Bob is smart. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is not quiet. Erin is not rough. Erin is smart. If something is rough and not cold then it is quiet. If something is smart and not rough then it is blue. Quiet, cold things are blue. If Bob is cold and Bob is not quiet then Bob is smart. If Bob is not smart then Bob is blue. If something is nice and not blue then it is green.
Erin is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Erin is blue.[(triple6 OR ((triple12 triple11) -> rule2))] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is not quiet.[(triple10)] Erin is not rough.[(triple11)] Erin is smart.[(triple12)]