Anne is furry. Anne is green. Anne is quiet. Anne is round. Anne is white. Anne is young. Bob is quiet. Bob is round. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is young. Erin is green. Erin is quiet. Erin is round. All young people are furry. All kind people are white.
Erin is quiet.
@0: Anne is furry.[(triple1 OR ((triple6) -> rule1))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Bob is quiet.[(triple7)] Bob is round.[(triple8)] Charlie is furry.[(triple9 OR ((triple13) -> rule1))] Charlie is green.[(triple10)] Charlie is kind.[(triple11)] Charlie is quiet.[(triple12)] Charlie is young.[(triple13)] Erin is green.[(triple14)] Erin is quiet.[(triple15)] Erin is round.[(triple16)] @1: Charlie is white.[(((triple11) -> rule2))]