Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is white. Bob is young. Dave is kind. Dave is quiet. Dave is young. Red, blue people are young. If Dave is quiet then Dave is blue. All blue people are red.
Dave is not red.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple1) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple5 triple1) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule1))] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is young.[(triple10 OR ((((((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule1))] @1: Dave is blue.[(((triple9) -> rule2))] @2: Dave is red.[(((((triple9) -> rule2)) -> rule3))]