Bob is kind. Bob is nice. Bob is white. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Gary is furry. Gary is nice. Gary is round. If Bob is young and Bob is kind then Bob is white. All furry things are white.
Charlie is not kind.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is round.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] @1: Charlie is white.[(((triple5) -> rule2))] Gary is white.[(((triple8) -> rule2))]