Dave is not cold. Dave is furry. Dave is quiet. Dave is round. Erin is cold. Erin is not furry. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Harry is not furry. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If something is round and not nice then it is not furry. Nice things are white.
Erin is not round.
@0: Dave is furry.[(triple2)] Dave is not cold.[(triple1)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple7)] Erin is not furry.[(triple6)] Erin is not round.[(triple9)] Erin is quiet.[(triple8)] Erin is white.[(triple10 OR ((triple7) -> rule2))] Harry is nice.[(triple12)] Harry is not furry.[(triple11)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Harry is white.[(((triple12) -> rule2))]