Bob is furry. Bob is red. Bob is white. Bob is young. Dave is big. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is young. Gary is furry. Gary is quiet. If Dave is green then Dave is white. If Dave is young then Dave is furry. If something is red and quiet then it is furry.
Dave is not young.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6 OR ((triple10) -> rule2) OR ((triple9 triple8) -> rule3))] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10)] Gary is furry.[(triple11)] Gary is quiet.[(triple12)] @1: Dave is white.[(((triple7) -> rule1))]