Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is not white. Charlie is not furry. Charlie is not kind. Charlie is not quiet. Charlie is white. Gary is blue. Gary is green. Gary is kind. All nice people are kind. If someone is quiet and not blue then they are kind. All quiet people are furry. All blue, nice people are quiet. If Bob is not quiet then Bob is white. If Bob is not green then Bob is not white. All green people are not white. If someone is green and not kind then they are white.
Charlie is blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not white.[(triple5 OR ((triple2) -> rule7))] Bob is quiet.[(triple4)] Charlie is not furry.[(triple6)] Charlie is not kind.[(triple7)] Charlie is not quiet.[(triple8)] Charlie is white.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] @1: Bob is furry.[(((triple4) -> rule3))] Gary is not white.[(((triple11) -> rule7))]