Bob is kind. Bob is nice. Bob is white. Charlie is white. Charlie is young. Dave is blue. Dave is furry. Dave is nice. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is kind. Erin is red. Erin is young. If Charlie is red then Charlie is furry. If Dave is red and Dave is kind then Dave is white. If Erin is not white then Erin is nice. Kind, young people are furry. If someone is red and not blue then they are furry. If someone is furry and blue then they are nice. White people are red. Red, white people are young.
Dave is not kind.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5 OR ((((triple4) -> rule7) triple4) -> rule8))] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8 OR ((triple7 triple6) -> rule6))] Dave is red.[(triple9 OR ((triple10) -> rule7))] Dave is white.[(triple10)] Dave is young.[(triple11 OR ((triple9 triple10) -> rule8) OR ((((triple10) -> rule7) triple10) -> rule8))] Erin is blue.[(triple12)] Erin is kind.[(triple13)] Erin is red.[(triple14)] Erin is young.[(triple15)] @1: Bob is red.[(((triple3) -> rule7))] Charlie is red.[(((triple4) -> rule7))] Erin is furry.[(((triple13 triple15) -> rule4))] @2: Bob is young.[(((((triple3) -> rule7) triple3) -> rule8))] Charlie is furry.[(((((triple4) -> rule7)) -> rule1))] Erin is nice.[(((((triple13 triple15) -> rule4) triple12) -> rule6))] @3: Bob is furry.[(((triple1 ((((triple3) -> rule7) triple3) -> rule8)) -> rule4))]