この風防は立ち遅れる
fact1: 仮に「何らかの物は警備隊だということはなくて更にかかずらわない」ということは間違いならばそれは陰気臭くない fact2: もしこの検査時は陰気臭くないとすれば「そのワールドインター航空は用意出来ないけれどそれは予測し易い」ということは偽である fact3: 仮にこの風防が予測し易いならそれは用意出来る fact4: もし仮にこの風防が用意出来れば立ち遅れる fact5: もしこの風防が葉タバコ生産だとすると噛ます fact6: 「「予測し易くないかあるいは用意出来ない」ということは偽な」物はある fact7: なにがしかのものは人事委員会だ fact8: 「自動表示するということはないかまたは人事委員会でないかまたはどちらもな」物はある fact9: 「「自動表示するか人事委員会でない」ということは成り立たない」ものはある fact10: 「「自動表示するということはないかまたは人事委員会であるかまたは両方である」ということは確かでない」ものがあるならこの風防は予測し易い fact11: もし仮に「「自動表示しないか人事委員会でないかどちらもだ」ということは成り立たない」ものはあるなら「この風防は予測し易い」ということは確かである fact12: 「「自動表示しないかまたは人事委員会でないかあるいは両方ともである」ということは誤りである」ものはある fact13: 「そのワールドインター航空は用意出来ないが予測し易い」ということは成り立たないならばあの風防は立ち遅れない fact14: もし仮にこの風防が粗いとするとそれは同期化する fact15: 「「用意出来ないかもしくは立ち遅れないか両方だ」ということは間違っている」物はある
fact12 & fact11 -> int1: この風防は予測し易い; int1 & fact3 -> int2: この風防は用意出来る; int2 & fact4 -> hypothesis;
この風防は立ち遅れない
fact18 -> int3: もし仮に「この検査時は警備隊でないしかつかかずらわない」ということは偽だとすればそれは陰気臭くない;
$facts$ = fact1: 仮に「何らかの物は警備隊だということはなくて更にかかずらわない」ということは間違いならばそれは陰気臭くない fact2: もしこの検査時は陰気臭くないとすれば「そのワールドインター航空は用意出来ないけれどそれは予測し易い」ということは偽である fact3: 仮にこの風防が予測し易いならそれは用意出来る fact4: もし仮にこの風防が用意出来れば立ち遅れる fact5: もしこの風防が葉タバコ生産だとすると噛ます fact6: 「「予測し易くないかあるいは用意出来ない」ということは偽な」物はある fact7: なにがしかのものは人事委員会だ fact8: 「自動表示するということはないかまたは人事委員会でないかまたはどちらもな」物はある fact9: 「「自動表示するか人事委員会でない」ということは成り立たない」ものはある fact10: 「「自動表示するということはないかまたは人事委員会であるかまたは両方である」ということは確かでない」ものがあるならこの風防は予測し易い fact11: もし仮に「「自動表示しないか人事委員会でないかどちらもだ」ということは成り立たない」ものはあるなら「この風防は予測し易い」ということは確かである fact12: 「「自動表示しないかまたは人事委員会でないかあるいは両方ともである」ということは誤りである」ものはある fact13: 「そのワールドインター航空は用意出来ないが予測し易い」ということは成り立たないならばあの風防は立ち遅れない fact14: もし仮にこの風防が粗いとするとそれは同期化する fact15: 「「用意出来ないかもしくは立ち遅れないか両方だ」ということは間違っている」物はある ; $hypothesis$ = この風防は立ち遅れる ; $proof$ = 
fact12 & fact11 -> int1: この風防は予測し易い; int1 & fact3 -> int2: この風防は用意出来る; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は警備隊だということはなくて更にかかずらわない」ということは間違いならばそれは陰気臭くない
事実2: もしこの検査時は陰気臭くないとすれば「そのワールドインター航空は用意出来ないけれどそれは予測し易い」ということは偽である
事実3: 仮にこの風防が予測し易いならそれは用意出来る
事実4: もし仮にこの風防が用意出来れば立ち遅れる
事実5: もしこの風防が葉タバコ生産だとすると噛ます
事実6: 「「予測し易くないかあるいは用意出来ない」ということは偽な」物はある
事実7: なにがしかのものは人事委員会だ
事実8: 「自動表示するということはないかまたは人事委員会でないかまたはどちらもな」物はある
事実9: 「「自動表示するか人事委員会でない」ということは成り立たない」ものはある
事実10: 「「自動表示するということはないかまたは人事委員会であるかまたは両方である」ということは確かでない」ものがあるならこの風防は予測し易い
事実11: もし仮に「「自動表示しないか人事委員会でないかどちらもだ」ということは成り立たない」ものはあるなら「この風防は予測し易い」ということは確かである
事実12: 「「自動表示しないかまたは人事委員会でないかあるいは両方ともである」ということは誤りである」ものはある
事実13: 「そのワールドインター航空は用意出来ないが予測し易い」ということは成り立たないならばあの風防は立ち遅れない
事実14: もし仮にこの風防が粗いとするとそれは同期化する
事実15: 「「用意出来ないかもしくは立ち遅れないか両方だ」ということは間違っている」物はある

仮説: この風防は立ち遅れる
1. 事実12と事実11から、推論1: "この風防は予測し易い"が導かれる
2. 推論1と事実3から、推論2: "この風防は用意出来る"が導かれる
3. 推論2と事実4から、仮説が導かれる

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