Anne is quiet. Anne is not red. Anne is rough. Anne is smart. Bob is not blue. Bob is not furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Erin is blue. Fiona is furry. Fiona is not quiet. Fiona is rough. Fiona is not smart. If Fiona is furry then Fiona is not red. If someone is furry and not red then they are blue.
Anne is not blue.
@0: Anne is not red.[(triple2)] Anne is quiet.[(triple1)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple7)] Bob is not blue.[(triple5)] Bob is not furry.[(triple6)] Bob is quiet.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Erin is blue.[(triple11)] Fiona is furry.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not smart.[(triple15)] Fiona is rough.[(triple14)] @1: Fiona is not red.[(((triple12) -> rule1))] @2: Fiona is blue.[(((triple12 ((triple12) -> rule1)) -> rule2))]