Bob is not blue. Bob is kind. Bob is not white. Bob is young. Charlie is not blue. Charlie is furry. Charlie is round. Charlie is white. Charlie is young. Fiona is blue. Fiona is furry. Fiona is not kind. If someone is kind and round then they are white. Nice people are white. If someone is white then they are not kind. Furry people are not nice. Kind people are not nice. White, young people are furry. All young, nice people are furry. All nice people are not young.
Charlie is not blue.
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1)] Bob is not white.[(triple3)] Bob is young.[(triple4)] Charlie is furry.[(triple6 OR ((triple8 triple9) -> rule6))] Charlie is not blue.[(triple5)] Charlie is round.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is not kind.[(triple12)] @1: Bob is not nice.[(((triple2) -> rule5))] Charlie is not kind.[(((triple8) -> rule3))] Charlie is not nice.[(((triple6) -> rule4) OR ((((triple8 triple9) -> rule6)) -> rule4))] Fiona is not nice.[(((triple11) -> rule4))]