Anne is big. Anne is green. Bob is green. Charlie is blue. Charlie is nice. Dave is nice. Dave is quiet. Green people are blue. All blue people are big. All big, nice people are kind. Kind people are round. All round people are green. All quiet people are big. Blue people are quiet. Big, quiet people are kind. All blue, quiet people are kind.
Charlie is nice.
@0: Anne is big.[(triple1 OR ((((triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule1)) -> rule7)) -> rule6))] Anne is green.[(triple2)] Bob is green.[(triple3)] Charlie is blue.[(triple4)] Charlie is nice.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] @1: Anne is blue.[(((triple2) -> rule1))] Bob is blue.[(((triple3) -> rule1))] Charlie is big.[(((triple4) -> rule2) OR ((((triple4) -> rule7)) -> rule6))] Charlie is quiet.[(((triple4) -> rule7))] Dave is big.[(((triple7) -> rule6))] @2: Anne is quiet.[(((((triple2) -> rule1)) -> rule7))] Bob is big.[(((((triple3) -> rule1)) -> rule2) OR ((((((triple3) -> rule1)) -> rule7)) -> rule6))] Bob is quiet.[(((((triple3) -> rule1)) -> rule7))] Charlie is kind.[(((triple4 ((triple4) -> rule7)) -> rule9) OR ((((triple4) -> rule2) triple5) -> rule3) OR ((((triple4) -> rule2) ((triple4) -> rule7)) -> rule8) OR ((((((triple4) -> rule7)) -> rule6) triple5) -> rule3) OR ((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule8))] Dave is kind.[(((((triple7) -> rule6) triple6) -> rule3) OR ((((triple7) -> rule6) triple7) -> rule8))] @3: Anne is kind.[(((triple1 ((((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule7)) -> rule9) OR ((((((triple2) -> rule1)) -> rule2) ((((triple2) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple2) -> rule1)) -> rule7)) -> rule6) ((((triple2) -> rule1)) -> rule7)) -> rule8))] Bob is kind.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule7)) -> rule9) OR ((((((triple3) -> rule1)) -> rule2) ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule7)) -> rule8))] Charlie is round.[(((((triple4 ((triple4) -> rule7)) -> rule9)) -> rule4) OR ((((((triple4) -> rule2) triple5) -> rule3)) -> rule4) OR ((((((triple4) -> rule2) ((triple4) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule6) triple5) -> rule3)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule8)) -> rule4))] Dave is round.[(((((((triple7) -> rule6) triple6) -> rule3)) -> rule4) OR ((((((triple7) -> rule6) triple7) -> rule8)) -> rule4))] @4: Anne is round.[(((((triple1 ((((triple2) -> rule1)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule7)) -> rule9)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2) ((((triple2) -> rule1)) -> rule7)) -> rule8)) -> rule4) OR ((((((((((triple2) -> rule1)) -> rule7)) -> rule6) ((((triple2) -> rule1)) -> rule7)) -> rule8)) -> rule4))] Bob is round.[(((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule7)) -> rule9)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule2) ((((triple3) -> rule1)) -> rule7)) -> rule8)) -> rule4) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule7)) -> rule8)) -> rule4))] Charlie is green.[(((((((triple4 ((triple4) -> rule7)) -> rule9)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule2) triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule2) ((triple4) -> rule7)) -> rule8)) -> rule4)) -> rule5) OR ((((((((((triple4) -> rule7)) -> rule6) triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule8)) -> rule4)) -> rule5))] Dave is green.[(((((((((triple7) -> rule6) triple6) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule6) triple7) -> rule8)) -> rule4)) -> rule5))] @5: Dave is blue.[(((((((((((triple7) -> rule6) triple6) -> rule3)) -> rule4)) -> rule5)) -> rule1) OR ((((((((((triple7) -> rule6) triple7) -> rule8)) -> rule4)) -> rule5)) -> rule1))]