Anne is green. Anne is red. Bob is cold. Bob is rough. Bob is smart. Bob is white. Erin is cold. Erin is quiet. Erin is red. Erin is not white. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is not white. Rough, cold things are red. If Anne is white and Anne is cold then Anne is not quiet. Rough, green things are not white. If something is cold and not rough then it is white. If Anne is cold then Anne is not red. If Bob is green and Bob is not red then Bob is not quiet. All quiet, rough things are not smart. If something is cold and not quiet then it is not smart.
Erin is not quiet.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Bob is cold.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Erin is cold.[(triple7)] Erin is not white.[(triple10)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is not white.[(triple15)] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)] @1: Bob is red.[(((triple4 triple3) -> rule1))]