「このエスニック集団はＯＢ臭くない」ということは正しい
fact1: もしも「この機能性便秘は生活するしさらにいじましい」ということは嘘だとするといじましくない fact2: 仮に「いじましくない」ものがあればこの御総菜は明るくない fact3: 仮にあるものはＯＢ臭くないとしたら「それは心無くて醸成する」ということは嘘だ fact4: このエスニック集団は明るい fact5: 「もしとあるものは目覚ましいとすると「いじましいかもしくはそれは明るくないか両方だ」ということは間違っている」ということは事実と異ならない fact6: もし仮にある物がＯＢ臭いしおまけに明るいとするとこの機能性便秘はいじましい fact7: もし仮に「何らかの物はいじましいかもしくは明るいということはないか両方である」ということは成り立たないとしたらＯＢ臭い fact8: 仮にこの機能性便秘が生活するかあるいは目覚ましいかもしくはどちらもならばあのエスニック集団はいじましくない fact9: 「この機能性便秘は生活するしいじましい」ということは間違っている
void -> assump1: 以下のように仮定する。「このエスニック集団はＯＢ臭い」ということは事実だ; assump1 & fact4 -> int1: このエスニック集団はＯＢ臭くて明るい; int1 -> int2: なんらかのものはＯＢ臭くてさらに明るい; int2 & fact6 -> int3: 「この機能性便秘はいじましい」ということは成り立つ; fact9 & fact1 -> int4: この機能性便秘はいじましくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「このエスニック集団はＯＢ臭い」ということは本当だ
fact11 -> int6: 「このエスニック集団はいじましいかそれは明るくないかあるいは両方ともである」ということは嘘だとしたら「それはＯＢ臭い」ということは事実だ; fact10 -> int7: もし仮に「このエスニック集団は目覚ましい」ということは成り立つとしたら「それはいじましいかまたは明るくない」ということは間違いである;
$facts$ = fact1: もしも「この機能性便秘は生活するしさらにいじましい」ということは嘘だとするといじましくない fact2: 仮に「いじましくない」ものがあればこの御総菜は明るくない fact3: 仮にあるものはＯＢ臭くないとしたら「それは心無くて醸成する」ということは嘘だ fact4: このエスニック集団は明るい fact5: 「もしとあるものは目覚ましいとすると「いじましいかもしくはそれは明るくないか両方だ」ということは間違っている」ということは事実と異ならない fact6: もし仮にある物がＯＢ臭いしおまけに明るいとするとこの機能性便秘はいじましい fact7: もし仮に「何らかの物はいじましいかもしくは明るいということはないか両方である」ということは成り立たないとしたらＯＢ臭い fact8: 仮にこの機能性便秘が生活するかあるいは目覚ましいかもしくはどちらもならばあのエスニック集団はいじましくない fact9: 「この機能性便秘は生活するしいじましい」ということは間違っている ; $hypothesis$ = 「このエスニック集団はＯＢ臭くない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「このエスニック集団はＯＢ臭い」ということは事実だ; assump1 & fact4 -> int1: このエスニック集団はＯＢ臭くて明るい; int1 -> int2: なんらかのものはＯＢ臭くてさらに明るい; int2 & fact6 -> int3: 「この機能性便秘はいじましい」ということは成り立つ; fact9 & fact1 -> int4: この機能性便秘はいじましくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「この機能性便秘は生活するしさらにいじましい」ということは嘘だとするといじましくない
事実2: 仮に「いじましくない」ものがあればこの御総菜は明るくない
事実3: 仮にあるものはＯＢ臭くないとしたら「それは心無くて醸成する」ということは嘘だ
事実4: このエスニック集団は明るい
事実5: 「もしとあるものは目覚ましいとすると「いじましいかもしくはそれは明るくないか両方だ」ということは間違っている」ということは事実と異ならない
事実6: もし仮にある物がＯＢ臭いしおまけに明るいとするとこの機能性便秘はいじましい
事実7: もし仮に「何らかの物はいじましいかもしくは明るいということはないか両方である」ということは成り立たないとしたらＯＢ臭い
事実8: 仮にこの機能性便秘が生活するかあるいは目覚ましいかもしくはどちらもならばあのエスニック集団はいじましくない
事実9: 「この機能性便秘は生活するしいじましい」ということは間違っている

仮説: 「このエスニック集団はＯＢ臭くない」ということは正しい
1. 仮定1: 以下のように仮定する。「このエスニック集団はＯＢ臭い」ということは事実だ
2. 仮定1と事実4から、推論1: "このエスニック集団はＯＢ臭くて明るい"が導かれる
3. 推論1から、推論2: "なんらかのものはＯＢ臭くてさらに明るい"が導かれる
4. 推論2と事実6から、推論3: "「この機能性便秘はいじましい」ということは成り立つ"が導かれる
5. 事実9と事実1から、推論4: "この機能性便秘はいじましくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。