Anne is kind. Anne is round. Charlie is cold. Charlie is rough. Charlie is not round. Dave is furry. Dave is round. Dave is young. Erin is rough. Erin is young. If Erin is round and Erin is not rough then Erin is kind. If Dave is round then Dave is furry. If Charlie is rough then Charlie is not furry. Kind people are not young. If Charlie is not furry then Charlie is kind. If Erin is young and Erin is furry then Erin is quiet. Quiet people are kind. Young, quiet people are kind.
Anne is quiet.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is not round.[(triple5)] Charlie is rough.[(triple4)] Dave is furry.[(triple6 OR ((triple7) -> rule2))] Dave is round.[(triple7)] Dave is young.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Anne is not young.[(((triple1) -> rule4))] Charlie is not furry.[(((triple4) -> rule3))] @2: Charlie is kind.[(((((triple4) -> rule3)) -> rule5))] @3: Charlie is not young.[(((((((triple4) -> rule3)) -> rule5)) -> rule4))]