その呼番号は総重量だということはない
fact1: あの女秘書が天目山だとすればあのレボメプロマジンはＦＥさんだ fact2: 仮にあのレボメプロマジンがＦＥさんだとするとその呼番号は開発・販売する fact3: 「もし「この点Ｖは矢尻であるしそれは芽生えである」ということは成り立たないならばあの呼番号は矢尻でない」ということは真実だ fact4: 仮にあの女秘書がＦＥさんでないとすれば焼き難くてそれに天目山だ fact5: なにかは開発・販売するし気付き易いとすれば総重量でない fact6: 仮にあの経済摩擦が開発・販売しないとするとそれはＦＥさんだし天目山である fact7: もしも「あの経済摩擦は総重量であるしおまけに気付き易い」ということは偽であるなら開発・販売するということはない fact8: もし仮に「墨書であるか焼き難いか両方ともな」ものがあるとしたらあの女秘書は天目山である fact9: 「この点Ｖは矢尻で芽生えだ」ということは間違っている fact10: 仮にあの女秘書が焼き難いけど天目山でないとするとあの経済摩擦は焼き難くない fact11: 「あの経済摩擦は総重量であるし気付き易い」ということは事実と異なる fact12: あの経済摩擦は焼き難い fact13: もし仮になにかは矢尻であるということはないならばそれは梳くしそれにそれは気付き易い fact14: 「あのレボメプロマジンがＦＥさんだしまたそれは気付き易い」ということは本当でない
fact12 -> int1: あの経済摩擦は墨書であるかまたは焼き難い; int1 -> int2: 「なにがしかのものは墨書であるか焼き難いかもしくは両方ともだ」ということは本当だ; int2 & fact8 -> int3: あの女秘書は天目山だ; int3 & fact1 -> int4: あのレボメプロマジンはＦＥさんである; int4 & fact2 -> int5: その呼番号は開発・販売する; fact13 -> int6: その呼番号が矢尻でないとすれば梳くしまた気付き易い; fact3 & fact9 -> int7: その呼番号は矢尻であるということはない; int6 & int7 -> int8: その呼番号は梳くし気付き易い; int8 -> int9: その呼番号は気付き易い; int5 & int9 -> int10: その呼番号は開発・販売するしその上気付き易い; fact5 -> int11: 仮にその呼番号が開発・販売するし気付き易いならば「総重量でない」ということは事実である; int10 & int11 -> hypothesis;
その既存資料は梳く
fact16 & fact15 -> int12: あの経済摩擦は開発・販売しない; fact17 & int12 -> int13: あの経済摩擦はＦＥさんでおまけに天目山だ; int13 -> int14: あの経済摩擦は天目山だ; int14 -> int15: 「天目山である」物はある;
$facts$ = fact1: あの女秘書が天目山だとすればあのレボメプロマジンはＦＥさんだ fact2: 仮にあのレボメプロマジンがＦＥさんだとするとその呼番号は開発・販売する fact3: 「もし「この点Ｖは矢尻であるしそれは芽生えである」ということは成り立たないならばあの呼番号は矢尻でない」ということは真実だ fact4: 仮にあの女秘書がＦＥさんでないとすれば焼き難くてそれに天目山だ fact5: なにかは開発・販売するし気付き易いとすれば総重量でない fact6: 仮にあの経済摩擦が開発・販売しないとするとそれはＦＥさんだし天目山である fact7: もしも「あの経済摩擦は総重量であるしおまけに気付き易い」ということは偽であるなら開発・販売するということはない fact8: もし仮に「墨書であるか焼き難いか両方ともな」ものがあるとしたらあの女秘書は天目山である fact9: 「この点Ｖは矢尻で芽生えだ」ということは間違っている fact10: 仮にあの女秘書が焼き難いけど天目山でないとするとあの経済摩擦は焼き難くない fact11: 「あの経済摩擦は総重量であるし気付き易い」ということは事実と異なる fact12: あの経済摩擦は焼き難い fact13: もし仮になにかは矢尻であるということはないならばそれは梳くしそれにそれは気付き易い fact14: 「あのレボメプロマジンがＦＥさんだしまたそれは気付き易い」ということは本当でない ; $hypothesis$ = その呼番号は総重量だということはない ; $proof$ = 
fact12 -> int1: あの経済摩擦は墨書であるかまたは焼き難い; int1 -> int2: 「なにがしかのものは墨書であるか焼き難いかもしくは両方ともだ」ということは本当だ; int2 & fact8 -> int3: あの女秘書は天目山だ; int3 & fact1 -> int4: あのレボメプロマジンはＦＥさんである; int4 & fact2 -> int5: その呼番号は開発・販売する; fact13 -> int6: その呼番号が矢尻でないとすれば梳くしまた気付き易い; fact3 & fact9 -> int7: その呼番号は矢尻であるということはない; int6 & int7 -> int8: その呼番号は梳くし気付き易い; int8 -> int9: その呼番号は気付き易い; int5 & int9 -> int10: その呼番号は開発・販売するしその上気付き易い; fact5 -> int11: 仮にその呼番号が開発・販売するし気付き易いならば「総重量でない」ということは事実である; int10 & int11 -> hypothesis; __PROVED__
事実1: あの女秘書が天目山だとすればあのレボメプロマジンはＦＥさんだ
事実2: 仮にあのレボメプロマジンがＦＥさんだとするとその呼番号は開発・販売する
事実3: 「もし「この点Ｖは矢尻であるしそれは芽生えである」ということは成り立たないならばあの呼番号は矢尻でない」ということは真実だ
事実4: 仮にあの女秘書がＦＥさんでないとすれば焼き難くてそれに天目山だ
事実5: なにかは開発・販売するし気付き易いとすれば総重量でない
事実6: 仮にあの経済摩擦が開発・販売しないとするとそれはＦＥさんだし天目山である
事実7: もしも「あの経済摩擦は総重量であるしおまけに気付き易い」ということは偽であるなら開発・販売するということはない
事実8: もし仮に「墨書であるか焼き難いか両方ともな」ものがあるとしたらあの女秘書は天目山である
事実9: 「この点Ｖは矢尻で芽生えだ」ということは間違っている
事実10: 仮にあの女秘書が焼き難いけど天目山でないとするとあの経済摩擦は焼き難くない
事実11: 「あの経済摩擦は総重量であるし気付き易い」ということは事実と異なる
事実12: あの経済摩擦は焼き難い
事実13: もし仮になにかは矢尻であるということはないならばそれは梳くしそれにそれは気付き易い
事実14: 「あのレボメプロマジンがＦＥさんだしまたそれは気付き易い」ということは本当でない

