もしこの第二次世界大戦以前が社会的交換であるならその訪問国は過剰発現する
fact1: 仮に「とあるものは易しない一方で発行す」ということは成り立たないとすれば社会的交換である fact2: この前掲最判は頼り切らない fact3: もし仮に「とあるものは意識し始めないがしかし忘れ易い」ということは偽だとしたらバッシングしない fact4: この第二次世界大戦以前は発行す fact5: 「仮に「とあるものは易しないが発行す」ということは誤っているとすれば社会的交換でない」ということは成り立つ fact6: 仮に軟質が頼り切るなら過剰発現する fact7: その訪問国は軟質でない fact8: とある物が生まれ付かないとすれば起こり難くないけれど想像し易い fact9: もしこの第二次世界大戦以前が易しない一方で発行すとしたら「その訪問国は表わさない」ということは本当である fact10: その均衡生産量はハンチバック蛋白質でない fact11: もし「この第二次世界大戦以前は期間限定でないけれど過剰発現する」ということは間違っていれば咲き広がるということはない fact12: もし仮になにかは軟質だということはないがしかし頼り切ればそれは過剰発現する fact13: もし「「この第二次世界大戦以前は易しということはないが発行す」ということは確かだ」ということは成り立たないとしたら社会的交換である fact14: なんらかの物が発行すらないとしたらそれは社会的交換だということはない fact15: 「その訪問国は育ち難くないけど軟質だ」ということは誤っている fact16: 仮にその訪問国が表わさないとすれば軟質でない fact17: もしもこの第二次世界大戦以前が発行すということはないならばそれは社会的交換でない fact18: 何らかのものが表わすということはないとすればそれは軟質でないがしかし頼り切る fact19: 仮にその訪問国が軟質であるしそれが頼り切るとするとそれは過剰発現する fact20: 仮に何らかのものが表わさないならそれは軟質でない fact21: 仮にある物がダブりでない一方でそれが故無いとすると千九百年代である
fact5 -> int1: 「もし「この第二次世界大戦以前は易しないけど発行す」ということは間違いであるとしたらこの第二次世界大戦以前は社会的交換でない」ということは確かである; void -> assump1: 以下のように仮定する。「この第二次世界大戦以前は易しない一方で発行す」ということは成り立たない; int1 & assump1 -> int2: この第二次世界大戦以前は社会的交換であるということはない; void -> assump2: 以下のように仮定する。この第二次世界大戦以前は社会的交換だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この第二次世界大戦以前は易しということはない一方でそれは発行す; int4 & fact9 -> int5: その訪問国は表わさない; fact18 -> int6: もし「その訪問国は表わさない」ということは成り立てば軟質でないけど頼り切る; int5 & int6 -> int7: その訪問国は軟質でない一方で頼り切る; fact12 -> int8: その訪問国が軟質でないけれどそれが頼り切るとすると過剰発現する; int7 & int8 -> int9: その訪問国は過剰発現する; [assump2] & int9 -> hypothesis;
$facts$ = fact1: 仮に「とあるものは易しない一方で発行す」ということは成り立たないとすれば社会的交換である fact2: この前掲最判は頼り切らない fact3: もし仮に「とあるものは意識し始めないがしかし忘れ易い」ということは偽だとしたらバッシングしない fact4: この第二次世界大戦以前は発行す fact5: 「仮に「とあるものは易しないが発行す」ということは誤っているとすれば社会的交換でない」ということは成り立つ fact6: 仮に軟質が頼り切るなら過剰発現する fact7: その訪問国は軟質でない fact8: とある物が生まれ付かないとすれば起こり難くないけれど想像し易い fact9: もしこの第二次世界大戦以前が易しない一方で発行すとしたら「その訪問国は表わさない」ということは本当である fact10: その均衡生産量はハンチバック蛋白質でない fact11: もし「この第二次世界大戦以前は期間限定でないけれど過剰発現する」ということは間違っていれば咲き広がるということはない fact12: もし仮になにかは軟質だということはないがしかし頼り切ればそれは過剰発現する fact13: もし「「この第二次世界大戦以前は易しということはないが発行す」ということは確かだ」ということは成り立たないとしたら社会的交換である fact14: なんらかの物が発行すらないとしたらそれは社会的交換だということはない fact15: 「その訪問国は育ち難くないけど軟質だ」ということは誤っている fact16: 仮にその訪問国が表わさないとすれば軟質でない fact17: もしもこの第二次世界大戦以前が発行すということはないならばそれは社会的交換でない fact18: 何らかのものが表わすということはないとすればそれは軟質でないがしかし頼り切る fact19: 仮にその訪問国が軟質であるしそれが頼り切るとするとそれは過剰発現する fact20: 仮に何らかのものが表わさないならそれは軟質でない fact21: 仮にある物がダブりでない一方でそれが故無いとすると千九百年代である ; $hypothesis$ = もしこの第二次世界大戦以前が社会的交換であるならその訪問国は過剰発現する ; $proof$ = 
fact5 -> int1: 「もし「この第二次世界大戦以前は易しないけど発行す」ということは間違いであるとしたらこの第二次世界大戦以前は社会的交換でない」ということは確かである; void -> assump1: 以下のように仮定する。「この第二次世界大戦以前は易しない一方で発行す」ということは成り立たない; int1 & assump1 -> int2: この第二次世界大戦以前は社会的交換であるということはない; void -> assump2: 以下のように仮定する。この第二次世界大戦以前は社会的交換だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この第二次世界大戦以前は易しということはない一方でそれは発行す; int4 & fact9 -> int5: その訪問国は表わさない; fact18 -> int6: もし「その訪問国は表わさない」ということは成り立てば軟質でないけど頼り切る; int5 & int6 -> int7: その訪問国は軟質でない一方で頼り切る; fact12 -> int8: その訪問国が軟質でないけれどそれが頼り切るとすると過剰発現する; int7 & int8 -> int9: その訪問国は過剰発現する; [assump2] & int9 -> hypothesis; __PROVED__
事実1: 仮に「とあるものは易しない一方で発行す」ということは成り立たないとすれば社会的交換である
事実2: この前掲最判は頼り切らない
事実3: もし仮に「とあるものは意識し始めないがしかし忘れ易い」ということは偽だとしたらバッシングしない
事実4: この第二次世界大戦以前は発行す
事実5: 「仮に「とあるものは易しないが発行す」ということは誤っているとすれば社会的交換でない」ということは成り立つ
事実6: 仮に軟質が頼り切るなら過剰発現する
事実7: その訪問国は軟質でない
事実8: とある物が生まれ付かないとすれば起こり難くないけれど想像し易い
事実9: もしこの第二次世界大戦以前が易しない一方で発行すとしたら「その訪問国は表わさない」ということは本当である
事実10: その均衡生産量はハンチバック蛋白質でない
事実11: もし「この第二次世界大戦以前は期間限定でないけれど過剰発現する」ということは間違っていれば咲き広がるということはない
事実12: もし仮になにかは軟質だということはないがしかし頼り切ればそれは過剰発現する
事実13: もし「「この第二次世界大戦以前は易しということはないが発行す」ということは確かだ」ということは成り立たないとしたら社会的交換である
事実14: なんらかの物が発行すらないとしたらそれは社会的交換だということはない
事実15: 「その訪問国は育ち難くないけど軟質だ」ということは誤っている
事実16: 仮にその訪問国が表わさないとすれば軟質でない
事実17: もしもこの第二次世界大戦以前が発行すということはないならばそれは社会的交換でない
事実18: 何らかのものが表わすということはないとすればそれは軟質でないがしかし頼り切る
事実19: 仮にその訪問国が軟質であるしそれが頼り切るとするとそれは過剰発現する
事実20: 仮に何らかのものが表わさないならそれは軟質でない
事実21: 仮にある物がダブりでない一方でそれが故無いとすると千九百年代である

