Charlie is not blue. Dave is smart. Erin is blue. Erin is cold. Erin is quiet. Gary is kind. Gary is smart. Cold, kind people are young. Quiet, big people are young. Quiet people are young. Kind people are young. Young people are blue. If someone is smart and big then they are cold. Smart people are kind. If someone is blue then they are quiet. All kind, blue people are big.
Dave is not cold.
@0: Charlie is not blue.[(triple1)] Dave is smart.[(triple2)] Erin is blue.[(triple3 OR ((((triple5) -> rule3)) -> rule5))] Erin is cold.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule8))] Gary is kind.[(triple6 OR ((triple7) -> rule7))] Gary is smart.[(triple7)] @1: Dave is kind.[(((triple2) -> rule7))] Erin is young.[(((triple5) -> rule3) OR ((((triple3) -> rule8)) -> rule3))] Gary is young.[(((triple6) -> rule4) OR ((((triple7) -> rule7)) -> rule4))] @2: Dave is young.[(((((triple2) -> rule7)) -> rule4))] Gary is blue.[(((((triple6) -> rule4)) -> rule5) OR ((((((triple7) -> rule7)) -> rule4)) -> rule5))] @3: Dave is blue.[(((((((triple2) -> rule7)) -> rule4)) -> rule5))] Gary is big.[(((triple6 ((((triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple7) -> rule7) ((((triple6) -> rule4)) -> rule5)) -> rule9) OR ((triple6 ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule9))] Gary is quiet.[(((((((triple6) -> rule4)) -> rule5)) -> rule8) OR ((((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule8))] @4: Dave is big.[(((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule9))] Dave is quiet.[(((((((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule8))] Gary is cold.[(((triple7 ((triple6 ((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule6) OR ((triple7 ((((triple7) -> rule7) ((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule6) OR ((triple7 ((triple6 ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule9)) -> rule6) OR ((triple7 ((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule9)) -> rule6))] @5: Dave is cold.[(((triple2 ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule9)) -> rule6))]