Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is not red. Bob is round. Bob is young. If something is cold then it is round. If something is cold then it is not red. If Bob is not cold then Bob is nice. Young things are quiet. If something is cold and not young then it is furry. If Bob is cold and Bob is not quiet then Bob is not furry.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not red.[(triple5 OR ((triple1) -> rule2))] Bob is quiet.[(triple4 OR ((triple7) -> rule4))] Bob is round.[(triple6 OR ((triple1) -> rule1))] Bob is young.[(triple7)]