Anne is furry. Anne is nice. Anne is round. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is round. Charlie is rough. Erin is quiet. If something is quiet and cold then it is furry. All blue things are round.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is nice.[(triple6)] Bob is quiet.[(triple7)] Bob is round.[(triple8 OR ((triple4) -> rule2))] Charlie is rough.[(triple9)] Erin is quiet.[(triple10)]