Dave is cold. Dave is rough. Erin is cold. Erin is rough. Fiona is blue. Fiona is smart. Gary is blue. All smart, rough people are young. If someone is cold and white then they are quiet. All cold people are white. If someone is quiet and young then they are blue. White, quiet people are smart.
Gary is not young.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Erin is cold.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Fiona is smart.[(triple6)] Gary is blue.[(triple7)] @1: Dave is white.[(((triple1) -> rule3))] Erin is white.[(((triple3) -> rule3))] @2: Dave is quiet.[(((triple1 ((triple1) -> rule3)) -> rule2))] Erin is quiet.[(((triple3 ((triple3) -> rule3)) -> rule2))] @3: Dave is smart.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5))] Erin is smart.[(((((triple3) -> rule3) ((triple3 ((triple3) -> rule3)) -> rule2)) -> rule5))] @4: Dave is young.[(((((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5) triple2) -> rule1))] Erin is young.[(((((((triple3) -> rule3) ((triple3 ((triple3) -> rule3)) -> rule2)) -> rule5) triple4) -> rule1))] @5: Dave is blue.[(((((triple1 ((triple1) -> rule3)) -> rule2) ((((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5) triple2) -> rule1)) -> rule4))] Erin is blue.[(((((triple3 ((triple3) -> rule3)) -> rule2) ((((((triple3) -> rule3) ((triple3 ((triple3) -> rule3)) -> rule2)) -> rule5) triple4) -> rule1)) -> rule4))]