' Such restrictions include the fourfinger rule , for instance , which limits the number of digits that can be placed into any orifice while on video . ' THIS IS PURE EVIL . <| sep |> All old misdeeds , in cash or kind , are coming out . <| sep |> Because people notice the suit when it ' s illfitting or poor quality . <| sep |> type Prop A of string some literal being an atom Dis of Prop Prop Disjunction of 2 atoms Con of Prop Prop Conjunction of 2 atoms Neg of Prop Negation of an atom let isConsistent let rec fix f a f fix f a fix fun dissect function A a Set . singleton a , Map . find a Dis p 1 , p 2 let ls 1 , f 1 , ls 2 , f 2 dissect p 1 , dissect p 2 in Set . union ls 1 ls 2 , fun ls f 1 ls f 2 ls Con p 1 , p 2 let ls 1 , f 1 , ls 2 , f 2 dissect p 1 , dissect p 2 in Set . union ls 1 ls 2 , fun ls f 1 ls f 2 ls Neg p let ls , f dissect p in ls , f not fun ls , f Set . toList ls fix fun table function Map . empty Seq . singleton l ls seq for tt in table ls do for v in true false Map . add l v tt Seq . exists f Con A a , Neg A a isConsistent printfn Consistent % bThis checks if the proposition given to isConsistent is satisfiable .