Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Harry is nice. All blue, nice things are quiet. All smart, big things are green. If something is nice then it is green. If something is green then it is nice. Quiet, blue things are smart. If something is smart and blue then it is nice. All green, nice things are blue. If Harry is quiet and Harry is white then Harry is smart.
Harry is white.
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple3) -> rule3) OR ((triple5 triple1) -> rule2))] Dave is nice.[(triple3 OR ((triple2) -> rule4) OR ((((triple5 triple1) -> rule2)) -> rule4))] Dave is quiet.[(triple4 OR ((((triple2 triple3) -> rule7) triple3) -> rule1) OR ((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule7) triple3) -> rule1) OR ((((triple2 triple3) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) triple3) -> rule1) OR ((((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) triple3) -> rule1) OR ((((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) triple3) -> rule1) OR ((((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) OR ((((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule1))] Dave is smart.[(triple5 OR ((triple4 ((triple2 triple3) -> rule7)) -> rule5) OR ((triple4 ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) triple3) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((triple2 ((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1) ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule5))] Dave is white.[(triple6)] Harry is nice.[(triple7)] @1: Dave is blue.[(((triple2 triple3) -> rule7) OR ((triple2 ((triple2) -> rule4)) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule7) OR ((((triple5 triple1) -> rule2) triple3) -> rule7) OR ((((triple3) -> rule3) ((triple2) -> rule4)) -> rule7) OR ((((triple5 triple1) -> rule2) ((triple2) -> rule4)) -> rule7) OR ((triple2 ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) OR ((((triple3) -> rule3) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7) OR ((((triple5 triple1) -> rule2) ((((triple5 triple1) -> rule2)) -> rule4)) -> rule7))] Harry is green.[(((triple7) -> rule3))] @2: Harry is blue.[(((((triple7) -> rule3) triple7) -> rule7))] @3: Harry is quiet.[(((((((triple7) -> rule3) triple7) -> rule7) triple7) -> rule1))] @4: Harry is smart.[(((((((((triple7) -> rule3) triple7) -> rule7) triple7) -> rule1) ((((triple7) -> rule3) triple7) -> rule7)) -> rule5))]