あの弁口面積は修理する
fact1: もしもあの公衆電話網は馬鹿でかいということはないとすれば「このイベントハンドラプロシージャは結集するけれどそれは修理しない」ということは成り立つ fact2: 「修理するし伝統的産業組織論でない」ものはある fact3: 馬鹿でかい物が修理しないならばあの公衆電話網は結集しない fact4: あの弁口面積は馬鹿でかくない fact5: このイベントハンドラプロシージャが結集しないとするとあの公衆電話網は伝統的産業組織論だ一方で修理しない fact6: このイベントハンドラプロシージャは嘲笑うけどそれは止まらない fact7: あの公衆電話網は結集しない fact8: 「修理するしさらに結集する」ものはある fact9: あの公衆電話網は御越し下さらない fact10: もし仮にあの公衆電話網が修理しないとしたらあの弁口面積は結集するがしかし伝統的産業組織論でない fact11: 「あの弁口面積は結集しない」ということは確かだ fact12: もしもあの公衆電話網が結集するとしたらあの弁口面積は修理する fact13: この今年度は馬鹿でかくない fact14: もしあの公衆電話網が結集するということはないならばこのイベントハンドラプロシージャは伝統的産業組織論であるがしかし馬鹿でかくない fact15: このイベントハンドラプロシージャは修理する一方でそれは馬鹿でかくない fact16: もし仮に伝統的産業組織論であっておまけに馬鹿でかくないものがあるならあの弁口面積は修理するということはない fact17: その肝硬変は結集しない fact18: 「結集しない」ものはある
fact14 & fact7 -> int1: このイベントハンドラプロシージャは伝統的産業組織論だがしかしそれは馬鹿でかくない; int1 -> int2: 「伝統的産業組織論だ一方で馬鹿でかくない」物はある; int2 & fact16 -> hypothesis;
fact14 & fact7 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ({AA}x & ¬{AB}x); int2 & fact16 -> hypothesis;
あの弁口面積は修理する
$facts$ = fact1: もしもあの公衆電話網は馬鹿でかいということはないとすれば「このイベントハンドラプロシージャは結集するけれどそれは修理しない」ということは成り立つ fact2: 「修理するし伝統的産業組織論でない」ものはある fact3: 馬鹿でかい物が修理しないならばあの公衆電話網は結集しない fact4: あの弁口面積は馬鹿でかくない fact5: このイベントハンドラプロシージャが結集しないとするとあの公衆電話網は伝統的産業組織論だ一方で修理しない fact6: このイベントハンドラプロシージャは嘲笑うけどそれは止まらない fact7: あの公衆電話網は結集しない fact8: 「修理するしさらに結集する」ものはある fact9: あの公衆電話網は御越し下さらない fact10: もし仮にあの公衆電話網が修理しないとしたらあの弁口面積は結集するがしかし伝統的産業組織論でない fact11: 「あの弁口面積は結集しない」ということは確かだ fact12: もしもあの公衆電話網が結集するとしたらあの弁口面積は修理する fact13: この今年度は馬鹿でかくない fact14: もしあの公衆電話網が結集するということはないならばこのイベントハンドラプロシージャは伝統的産業組織論であるがしかし馬鹿でかくない fact15: このイベントハンドラプロシージャは修理する一方でそれは馬鹿でかくない fact16: もし仮に伝統的産業組織論であっておまけに馬鹿でかくないものがあるならあの弁口面積は修理するということはない fact17: その肝硬変は結集しない fact18: 「結集しない」ものはある ; $hypothesis$ = あの弁口面積は修理する ; $proof$ = 
fact14 & fact7 -> int1: このイベントハンドラプロシージャは伝統的産業組織論だがしかしそれは馬鹿でかくない; int1 -> int2: 「伝統的産業組織論だ一方で馬鹿でかくない」物はある; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもあの公衆電話網は馬鹿でかいということはないとすれば「このイベントハンドラプロシージャは結集するけれどそれは修理しない」ということは成り立つ
事実2: 「修理するし伝統的産業組織論でない」ものはある
事実3: 馬鹿でかい物が修理しないならばあの公衆電話網は結集しない
事実4: あの弁口面積は馬鹿でかくない
事実5: このイベントハンドラプロシージャが結集しないとするとあの公衆電話網は伝統的産業組織論だ一方で修理しない
事実6: このイベントハンドラプロシージャは嘲笑うけどそれは止まらない
事実7: あの公衆電話網は結集しない
事実8: 「修理するしさらに結集する」ものはある
事実9: あの公衆電話網は御越し下さらない
事実10: もし仮にあの公衆電話網が修理しないとしたらあの弁口面積は結集するがしかし伝統的産業組織論でない
事実11: 「あの弁口面積は結集しない」ということは確かだ
事実12: もしもあの公衆電話網が結集するとしたらあの弁口面積は修理する
事実13: この今年度は馬鹿でかくない
事実14: もしあの公衆電話網が結集するということはないならばこのイベントハンドラプロシージャは伝統的産業組織論であるがしかし馬鹿でかくない
事実15: このイベントハンドラプロシージャは修理する一方でそれは馬鹿でかくない
事実16: もし仮に伝統的産業組織論であっておまけに馬鹿でかくないものがあるならあの弁口面積は修理するということはない
事実17: その肝硬変は結集しない
事実18: 「結集しない」ものはある

仮説: あの弁口面積は修理する
1. 事実14と事実7から、推論1: "このイベントハンドラプロシージャは伝統的産業組織論だがしかしそれは馬鹿でかくない"が導かれる
2. 推論1から、推論2: "「伝統的産業組織論だ一方で馬鹿でかくない」物はある"が導かれる
3. 推論2と事実16から、仮説が否定される

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