仮説: その呼番号は総重量だということはない
1. 事実12から、推論1: "あの経済摩擦は墨書であるかまたは焼き難い"が導かれる
2. 推論1から、推論2: "「なにがしかのものは墨書であるか焼き難いかもしくは両方ともだ」ということは本当だ"が導かれる
3. 推論2と事実8から、推論3: "あの女秘書は天目山だ"が導かれる
4. 推論3と事実1から、推論4: "あのレボメプロマジンはＦＥさんである"が導かれる
5. 推論4と事実2から、推論5: "その呼番号は開発・販売する"が導かれる
6. 事実13から、推論6: "その呼番号が矢尻でないとすれば梳くしまた気付き易い"が導かれる
7. 事実3と事実9から、推論7: "その呼番号は矢尻であるということはない"が導かれる
8. 推論6と推論7から、推論8: "その呼番号は梳くし気付き易い"が導かれる
9. 推論8から、推論9: "その呼番号は気付き易い"が導かれる
10. 推論5と推論9から、推論10: "その呼番号は開発・販売するしその上気付き易い"が導かれる
11. 事実5から、推論11: "仮にその呼番号が開発・販売するし気付き易いならば「総重量でない」ということは事実である"が導かれる
12. 推論10と推論11から、仮説が導かれる

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