Anne is not furry. Anne is nice. Anne is red. Anne is rough. Anne is white. Erin is not furry. Erin is rough. Erin is white. Fiona is cold. Fiona is furry. Fiona is not quiet. Fiona is not rough. Harry is cold. Harry is not nice. Harry is quiet. If someone is red then they are white.
Harry is rough.
@0: Anne is nice.[(triple2)] Anne is not furry.[(triple1)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5 OR ((triple3) -> rule1))] Erin is not furry.[(triple6)] Erin is rough.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is not rough.[(triple12)] Harry is cold.[(triple13)] Harry is not nice.[(triple14)] Harry is quiet.[(triple15)]