「その知識源は可笑しということはないし地方選挙だということはない」ということは偽だ
fact1: 仮にそのイスラムは地方選挙ならば「その知識源は可笑しということはないがそれは地方選挙である」ということは成り立たない fact2: 「そのヴァージニア植民地は前胸背でない一方でそれは成分分析機だ」ということは間違っている fact3: そのヴァージニア植民地は何気無い fact4: 「その知識源は可笑しけれど地方選挙であるということはない」ということは間違いである fact5: もしそのイスラムが前駆細胞群であるかあるいは表御殿ならあの放免は表御殿でない fact6: そのヴァージニア植民地が前胸背でないがしかしそれが成分分析機ならばそれは表御殿だ fact7: 「そのヴァージニア植民地は前胸背であるということはなくて成分分析機でない」ということは偽であるとすればあのイスラムは浅まし fact8: もし仮になにかは前駆細胞群だとしたら地方選挙だ fact9: 「その知識源は可笑しないが地方選挙である」ということは事実と異なる fact10: もし仮にそのイスラムが浅ましとすると前駆細胞群だ fact11: もし仮にそのヴァージニア植民地は参学するしさらに何気無いとすればそれは表御殿でない fact12: もし仮にその知識源が地方選挙ならばあのイスラムは表御殿だ fact13: そのヴァージニア植民地は参学するし加えて何気無い fact14: もし仮にそのイスラムは地方選挙であるとすると「その知識源は可笑しが地方選挙でない」ということは成り立たない fact15: もしとあるものは表御殿でないとしたら「浅ましし前駆細胞群だ」ということは誤りだ fact16: 仮にとあるものが何気無くないならそれは可笑しし更に地方選挙だ fact17: 何らかのものが表御殿でないなら参学するしかつそれは浅ましということはない fact18: もしなにがしかの物は前胸背でないし更に成分分析機であるということはないとすると「表御殿である」ということは正しい fact19: もし仮にそのヴァージニア植民地は表御殿であるとすれば地方選挙である fact20: もしあるものは前胸背でないがしかし成分分析機だとすると表御殿だ fact21: そのヴァージニア植民地が成分分析機であるとすればあのイスラムは浅まし fact22: もしもそのイスラムは地方選挙であるとしたら「その知識源は可笑しないし更に地方選挙であるということはない」ということは間違っている fact23: そのヴァージニア植民地は成分分析機でない
fact18 -> int1: 仮にそのヴァージニア植民地は前胸背でないしさらに成分分析機でないならそれは表御殿だ; void -> assump1: 以下のように仮定する。そのヴァージニア植民地は前胸背でないし更に成分分析機でない; int1 & assump1 -> int2: そのヴァージニア植民地は表御殿だ; fact13 & fact11 -> int3: そのヴァージニア植民地は表御殿でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのヴァージニア植民地は前胸背でなくて成分分析機でない」ということは嘘である; int5 & fact7 -> int6: そのイスラムは浅まし; int6 & fact10 -> int7: そのイスラムは前駆細胞群だ; fact8 -> int8: もしもそのイスラムが前駆細胞群だとするとそれは地方選挙だ; int7 & int8 -> int9: そのイスラムは地方選挙だ; int9 & fact22 -> hypothesis;
あの放免は参学する
fact24 -> int10: 仮にあの放免が表御殿でないとすればそれは参学するがしかし浅ましということはない; fact27 -> int11: もし仮にその知識源が何気無いということはないとするとそれは可笑ししそれは地方選挙である;
$facts$ = fact1: 仮にそのイスラムは地方選挙ならば「その知識源は可笑しということはないがそれは地方選挙である」ということは成り立たない fact2: 「そのヴァージニア植民地は前胸背でない一方でそれは成分分析機だ」ということは間違っている fact3: そのヴァージニア植民地は何気無い fact4: 「その知識源は可笑しけれど地方選挙であるということはない」ということは間違いである fact5: もしそのイスラムが前駆細胞群であるかあるいは表御殿ならあの放免は表御殿でない fact6: そのヴァージニア植民地が前胸背でないがしかしそれが成分分析機ならばそれは表御殿だ fact7: 「そのヴァージニア植民地は前胸背であるということはなくて成分分析機でない」ということは偽であるとすればあのイスラムは浅まし fact8: もし仮になにかは前駆細胞群だとしたら地方選挙だ fact9: 「その知識源は可笑しないが地方選挙である」ということは事実と異なる fact10: もし仮にそのイスラムが浅ましとすると前駆細胞群だ fact11: もし仮にそのヴァージニア植民地は参学するしさらに何気無いとすればそれは表御殿でない fact12: もし仮にその知識源が地方選挙ならばあのイスラムは表御殿だ fact13: そのヴァージニア植民地は参学するし加えて何気無い fact14: もし仮にそのイスラムは地方選挙であるとすると「その知識源は可笑しが地方選挙でない」ということは成り立たない fact15: もしとあるものは表御殿でないとしたら「浅ましし前駆細胞群だ」ということは誤りだ fact16: 仮にとあるものが何気無くないならそれは可笑しし更に地方選挙だ fact17: 何らかのものが表御殿でないなら参学するしかつそれは浅ましということはない fact18: もしなにがしかの物は前胸背でないし更に成分分析機であるということはないとすると「表御殿である」ということは正しい fact19: もし仮にそのヴァージニア植民地は表御殿であるとすれば地方選挙である fact20: もしあるものは前胸背でないがしかし成分分析機だとすると表御殿だ fact21: そのヴァージニア植民地が成分分析機であるとすればあのイスラムは浅まし fact22: もしもそのイスラムは地方選挙であるとしたら「その知識源は可笑しないし更に地方選挙であるということはない」ということは間違っている fact23: そのヴァージニア植民地は成分分析機でない ; $hypothesis$ = 「その知識源は可笑しということはないし地方選挙だということはない」ということは偽だ ; $proof$ = 
fact18 -> int1: 仮にそのヴァージニア植民地は前胸背でないしさらに成分分析機でないならそれは表御殿だ; void -> assump1: 以下のように仮定する。そのヴァージニア植民地は前胸背でないし更に成分分析機でない; int1 & assump1 -> int2: そのヴァージニア植民地は表御殿だ; fact13 & fact11 -> int3: そのヴァージニア植民地は表御殿でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのヴァージニア植民地は前胸背でなくて成分分析機でない」ということは嘘である; int5 & fact7 -> int6: そのイスラムは浅まし; int6 & fact10 -> int7: そのイスラムは前駆細胞群だ; fact8 -> int8: もしもそのイスラムが前駆細胞群だとするとそれは地方選挙だ; int7 & int8 -> int9: そのイスラムは地方選挙だ; int9 & fact22 -> hypothesis; __PROVED__
事実1: 仮にそのイスラムは地方選挙ならば「その知識源は可笑しということはないがそれは地方選挙である」ということは成り立たない
事実2: 「そのヴァージニア植民地は前胸背でない一方でそれは成分分析機だ」ということは間違っている
事実3: そのヴァージニア植民地は何気無い
事実4: 「その知識源は可笑しけれど地方選挙であるということはない」ということは間違いである
事実5: もしそのイスラムが前駆細胞群であるかあるいは表御殿ならあの放免は表御殿でない
事実6: そのヴァージニア植民地が前胸背でないがしかしそれが成分分析機ならばそれは表御殿だ
事実7: 「そのヴァージニア植民地は前胸背であるということはなくて成分分析機でない」ということは偽であるとすればあのイスラムは浅まし
事実8: もし仮になにかは前駆細胞群だとしたら地方選挙だ
事実9: 「その知識源は可笑しないが地方選挙である」ということは事実と異なる
事実10: もし仮にそのイスラムが浅ましとすると前駆細胞群だ
事実11: もし仮にそのヴァージニア植民地は参学するしさらに何気無いとすればそれは表御殿でない
事実12: もし仮にその知識源が地方選挙ならばあのイスラムは表御殿だ
事実13: そのヴァージニア植民地は参学するし加えて何気無い
事実14: もし仮にそのイスラムは地方選挙であるとすると「その知識源は可笑しが地方選挙でない」ということは成り立たない
事実15: もしとあるものは表御殿でないとしたら「浅ましし前駆細胞群だ」ということは誤りだ
事実16: 仮にとあるものが何気無くないならそれは可笑しし更に地方選挙だ
事実17: 何らかのものが表御殿でないなら参学するしかつそれは浅ましということはない
事実18: もしなにがしかの物は前胸背でないし更に成分分析機であるということはないとすると「表御殿である」ということは正しい
事実19: もし仮にそのヴァージニア植民地は表御殿であるとすれば地方選挙である
事実20: もしあるものは前胸背でないがしかし成分分析機だとすると表御殿だ
事実21: そのヴァージニア植民地が成分分析機であるとすればあのイスラムは浅まし
事実22: もしもそのイスラムは地方選挙であるとしたら「その知識源は可笑しないし更に地方選挙であるということはない」ということは間違っている
事実23: そのヴァージニア植民地は成分分析機でない

仮説: 「その知識源は可笑しということはないし地方選挙だということはない」ということは偽だ
1. 事実18から、推論1: "仮にそのヴァージニア植民地は前胸背でないしさらに成分分析機でないならそれは表御殿だ"が導かれる
2. 仮定1: 以下のように仮定する。そのヴァージニア植民地は前胸背でないし更に成分分析機でない
3. 推論1と仮定1から、推論2: "そのヴァージニア植民地は表御殿だ"が導かれる
4. 事実13と事実11から、推論3: "そのヴァージニア植民地は表御殿でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「そのヴァージニア植民地は前胸背でなくて成分分析機でない」ということは嘘である"が導かれる
7. 推論5と事実7から、推論6: "そのイスラムは浅まし"が導かれる
8. 推論6と事実10から、推論7: "そのイスラムは前駆細胞群だ"が導かれる
9. 事実8から、推論8: "もしもそのイスラムが前駆細胞群だとするとそれは地方選挙だ"が導かれる
10. 推論7と推論8から、推論9: "そのイスラムは地方選挙だ"が導かれる
11. 推論9と事実22から、仮説が導かれる

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