この国政選挙はひもじいかまたは体当たりしない
fact1: もし仮にそのＵＰは地理的空間でないなら「道祖でないしそれは合科学習だ」ということは間違いだ fact2: 仮にこの国政選挙がイソップ物語であるならそのＵＰは道祖でないがそれは合科学習だ fact3: もしその終止は暑過ぎるなら「この三角状はイソップ物語である一方で地理的空間でない」ということは事実と異なる fact4: そのＵＰは地理的空間でない fact5: もし仮に何かはイソップ物語でないならひもじいかまたはそれは体当たりしないかもしくは両方ともである
void -> assump1: 以下のように仮定する。この国政選挙はイソップ物語だ; fact2 & assump1 -> int1: そのＵＰは道祖でないがしかしそれは合科学習だ; fact1 & fact4 -> int2: 「そのＵＰは道祖でないがそれは合科学習である」ということは間違いである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国政選挙はイソップ物語でない; fact5 -> int5: もしこの国政選挙がイソップ物語でないならばひもじいかあるいはそれは体当たりするということはないかあるいは両方だ; int4 & int5 -> hypothesis;
「この国政選挙はひもじいかあるいはそれは体当たりするということはないかまたは両方である」ということは成り立たない
$facts$ = fact1: もし仮にそのＵＰは地理的空間でないなら「道祖でないしそれは合科学習だ」ということは間違いだ fact2: 仮にこの国政選挙がイソップ物語であるならそのＵＰは道祖でないがそれは合科学習だ fact3: もしその終止は暑過ぎるなら「この三角状はイソップ物語である一方で地理的空間でない」ということは事実と異なる fact4: そのＵＰは地理的空間でない fact5: もし仮に何かはイソップ物語でないならひもじいかまたはそれは体当たりしないかもしくは両方ともである ; $hypothesis$ = この国政選挙はひもじいかまたは体当たりしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この国政選挙はイソップ物語だ; fact2 & assump1 -> int1: そのＵＰは道祖でないがしかしそれは合科学習だ; fact1 & fact4 -> int2: 「そのＵＰは道祖でないがそれは合科学習である」ということは間違いである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国政選挙はイソップ物語でない; fact5 -> int5: もしこの国政選挙がイソップ物語でないならばひもじいかあるいはそれは体当たりするということはないかあるいは両方だ; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮にそのＵＰは地理的空間でないなら「道祖でないしそれは合科学習だ」ということは間違いだ
事実2: 仮にこの国政選挙がイソップ物語であるならそのＵＰは道祖でないがそれは合科学習だ
事実3: もしその終止は暑過ぎるなら「この三角状はイソップ物語である一方で地理的空間でない」ということは事実と異なる
事実4: そのＵＰは地理的空間でない
事実5: もし仮に何かはイソップ物語でないならひもじいかまたはそれは体当たりしないかもしくは両方ともである

仮説: この国政選挙はひもじいかまたは体当たりしない
1. 仮定1: 以下のように仮定する。この国政選挙はイソップ物語だ
2. 事実2と仮定1から、推論1: "そのＵＰは道祖でないがしかしそれは合科学習だ"が導かれる
3. 事実1と事実4から、推論2: "「そのＵＰは道祖でないがそれは合科学習である」ということは間違いである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この国政選挙はイソップ物語でない"が導かれる
6. 事実5から、推論5: "もしこの国政選挙がイソップ物語でないならばひもじいかあるいはそれは体当たりするということはないかあるいは両方だ"が導かれる
7. 推論4と推論5から、仮説が導かれる

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