Anne is not nice. Anne is round. Charlie is furry. Charlie is kind. Charlie is round. Charlie is white. Dave is not big. Dave is not furry. Dave is nice. Dave is round. Dave is white. Dave is young. Erin is big. Erin is furry. Erin is round. Big, kind people are young. If someone is white and big then they are round. If Erin is nice then Erin is not big. Young people are white. If someone is young then they are white. Kind people are furry. If Anne is round then Anne is young. If Erin is young and Erin is not white then Erin is round.
Charlie is furry.
@0: Anne is not nice.[(triple1)] Anne is round.[(triple2)] Charlie is furry.[(triple3 OR ((triple4) -> rule6))] Charlie is kind.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is nice.[(triple9)] Dave is not big.[(triple7)] Dave is not furry.[(triple8)] Dave is round.[(triple10)] Dave is white.[(triple11 OR ((triple12) -> rule4) OR ((triple12) -> rule5))] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is furry.[(triple14)] Erin is round.[(triple15)] @1: Anne is young.[(((triple2) -> rule7))] @2: Anne is white.[(((((triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule7)) -> rule5))]