この現金自動預け払い機は長ーくない
fact1: もしこの三波家が鬱陶しいとすればこの現金自動預け払い機は介護出来ない fact2: もし仮に「この三波家は鬱陶しいかまたは突っ込めるということはないかまたはどちらもだ」ということは誤りだとすればそれはメソッド引数である fact3: 「もし仮に「この三波家は介護出来るかもしくは突っ込めるということはない」ということは成り立たないとするとこの三波家は鬱陶しい」ということは本当だ fact4: この現金自動預け払い機は突っ込めるしおまけに恵み深い fact5: 「この原則は鬱陶しい」ということは真実だ fact6: この三波家は突っ込めるし介護出来る fact7: そのチーム内は介護出来る fact8: もしこの三波家は介護出来るとすれば「この現金自動預け払い機は鬱陶しいかまたはメソッド引数でないか両方ともだ」ということは誤っている fact9: この現金自動預け払い機は介護出来ない fact10: この現金自動預け払い機は恵み深いし精神的健康である fact11: この三波家は入り易くない fact12: もし「なんらかのものは鬱陶しいかもしくはメソッド引数でないか両方だ」ということは間違っているなら長ーい fact13: 「「なにかは介護出来るかあるいはメソッド引数であるということはない」ということは誤りでない」ということは成り立たないとするとそれは突っ込める fact14: この三波家は突っ込める fact15: この現金自動預け払い機がコマースだしその上近所である fact16: 「この現金自動預け払い機は鬱陶しいかもしくは突っ込めないか両方ともだ」ということは誤りである fact17: この三波家はメソッド引数だ fact18: 仮に「なにかは突っ込めるかそれは長ーくないか両方である」ということは誤りならばそれはメソッド引数だ fact19: この三波家は弁済使である fact20: この三波家は集結する fact21: 仮にこの現金自動預け払い機が介護出来ればこの三波家は長ーくない fact22: あの御祭り騒ぎは長ーくない
fact6 -> int1: この三波家は介護出来る; int1 & fact8 -> int2: 「この現金自動預け払い機は鬱陶しいかもしくはメソッド引数でないかまたは両方である」ということは間違いだ; fact12 -> int3: 「この現金自動預け払い機は鬱陶しいかもしくはメソッド引数でない」ということは真実でないならば長ーい; int2 & int3 -> hypothesis;
$facts$ = fact1: もしこの三波家が鬱陶しいとすればこの現金自動預け払い機は介護出来ない fact2: もし仮に「この三波家は鬱陶しいかまたは突っ込めるということはないかまたはどちらもだ」ということは誤りだとすればそれはメソッド引数である fact3: 「もし仮に「この三波家は介護出来るかもしくは突っ込めるということはない」ということは成り立たないとするとこの三波家は鬱陶しい」ということは本当だ fact4: この現金自動預け払い機は突っ込めるしおまけに恵み深い fact5: 「この原則は鬱陶しい」ということは真実だ fact6: この三波家は突っ込めるし介護出来る fact7: そのチーム内は介護出来る fact8: もしこの三波家は介護出来るとすれば「この現金自動預け払い機は鬱陶しいかまたはメソッド引数でないか両方ともだ」ということは誤っている fact9: この現金自動預け払い機は介護出来ない fact10: この現金自動預け払い機は恵み深いし精神的健康である fact11: この三波家は入り易くない fact12: もし「なんらかのものは鬱陶しいかもしくはメソッド引数でないか両方だ」ということは間違っているなら長ーい fact13: 「「なにかは介護出来るかあるいはメソッド引数であるということはない」ということは誤りでない」ということは成り立たないとするとそれは突っ込める fact14: この三波家は突っ込める fact15: この現金自動預け払い機がコマースだしその上近所である fact16: 「この現金自動預け払い機は鬱陶しいかもしくは突っ込めないか両方ともだ」ということは誤りである fact17: この三波家はメソッド引数だ fact18: 仮に「なにかは突っ込めるかそれは長ーくないか両方である」ということは誤りならばそれはメソッド引数だ fact19: この三波家は弁済使である fact20: この三波家は集結する fact21: 仮にこの現金自動預け払い機が介護出来ればこの三波家は長ーくない fact22: あの御祭り騒ぎは長ーくない ; $hypothesis$ = この現金自動預け払い機は長ーくない ; $proof$ = 
fact6 -> int1: この三波家は介護出来る; int1 & fact8 -> int2: 「この現金自動預け払い機は鬱陶しいかもしくはメソッド引数でないかまたは両方である」ということは間違いだ; fact12 -> int3: 「この現金自動預け払い機は鬱陶しいかもしくはメソッド引数でない」ということは真実でないならば長ーい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしこの三波家が鬱陶しいとすればこの現金自動預け払い機は介護出来ない
事実2: もし仮に「この三波家は鬱陶しいかまたは突っ込めるということはないかまたはどちらもだ」ということは誤りだとすればそれはメソッド引数である
事実3: 「もし仮に「この三波家は介護出来るかもしくは突っ込めるということはない」ということは成り立たないとするとこの三波家は鬱陶しい」ということは本当だ
事実4: この現金自動預け払い機は突っ込めるしおまけに恵み深い
事実5: 「この原則は鬱陶しい」ということは真実だ
事実6: この三波家は突っ込めるし介護出来る
事実7: そのチーム内は介護出来る
事実8: もしこの三波家は介護出来るとすれば「この現金自動預け払い機は鬱陶しいかまたはメソッド引数でないか両方ともだ」ということは誤っている
事実9: この現金自動預け払い機は介護出来ない
事実10: この現金自動預け払い機は恵み深いし精神的健康である
事実11: この三波家は入り易くない
事実12: もし「なんらかのものは鬱陶しいかもしくはメソッド引数でないか両方だ」ということは間違っているなら長ーい
事実13: 「「なにかは介護出来るかあるいはメソッド引数であるということはない」ということは誤りでない」ということは成り立たないとするとそれは突っ込める
事実14: この三波家は突っ込める
事実15: この現金自動預け払い機がコマースだしその上近所である
事実16: 「この現金自動預け払い機は鬱陶しいかもしくは突っ込めないか両方ともだ」ということは誤りである
事実17: この三波家はメソッド引数だ
事実18: 仮に「なにかは突っ込めるかそれは長ーくないか両方である」ということは誤りならばそれはメソッド引数だ
事実19: この三波家は弁済使である
事実20: この三波家は集結する
事実21: 仮にこの現金自動預け払い機が介護出来ればこの三波家は長ーくない
事実22: あの御祭り騒ぎは長ーくない

仮説: この現金自動預け払い機は長ーくない
1. 事実6から、推論1: "この三波家は介護出来る"が導かれる
2. 推論1と事実8から、推論2: "「この現金自動預け払い機は鬱陶しいかもしくはメソッド引数でないかまたは両方である」ということは間違いだ"が導かれる
3. 事実12から、推論3: "「この現金自動預け払い機は鬱陶しいかもしくはメソッド引数でない」ということは真実でないならば長ーい"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。