Bob is big. Bob is green. Bob is quiet. Bob is white. Charlie is furry. Charlie is green. Charlie is white. Dave is not quiet. Fiona is cold. Fiona is green. Fiona is not quiet. Fiona is not white. All big, green people are quiet. Big, cold people are not quiet. If Bob is white and Bob is not red then Bob is big. If Bob is cold and Bob is not green then Bob is big. If Bob is green and Bob is furry then Bob is cold. If Charlie is not big then Charlie is red. If Fiona is furry then Fiona is red. If Fiona is furry and Fiona is not quiet then Fiona is red.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3 OR ((triple1 triple2) -> rule1))] Bob is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is white.[(triple7)] Dave is not quiet.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is not white.[(triple12)]