Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is young. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is young. If Charlie is furry and Charlie is green then Charlie is round.
Bob is not white.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is quiet.[(triple9)] Charlie is young.[(triple10)] @1: Charlie is round.[(((triple7 triple8) -> rule1))]