「そのマイクロバスは新聞時評でなくて空転しない」ということは誤っている
fact1: 「そのマイクロバスは新聞時評であるけど空転しない」ということは嘘だ fact2: もしもとある物は減額しないとすれば「それは空転しないししかも高笑いするということはない」ということは事実と異なる fact3: もし「そのキリスト像は選択され易い」ということは成り立つとするとそのマイクロバスは選択され易い fact4: それは新聞時評であるが空転しないというものはない fact5: もし仮にあの分町運動がコーディネイトしないならこの高齢者住宅政策は百中でなくて更に根気強くない fact6: もしなんらかのものが選択され易いとしたらそれは脅威論である fact7: 「この青銅製は空転しなくてそれにそれは転換社債型新株予約権付け社債でない」ということは間違っている fact8: 新聞時評でないしそれは空転しないというものはない fact9: それは新聞時評でなくてかつそれは空転するという物はない fact10: もし仮にこの高齢者住宅政策がインターネット環境であるとすればそのキリスト像は哀れっぽくないしおまけに選択され易くない fact11: 「そのマイクロバスは新聞時評でないがしかし空転する」ということは偽である fact12: もしも何らかのものが減額すればそれは新聞時評でないし空転しない fact13: もし仮にこの高齢者住宅政策は真正細菌であるとしたらインターネット環境だ fact14: 「もしもこの高齢者住宅政策が百中でないし根気強くないとすればこの高齢者住宅政策は真正細菌である」ということは事実である fact15: それは記録化しないし更に敢行しないというものはない fact16: もし仮にそのキリスト像はインターネット環境であるならば選択され易い fact17: 脅威論は減額するがしかし哀れっぽいということはない fact18: なにかは哀れっぽくないなら「減額するし更に脅威論だ」ということは本当でない fact19: 開き易くなくておまけに解け易くないという物はない fact20: 「そのマイクロバスは空転しなくて手強いということはない」ということは嘘である
fact8 -> hypothesis;
fact8 -> hypothesis;
そのマイクロバスは新聞時評でなくてしかも空転しない
fact21 -> int1: もし仮にそのマイクロバスが減額すればそれは新聞時評でないしおまけに空転しない; fact23 -> int2: 「そのマイクロバスは脅威論である」ということは事実であるならばそれは減額するけど哀れっぽいということはない; fact24 -> int3: そのマイクロバスが選択され易いとすれば脅威論である;
$facts$ = fact1: 「そのマイクロバスは新聞時評であるけど空転しない」ということは嘘だ fact2: もしもとある物は減額しないとすれば「それは空転しないししかも高笑いするということはない」ということは事実と異なる fact3: もし「そのキリスト像は選択され易い」ということは成り立つとするとそのマイクロバスは選択され易い fact4: それは新聞時評であるが空転しないというものはない fact5: もし仮にあの分町運動がコーディネイトしないならこの高齢者住宅政策は百中でなくて更に根気強くない fact6: もしなんらかのものが選択され易いとしたらそれは脅威論である fact7: 「この青銅製は空転しなくてそれにそれは転換社債型新株予約権付け社債でない」ということは間違っている fact8: 新聞時評でないしそれは空転しないというものはない fact9: それは新聞時評でなくてかつそれは空転するという物はない fact10: もし仮にこの高齢者住宅政策がインターネット環境であるとすればそのキリスト像は哀れっぽくないしおまけに選択され易くない fact11: 「そのマイクロバスは新聞時評でないがしかし空転する」ということは偽である fact12: もしも何らかのものが減額すればそれは新聞時評でないし空転しない fact13: もし仮にこの高齢者住宅政策は真正細菌であるとしたらインターネット環境だ fact14: 「もしもこの高齢者住宅政策が百中でないし根気強くないとすればこの高齢者住宅政策は真正細菌である」ということは事実である fact15: それは記録化しないし更に敢行しないというものはない fact16: もし仮にそのキリスト像はインターネット環境であるならば選択され易い fact17: 脅威論は減額するがしかし哀れっぽいということはない fact18: なにかは哀れっぽくないなら「減額するし更に脅威論だ」ということは本当でない fact19: 開き易くなくておまけに解け易くないという物はない fact20: 「そのマイクロバスは空転しなくて手強いということはない」ということは嘘である ; $hypothesis$ = 「そのマイクロバスは新聞時評でなくて空転しない」ということは誤っている ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「そのマイクロバスは新聞時評であるけど空転しない」ということは嘘だ
事実2: もしもとある物は減額しないとすれば「それは空転しないししかも高笑いするということはない」ということは事実と異なる
事実3: もし「そのキリスト像は選択され易い」ということは成り立つとするとそのマイクロバスは選択され易い
事実4: それは新聞時評であるが空転しないというものはない
事実5: もし仮にあの分町運動がコーディネイトしないならこの高齢者住宅政策は百中でなくて更に根気強くない
事実6: もしなんらかのものが選択され易いとしたらそれは脅威論である
事実7: 「この青銅製は空転しなくてそれにそれは転換社債型新株予約権付け社債でない」ということは間違っている
事実8: 新聞時評でないしそれは空転しないというものはない
事実9: それは新聞時評でなくてかつそれは空転するという物はない
事実10: もし仮にこの高齢者住宅政策がインターネット環境であるとすればそのキリスト像は哀れっぽくないしおまけに選択され易くない
事実11: 「そのマイクロバスは新聞時評でないがしかし空転する」ということは偽である
事実12: もしも何らかのものが減額すればそれは新聞時評でないし空転しない
事実13: もし仮にこの高齢者住宅政策は真正細菌であるとしたらインターネット環境だ
事実14: 「もしもこの高齢者住宅政策が百中でないし根気強くないとすればこの高齢者住宅政策は真正細菌である」ということは事実である
事実15: それは記録化しないし更に敢行しないというものはない
事実16: もし仮にそのキリスト像はインターネット環境であるならば選択され易い
事実17: 脅威論は減額するがしかし哀れっぽいということはない
事実18: なにかは哀れっぽくないなら「減額するし更に脅威論だ」ということは本当でない
事実19: 開き易くなくておまけに解け易くないという物はない
事実20: 「そのマイクロバスは空転しなくて手強いということはない」ということは嘘である

仮説: 「そのマイクロバスは新聞時評でなくて空転しない」ということは誤っている
1. 事実8から、仮説が導かれる

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