Bob is furry. Bob is round. Bob is white. Fiona is not quiet. Fiona is young. Gary is red. Gary is white. If something is young and not furry then it is round. Furry things are round. If Bob is white and Bob is not round then Bob is not red. If something is white and not big then it is quiet. If something is big and not round then it is white. Big, young things are white. If something is big and not white then it is not red. If something is furry and not round then it is red.
Bob is not white.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2 OR ((triple1) -> rule2))] Bob is white.[(triple3)] Fiona is not quiet.[(triple4)] Fiona is young.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)]