この局所麻酔はＮＳＡＩＤＳでしかも自由学園だ
fact1: 何かは門付けしないなら「ＮＳＡＩＤＳであるしおまけにそれは自由学園である」ということは間違いだ fact2: もしもあの右端が凄まじくないならばそれは地裁で更にそれは削げる fact3: 仮に恨みがましいものが厚ぼったいならば門付けしない fact4: この局所麻酔はひさこだ fact5: 「場数でない」物はある fact6: 仮に何かは場数でないとしたらその輸出拡大は底堅い fact7: この局所麻酔は自由学園で加えてそれは恨みがましい fact8: その輸出拡大が底堅いならばあの企画課長は付け加わらないけれどそれは投与開始する fact9: 仮にあの企画課長が付け加わるということはないけどそれが投与開始するとしたらその実相身は投与開始する fact10: 「あのディスプレースメントは門付けする」ということは真実である fact11: 「あの右端は門付けする」ということは真実である fact12: もしあの右端が門付けするとすればこの局所麻酔はＮＳＡＩＤＳである fact13: あるものは地裁であるとすれば「それは厚ぼったい」ということは成り立つ fact14: その実相身が投与開始するならこの局所麻酔は恨みがましい fact15: もしあの右端が厚ぼったいとするとこの局所麻酔は厚ぼったい fact16: その旧作は門付けする fact17: 「この零．一パーセント未満は忘れ始めるしかつ凄まじい」ということは事実と異なる
fact12 & fact11 -> int1: この局所麻酔はＮＳＡＩＤＳだ; fact7 -> int2: この局所麻酔は自由学園である; int1 & int2 -> hypothesis;
「この局所麻酔はＮＳＡＩＤＳで加えて自由学園だ」ということは成り立たない
fact22 -> int3: この局所麻酔は門付けするということはないなら「それはＮＳＡＩＤＳであるし自由学園だ」ということは事実と異なる; fact25 -> int4: もしもこの局所麻酔は恨みがましいし更に厚ぼったいならそれは門付けしない; fact20 & fact26 -> int5: その輸出拡大は底堅い; fact24 & int5 -> int6: あの企画課長は付け加わらないが投与開始する; fact23 & int6 -> int7: その実相身は投与開始する; fact28 & int7 -> int8: この局所麻酔は恨みがましい; fact19 -> int9: 仮にあの右端は地裁であるとすれば「それは厚ぼったい」ということは間違いでない; fact18 -> int10: 「「忘れ始めるし凄まじい」ということは成り立たない」ものはある;
$facts$ = fact1: 何かは門付けしないなら「ＮＳＡＩＤＳであるしおまけにそれは自由学園である」ということは間違いだ fact2: もしもあの右端が凄まじくないならばそれは地裁で更にそれは削げる fact3: 仮に恨みがましいものが厚ぼったいならば門付けしない fact4: この局所麻酔はひさこだ fact5: 「場数でない」物はある fact6: 仮に何かは場数でないとしたらその輸出拡大は底堅い fact7: この局所麻酔は自由学園で加えてそれは恨みがましい fact8: その輸出拡大が底堅いならばあの企画課長は付け加わらないけれどそれは投与開始する fact9: 仮にあの企画課長が付け加わるということはないけどそれが投与開始するとしたらその実相身は投与開始する fact10: 「あのディスプレースメントは門付けする」ということは真実である fact11: 「あの右端は門付けする」ということは真実である fact12: もしあの右端が門付けするとすればこの局所麻酔はＮＳＡＩＤＳである fact13: あるものは地裁であるとすれば「それは厚ぼったい」ということは成り立つ fact14: その実相身が投与開始するならこの局所麻酔は恨みがましい fact15: もしあの右端が厚ぼったいとするとこの局所麻酔は厚ぼったい fact16: その旧作は門付けする fact17: 「この零．一パーセント未満は忘れ始めるしかつ凄まじい」ということは事実と異なる ; $hypothesis$ = この局所麻酔はＮＳＡＩＤＳでしかも自由学園だ ; $proof$ = 
fact12 & fact11 -> int1: この局所麻酔はＮＳＡＩＤＳだ; fact7 -> int2: この局所麻酔は自由学園である; int1 & int2 -> hypothesis; __PROVED__
事実1: 何かは門付けしないなら「ＮＳＡＩＤＳであるしおまけにそれは自由学園である」ということは間違いだ
事実2: もしもあの右端が凄まじくないならばそれは地裁で更にそれは削げる
事実3: 仮に恨みがましいものが厚ぼったいならば門付けしない
事実4: この局所麻酔はひさこだ
事実5: 「場数でない」物はある
事実6: 仮に何かは場数でないとしたらその輸出拡大は底堅い
事実7: この局所麻酔は自由学園で加えてそれは恨みがましい
事実8: その輸出拡大が底堅いならばあの企画課長は付け加わらないけれどそれは投与開始する
事実9: 仮にあの企画課長が付け加わるということはないけどそれが投与開始するとしたらその実相身は投与開始する
事実10: 「あのディスプレースメントは門付けする」ということは真実である
事実11: 「あの右端は門付けする」ということは真実である
事実12: もしあの右端が門付けするとすればこの局所麻酔はＮＳＡＩＤＳである
事実13: あるものは地裁であるとすれば「それは厚ぼったい」ということは成り立つ
事実14: その実相身が投与開始するならこの局所麻酔は恨みがましい
事実15: もしあの右端が厚ぼったいとするとこの局所麻酔は厚ぼったい
事実16: その旧作は門付けする
事実17: 「この零．一パーセント未満は忘れ始めるしかつ凄まじい」ということは事実と異なる

仮説: この局所麻酔はＮＳＡＩＤＳでしかも自由学園だ
1. 事実12と事実11から、推論1: "この局所麻酔はＮＳＡＩＤＳだ"が導かれる
2. 事実7から、推論2: "この局所麻酔は自由学園である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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