Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is not white. Bob is not young. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is not nice. Charlie is white. Fiona is blue. Gary is big. Gary is not furry. Gary is quiet. If something is furry and not young then it is blue.
Gary is not furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple6) -> rule1))] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is not white.[(triple5)] Bob is not young.[(triple6)] Charlie is big.[(triple7)] Charlie is furry.[(triple9)] Charlie is not blue.[(triple8)] Charlie is not nice.[(triple10)] Charlie is white.[(triple11)] Fiona is blue.[(triple12)] Gary is big.[(triple13)] Gary is not furry.[(triple14)] Gary is quiet.[(triple15)]