Bob is blue. Bob is furry. Bob is quiet. Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is young. All cold, red people are furry. If someone is quiet and cold then they are furry. If someone is round and not red then they are not quiet.
Dave is not young.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple5 triple8) -> rule1) OR ((triple7 triple5) -> rule2))] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)]