Bob is big. Bob is kind. Bob is not nice. Charlie is big. Charlie is not white. Fiona is kind. Gary is nice. If Bob is big and Bob is kind then Bob is white. If something is white and not big then it is kind.
Charlie is not kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Charlie is big.[(triple4)] Charlie is not white.[(triple5)] Fiona is kind.[(triple6)] Gary is nice.[(triple7)] @1: Bob is white.[(((triple1 triple2) -> rule1))]