Anne is not blue. Anne is not furry. Anne is not green. Anne is kind. Anne is white. Bob is blue. Bob is furry. Bob is smart. Bob is white. Bob is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is white. Charlie is not young. If someone is smart then they are blue. If Anne is furry then Anne is not green. If Anne is blue and Anne is not young then Anne is not kind. If Bob is white then Bob is young. If someone is green and kind then they are white. If someone is young and not green then they are white.
Anne is blue.
@0: Anne is kind.[(triple4)] Anne is not blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not green.[(triple3)] Anne is white.[(triple5)] Bob is blue.[(triple6 OR ((triple8) -> rule1))] Bob is furry.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10 OR ((triple9) -> rule4))] Charlie is blue.[(triple11)] Charlie is furry.[(triple12)] Charlie is green.[(triple13)] Charlie is kind.[(triple14)] Charlie is not young.[(triple16)] Charlie is white.[(triple15 OR ((triple13 triple14) -> rule5))]