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