Anne is big. Anne is green. Anne is kind. Anne is young. Bob is blue. Bob is round. Dave is big. Dave is blue. Harry is kind. Harry is round. All young, big people are green. All big people are white. All round people are young. All kind people are round. If someone is green then they are kind. If Harry is blue then Harry is round. White people are kind.
Bob is kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple1) -> rule1) OR ((((((triple3) -> rule4)) -> rule3) triple1) -> rule1) OR ((((((((((triple1) -> rule2)) -> rule7)) -> rule4)) -> rule3) triple1) -> rule1))] Anne is kind.[(triple3 OR ((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule7) OR ((((triple4 triple1) -> rule1)) -> rule5))] Anne is young.[(triple4 OR ((((triple3) -> rule4)) -> rule3) OR ((((((triple2) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule2)) -> rule7)) -> rule4)) -> rule3))] Bob is blue.[(triple5)] Bob is round.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10 OR ((triple9) -> rule4))] @1: Anne is round.[(((triple3) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((((triple1) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple1) -> rule1)) -> rule5)) -> rule4))] Anne is white.[(((triple1) -> rule2))] Bob is young.[(((triple6) -> rule3))] Dave is white.[(((triple7) -> rule2))] Harry is young.[(((triple10) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] @2: Dave is kind.[(((((triple7) -> rule2)) -> rule7))] @3: Dave is round.[(((((((triple7) -> rule2)) -> rule7)) -> rule4))] @4: Dave is young.[(((((((((triple7) -> rule2)) -> rule7)) -> rule4)) -> rule3))] @5: Dave is green.[(((((((((((triple7) -> rule2)) -> rule7)) -> rule4)) -> rule3) triple7) -> rule1))]