Anne is blue. Anne is kind. Anne is quiet. Anne is round. Anne is young. Bob is blue. Bob is furry. Bob is quiet. Bob is young. Dave is furry. Dave is young. Erin is kind. Erin is quiet. Erin is white. Erin is young. All white things are round. If something is quiet and furry then it is young. All white things are young. All round, kind things are furry. All kind, white things are quiet. If something is kind and blue then it is quiet.
Dave is furry.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 triple1) -> rule6))] Anne is round.[(triple4)] Anne is young.[(triple5 OR ((triple3 ((triple4 triple2) -> rule4)) -> rule2) OR ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule4)) -> rule2))] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is quiet.[(triple8)] Bob is young.[(triple9 OR ((triple8 triple7) -> rule2))] Dave is furry.[(triple10)] Dave is young.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13 OR ((triple12 triple14) -> rule5))] Erin is white.[(triple14)] Erin is young.[(triple15 OR ((triple14) -> rule3) OR ((triple13 ((((triple14) -> rule1) triple12) -> rule4)) -> rule2) OR ((((triple12 triple14) -> rule5) ((((triple14) -> rule1) triple12) -> rule4)) -> rule2))] @1: Anne is furry.[(((triple4 triple2) -> rule4))] Erin is round.[(((triple14) -> rule1))] @2: Erin is furry.[(((((triple14) -> rule1) triple12) -> rule4))]