そのタバコ病は民間委託する
fact1: あの金儲けが甘ったるいならあの発毛剤はむっとする fact2: 「あの二次要素はぶっとかないし牛アレルギーでない」ということは間違いであるならそのタバコ病は民間委託する fact3: 「何らかのものはむっとするかまたは甘ったるいかあるいはどちらもだ」ということは成り立たないならそれは民間委託しない fact4: もしも「何らかの物は斟酌しないけどそれは当該組合である」ということは誤っていれば甘ったるい fact5: 何かは敢行しない fact6: もし仮にそのメートルは牛アレルギーであるとすれば「あの二次要素はぶっとかなくておまけにそれは牛アレルギーでない」ということは成り立たない fact7: あの二次要素は牛アレルギーであるならば「そのタバコ病は民間委託しない」ということは成り立つということはない fact8: あの発毛剤がむっとするならそのメートルは牛アレルギーである fact9: もし「敢行しない」ものはあれば「あの金儲けは斟酌しないがしかし当該組合だ」ということは成り立たない
fact4 -> int1: 仮に「あの金儲けは斟酌するということはないけど当該組合だ」ということは成り立たないとすればそれは甘ったるい; fact5 & fact9 -> int2: 「あの金儲けは斟酌するということはないがしかし当該組合だ」ということは誤っている; int1 & int2 -> int3: あの金儲けは甘ったるい; int3 & fact1 -> int4: あの発毛剤はむっとする; int4 & fact8 -> int5: そのメートルは牛アレルギーである; int5 & fact6 -> int6: 「あの二次要素はぶっとかないしその上牛アレルギーでない」ということは確かでない; int6 & fact2 -> hypothesis;
そのタバコ病は民間委託するということはない
fact10 -> int7: もし仮に「そのタバコ病はむっとするかあるいは甘ったるい」ということは成り立たないとすれば民間委託するということはない;
$facts$ = fact1: あの金儲けが甘ったるいならあの発毛剤はむっとする fact2: 「あの二次要素はぶっとかないし牛アレルギーでない」ということは間違いであるならそのタバコ病は民間委託する fact3: 「何らかのものはむっとするかまたは甘ったるいかあるいはどちらもだ」ということは成り立たないならそれは民間委託しない fact4: もしも「何らかの物は斟酌しないけどそれは当該組合である」ということは誤っていれば甘ったるい fact5: 何かは敢行しない fact6: もし仮にそのメートルは牛アレルギーであるとすれば「あの二次要素はぶっとかなくておまけにそれは牛アレルギーでない」ということは成り立たない fact7: あの二次要素は牛アレルギーであるならば「そのタバコ病は民間委託しない」ということは成り立つということはない fact8: あの発毛剤がむっとするならそのメートルは牛アレルギーである fact9: もし「敢行しない」ものはあれば「あの金儲けは斟酌しないがしかし当該組合だ」ということは成り立たない ; $hypothesis$ = そのタバコ病は民間委託する ; $proof$ = 
fact4 -> int1: 仮に「あの金儲けは斟酌するということはないけど当該組合だ」ということは成り立たないとすればそれは甘ったるい; fact5 & fact9 -> int2: 「あの金儲けは斟酌するということはないがしかし当該組合だ」ということは誤っている; int1 & int2 -> int3: あの金儲けは甘ったるい; int3 & fact1 -> int4: あの発毛剤はむっとする; int4 & fact8 -> int5: そのメートルは牛アレルギーである; int5 & fact6 -> int6: 「あの二次要素はぶっとかないしその上牛アレルギーでない」ということは確かでない; int6 & fact2 -> hypothesis; __PROVED__
事実1: あの金儲けが甘ったるいならあの発毛剤はむっとする
事実2: 「あの二次要素はぶっとかないし牛アレルギーでない」ということは間違いであるならそのタバコ病は民間委託する
事実3: 「何らかのものはむっとするかまたは甘ったるいかあるいはどちらもだ」ということは成り立たないならそれは民間委託しない
事実4: もしも「何らかの物は斟酌しないけどそれは当該組合である」ということは誤っていれば甘ったるい
事実5: 何かは敢行しない
事実6: もし仮にそのメートルは牛アレルギーであるとすれば「あの二次要素はぶっとかなくておまけにそれは牛アレルギーでない」ということは成り立たない
事実7: あの二次要素は牛アレルギーであるならば「そのタバコ病は民間委託しない」ということは成り立つということはない
事実8: あの発毛剤がむっとするならそのメートルは牛アレルギーである
事実9: もし「敢行しない」ものはあれば「あの金儲けは斟酌しないがしかし当該組合だ」ということは成り立たない

仮説: そのタバコ病は民間委託する
1. 事実4から、推論1: "仮に「あの金儲けは斟酌するということはないけど当該組合だ」ということは成り立たないとすればそれは甘ったるい"が導かれる
2. 事実5と事実9から、推論2: "「あの金儲けは斟酌するということはないがしかし当該組合だ」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "あの金儲けは甘ったるい"が導かれる
4. 推論3と事実1から、推論4: "あの発毛剤はむっとする"が導かれる
5. 推論4と事実8から、推論5: "そのメートルは牛アレルギーである"が導かれる
6. 推論5と事実6から、推論6: "「あの二次要素はぶっとかないしその上牛アレルギーでない」ということは確かでない"が導かれる
7. 推論6と事実2から、仮説が導かれる

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