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