そのアメリカざりがにはめでたし
fact1: もしも「この支出金は御忙しいがむず痒いということはない」ということは間違っているとすると「そのアメリカざりがにはめでたし」ということは正しい fact2: 仮にこの支出金が御察しするとすると分かち難い fact3: 「この支出金はめでたしけれどむず痒くない」ということは間違っているとすればそのアメリカざりがには分かち難い fact4: この支出金はめでたしならば「そのアメリカざりがには御忙しい」ということは真実である fact5: この支出金は御察しする fact6: あのおこわは御忙しい fact7: 「あのサービスパックは御察しする」ということは成り立つ fact8: あるものは分かち難いとしたら「御忙しいが御察しするということはない」ということは間違いだ fact9: 仮になにがしかのものは分かち難いならば「それは御忙しいがしかしむず痒くない」ということは偽である fact10: この支出金は三十秒後である fact11: このＭＭ単位は分かち難い fact12: その主催者側は御察しする
fact9 -> int1: 仮にこの支出金は分かち難いとしたら「御忙しい一方でむず痒いということはない」ということは成り立たない; fact2 & fact5 -> int2: この支出金は分かち難い; int1 & int2 -> int3: 「この支出金は御忙しいがむず痒くない」ということは偽だ; int3 & fact1 -> hypothesis;
fact9 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); fact2 & fact5 -> int2: {A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & ¬{AB}{aa}); int3 & fact1 -> hypothesis;
$facts$ = fact1: もしも「この支出金は御忙しいがむず痒いということはない」ということは間違っているとすると「そのアメリカざりがにはめでたし」ということは正しい fact2: 仮にこの支出金が御察しするとすると分かち難い fact3: 「この支出金はめでたしけれどむず痒くない」ということは間違っているとすればそのアメリカざりがには分かち難い fact4: この支出金はめでたしならば「そのアメリカざりがには御忙しい」ということは真実である fact5: この支出金は御察しする fact6: あのおこわは御忙しい fact7: 「あのサービスパックは御察しする」ということは成り立つ fact8: あるものは分かち難いとしたら「御忙しいが御察しするということはない」ということは間違いだ fact9: 仮になにがしかのものは分かち難いならば「それは御忙しいがしかしむず痒くない」ということは偽である fact10: この支出金は三十秒後である fact11: このＭＭ単位は分かち難い fact12: その主催者側は御察しする ; $hypothesis$ = そのアメリカざりがにはめでたし ; $proof$ = 
fact9 -> int1: 仮にこの支出金は分かち難いとしたら「御忙しい一方でむず痒いということはない」ということは成り立たない; fact2 & fact5 -> int2: この支出金は分かち難い; int1 & int2 -> int3: 「この支出金は御忙しいがむず痒くない」ということは偽だ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしも「この支出金は御忙しいがむず痒いということはない」ということは間違っているとすると「そのアメリカざりがにはめでたし」ということは正しい
事実2: 仮にこの支出金が御察しするとすると分かち難い
事実3: 「この支出金はめでたしけれどむず痒くない」ということは間違っているとすればそのアメリカざりがには分かち難い
事実4: この支出金はめでたしならば「そのアメリカざりがには御忙しい」ということは真実である
事実5: この支出金は御察しする
事実6: あのおこわは御忙しい
事実7: 「あのサービスパックは御察しする」ということは成り立つ
事実8: あるものは分かち難いとしたら「御忙しいが御察しするということはない」ということは間違いだ
事実9: 仮になにがしかのものは分かち難いならば「それは御忙しいがしかしむず痒くない」ということは偽である
事実10: この支出金は三十秒後である
事実11: このＭＭ単位は分かち難い
事実12: その主催者側は御察しする

仮説: そのアメリカざりがにはめでたし
1. 事実9から、推論1: "仮にこの支出金は分かち難いとしたら「御忙しい一方でむず痒いということはない」ということは成り立たない"が導かれる
2. 事実2と事実5から、推論2: "この支出金は分かち難い"が導かれる
3. 推論1と推論2から、推論3: "「この支出金は御忙しいがむず痒くない」ということは偽だ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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