Anne is big. Anne is quiet. Anne is white. Anne is young. Bob is big. Bob is kind. Bob is young. Dave is furry. Dave is kind. Dave is quiet. Harry is big. Harry is white. All blue, quiet things are young. Blue, big things are kind. All kind, blue things are quiet. Young things are furry. Kind things are quiet. White, big things are blue.
Dave is quiet.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((((((triple3 triple1) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((triple3 triple1) -> rule6) triple1) -> rule2) ((triple3 triple1) -> rule6)) -> rule3))] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((((triple3 triple1) -> rule6) triple2) -> rule1) OR ((((triple3 triple1) -> rule6) ((((((triple3 triple1) -> rule6) triple1) -> rule2)) -> rule5)) -> rule1) OR ((((triple3 triple1) -> rule6) ((((((triple3 triple1) -> rule6) triple1) -> rule2) ((triple3 triple1) -> rule6)) -> rule3)) -> rule1))] Bob is big.[(triple5)] Bob is kind.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10 OR ((triple9) -> rule5))] Harry is big.[(triple11)] Harry is white.[(triple12)] @1: Anne is blue.[(((triple3 triple1) -> rule6))] Anne is furry.[(((triple4) -> rule4) OR ((((((triple3 triple1) -> rule6) triple2) -> rule1)) -> rule4) OR ((((((triple3 triple1) -> rule6) ((((((triple3 triple1) -> rule6) triple1) -> rule2)) -> rule5)) -> rule1)) -> rule4) OR ((((((triple3 triple1) -> rule6) ((((((triple3 triple1) -> rule6) triple1) -> rule2) ((triple3 triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4))] Bob is furry.[(((triple7) -> rule4))] Bob is quiet.[(((triple6) -> rule5))] Harry is blue.[(((triple12 triple11) -> rule6))] @2: Anne is kind.[(((((triple3 triple1) -> rule6) triple1) -> rule2))] Harry is kind.[(((((triple12 triple11) -> rule6) triple11) -> rule2))] @3: Harry is quiet.[(((((((triple12 triple11) -> rule6) triple11) -> rule2)) -> rule5) OR ((((((triple12 triple11) -> rule6) triple11) -> rule2) ((triple12 triple11) -> rule6)) -> rule3))] @4: Harry is young.[(((((triple12 triple11) -> rule6) ((((((triple12 triple11) -> rule6) triple11) -> rule2)) -> rule5)) -> rule1) OR ((((triple12 triple11) -> rule6) ((((((triple12 triple11) -> rule6) triple11) -> rule2) ((triple12 triple11) -> rule6)) -> rule3)) -> rule1))] @5: Harry is furry.[(((((((triple12 triple11) -> rule6) ((((((triple12 triple11) -> rule6) triple11) -> rule2)) -> rule5)) -> rule1)) -> rule4) OR ((((((triple12 triple11) -> rule6) ((((((triple12 triple11) -> rule6) triple11) -> rule2) ((triple12 triple11) -> rule6)) -> rule3)) -> rule1)) -> rule4))]