Bob is not furry. Bob is red. Bob is smart. Bob is not white. Bob is not young. Charlie is not kind. Charlie is not red. Charlie is white. Charlie is young. Erin is not kind. Erin is not round. Erin is smart. Erin is not white. Fiona is not kind. Fiona is white. If someone is white then they are round. All red people are round. If Erin is round and Erin is young then Erin is red. If someone is furry and not red then they are kind. All white, round people are not kind. Kind people are furry. If someone is red and white then they are furry. If someone is white and not kind then they are smart.
Bob is not red.
@0: Bob is not furry.[(triple1)] Bob is not white.[(triple4)] Bob is not young.[(triple5)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Charlie is not kind.[(triple6 OR ((triple8 ((triple8) -> rule1)) -> rule5))] Charlie is not red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Erin is not kind.[(triple10)] Erin is not round.[(triple11)] Erin is not white.[(triple13)] Erin is smart.[(triple12)] Fiona is not kind.[(triple14 OR ((triple15 ((triple15) -> rule1)) -> rule5))] Fiona is white.[(triple15)] @1: Bob is round.[(((triple2) -> rule2))] Charlie is round.[(((triple8) -> rule1))] Charlie is smart.[(((triple8 triple6) -> rule8) OR ((triple8 ((triple8 ((triple8) -> rule1)) -> rule5)) -> rule8))] Fiona is round.[(((triple15) -> rule1))] Fiona is smart.[(((triple15 triple14) -> rule8) OR ((triple15 ((triple15 ((triple15) -> rule1)) -> rule5)) -> rule8))]