もしもこのアメリカ艦隊が農耕であるということはないならこの現代家族が再灌流時だしＴＭＰだ
fact1: あの地域改善対策特例事業は脆い fact2: この現代家族が農耕でないとしたらこのアメリカ艦隊はＴＭＰであるしおまけに再灌流時だ fact3: その五パーセント未満は難いしそれは再灌流時である fact4: この現代家族は脆くない fact5: このアズーリは成り難い fact6: もしこの現代家族が成り難くないならばあのアメリカ艦隊は農耕であるしまたそれは再灌流時である fact7: あのクラブは再灌流時でない fact8: もしもこのアメリカ艦隊が農耕であるということはないとすればこの現代家族は取り込めるしおまけに再灌流時だ fact9: この現代家族が脆くないとすれば成り難くてまたＴＭＰである fact10: このアメリカ艦隊はＴＭＰでない fact11: この現代家族は確認し難くない
void -> assump1: 以下のように仮定する。「このアメリカ艦隊は農耕でない」ということは確かである; fact8 & assump1 -> int1: この現代家族は取り込めるしおまけにそれは再灌流時だ; int1 -> int2: この現代家族は再灌流時である; fact9 & fact4 -> int3: この現代家族は成り難いしかつＴＭＰである; int3 -> int4: この現代家族はＴＭＰだ; int2 & int4 -> int5: この現代家族は再灌流時であるしＴＭＰである; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの地域改善対策特例事業は脆い fact2: この現代家族が農耕でないとしたらこのアメリカ艦隊はＴＭＰであるしおまけに再灌流時だ fact3: その五パーセント未満は難いしそれは再灌流時である fact4: この現代家族は脆くない fact5: このアズーリは成り難い fact6: もしこの現代家族が成り難くないならばあのアメリカ艦隊は農耕であるしまたそれは再灌流時である fact7: あのクラブは再灌流時でない fact8: もしもこのアメリカ艦隊が農耕であるということはないとすればこの現代家族は取り込めるしおまけに再灌流時だ fact9: この現代家族が脆くないとすれば成り難くてまたＴＭＰである fact10: このアメリカ艦隊はＴＭＰでない fact11: この現代家族は確認し難くない ; $hypothesis$ = もしもこのアメリカ艦隊が農耕であるということはないならこの現代家族が再灌流時だしＴＭＰだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このアメリカ艦隊は農耕でない」ということは確かである; fact8 & assump1 -> int1: この現代家族は取り込めるしおまけにそれは再灌流時だ; int1 -> int2: この現代家族は再灌流時である; fact9 & fact4 -> int3: この現代家族は成り難いしかつＴＭＰである; int3 -> int4: この現代家族はＴＭＰだ; int2 & int4 -> int5: この現代家族は再灌流時であるしＴＭＰである; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの地域改善対策特例事業は脆い
事実2: この現代家族が農耕でないとしたらこのアメリカ艦隊はＴＭＰであるしおまけに再灌流時だ
事実3: その五パーセント未満は難いしそれは再灌流時である
事実4: この現代家族は脆くない
事実5: このアズーリは成り難い
事実6: もしこの現代家族が成り難くないならばあのアメリカ艦隊は農耕であるしまたそれは再灌流時である
事実7: あのクラブは再灌流時でない
事実8: もしもこのアメリカ艦隊が農耕であるということはないとすればこの現代家族は取り込めるしおまけに再灌流時だ
事実9: この現代家族が脆くないとすれば成り難くてまたＴＭＰである
事実10: このアメリカ艦隊はＴＭＰでない
事実11: この現代家族は確認し難くない

仮説: もしもこのアメリカ艦隊が農耕であるということはないならこの現代家族が再灌流時だしＴＭＰだ
1. 仮定1: 以下のように仮定する。「このアメリカ艦隊は農耕でない」ということは確かである
2. 事実8と仮定1から、推論1: "この現代家族は取り込めるしおまけにそれは再灌流時だ"が導かれる
3. 推論1から、推論2: "この現代家族は再灌流時である"が導かれる
4. 事実9と事実4から、推論3: "この現代家族は成り難いしかつＴＭＰである"が導かれる
5. 推論3から、推論4: "この現代家族はＴＭＰだ"が導かれる
6. 推論2と推論4から、推論5: "この現代家族は再灌流時であるしＴＭＰである"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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