Anne is blue. Anne is furry. Anne is quiet. Anne is round. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is round. Blue things are quiet. If Anne is blue then Anne is quiet.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule1) OR ((triple1) -> rule2))] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8 OR ((triple5) -> rule1))] Bob is red.[(triple9)] Bob is round.[(triple10)]