Dave is green. Dave is quiet. Dave is young. Erin is blue. Erin is white. Gary is quiet. Harry is blue. If something is cold and green then it is kind. All quiet things are green. If something is cold then it is kind. If something is quiet and kind then it is white. If something is cold then it is quiet. If Dave is cold then Dave is kind. All green things are cold. All cold, white things are young.
Harry is not kind.
@0: Dave is green.[(triple1 OR ((triple2) -> rule2))] Dave is quiet.[(triple2 OR ((((triple1) -> rule7)) -> rule5))] Dave is young.[(triple3 OR ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((triple1) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((triple2 ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2)) -> rule7) ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule8))] Erin is blue.[(triple4)] Erin is white.[(triple5)] Gary is quiet.[(triple6)] Harry is blue.[(triple7)] @1: Dave is cold.[(((triple1) -> rule7) OR ((((triple2) -> rule2)) -> rule7))] Gary is green.[(((triple6) -> rule2))] @2: Dave is kind.[(((((triple1) -> rule7)) -> rule3) OR ((((triple1) -> rule7)) -> rule6) OR ((((triple1) -> rule7) triple1) -> rule1) OR ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1) OR ((((((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((triple2) -> rule2)) -> rule7)) -> rule6) OR ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1) OR ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1))] Gary is cold.[(((((triple6) -> rule2)) -> rule7))] @3: Dave is white.[(((triple2 ((((triple1) -> rule7)) -> rule3)) -> rule4) OR ((triple2 ((((triple1) -> rule7)) -> rule6)) -> rule4) OR ((triple2 ((((triple1) -> rule7) triple1) -> rule1)) -> rule4) OR ((triple2 ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7)) -> rule3)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7)) -> rule6)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7) triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((triple1) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4) OR ((triple2 ((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule4) OR ((triple2 ((((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule4) OR ((triple2 ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1)) -> rule4) OR ((triple2 ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7) triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule7)) -> rule5) ((((((triple2) -> rule2)) -> rule7) ((triple2) -> rule2)) -> rule1)) -> rule4))] Gary is kind.[(((((((triple6) -> rule2)) -> rule7)) -> rule3) OR ((((((triple6) -> rule2)) -> rule7) ((triple6) -> rule2)) -> rule1))] @4: Gary is white.[(((triple6 ((((((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule4) OR ((triple6 ((((((triple6) -> rule2)) -> rule7) ((triple6) -> rule2)) -> rule1)) -> rule4))] @5: Gary is young.[(((((((triple6) -> rule2)) -> rule7) ((triple6 ((((((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((((triple6) -> rule2)) -> rule7) ((triple6) -> rule2)) -> rule1)) -> rule4)) -> rule8))]