仮説: もしこの第二次世界大戦以前が社会的交換であるならその訪問国は過剰発現する
1. 事実5から、推論1: "「もし「この第二次世界大戦以前は易しないけど発行す」ということは間違いであるとしたらこの第二次世界大戦以前は社会的交換でない」ということは確かである"が導かれる
2. 仮定1: 以下のように仮定する。「この第二次世界大戦以前は易しない一方で発行す」ということは成り立たない
3. 推論1と仮定1から、推論2: "この第二次世界大戦以前は社会的交換であるということはない"が導かれる
4. 仮定2: 以下のように仮定する。この第二次世界大戦以前は社会的交換だ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この第二次世界大戦以前は易しということはない一方でそれは発行す"が導かれる
7. 推論4と事実9から、推論5: "その訪問国は表わさない"が導かれる
8. 事実18から、推論6: "もし「その訪問国は表わさない」ということは成り立てば軟質でないけど頼り切る"が導かれる
9. 推論5と推論6から、推論7: "その訪問国は軟質でない一方で頼り切る"が導かれる
10. 事実12から、推論8: "その訪問国が軟質でないけれどそれが頼り切るとすると過剰発現する"が導かれる
11. 推論7と推論8から、推論9: "その訪問国は過剰発現する"が導かれる
12. [仮定2]と推論9から、仮説が導かれる

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