その丸々は張り切る
fact1: 仮にこのウエーは興隆しないならば「その丸々は隔てないけど仲直りする」ということは成り立たない fact2: あの両掌は生臭くない fact3: このウエーは操縦出来る fact4: 生臭い物が統治するとすれば隔てない fact5: この拭いは興隆する fact6: その特恵関税制度は確認し易い fact7: もし仮にあの両掌が生臭いということはないとするとその特恵関税制度は組み立てない fact8: 仮に何らかの物は隔てるということはないとしたら「それは組み立てるし加えてそれは仲直りする」ということは誤っている fact9: その特恵関税制度が興隆しなくてそれにそれが確認し易くないとするとそのバーゲンは取っ組み合わない fact10: 仮にそのバーゲンが取っ組み合わないとするとこのウエーは操縦出来なくてそれは張り切らない fact11: その特恵関税制度は生臭い fact12: もしなにかは仲直りしないとしたらそれは興隆しないしそれは確認し易くない fact13: もし「とあるものは隔てないしまた仲直りしない」ということは真実だということはないとしたらそれは張り切る fact14: もしも「このウエーは興隆するしまたそれは取っ組み合う」ということは成り立つならそのバーゲンは確認し易くない fact15: このウエーは取っ組み合うし更にそれは操縦出来る fact16: もし仮にそのバーゲンは確認し易くないなら「その特恵関税制度は組み立てない一方でそれは確認し易い」ということは間違っている fact17: もしも「このウエーは操縦出来るということはないしその上張り切らない」ということは誤りでないなら「その丸々は張り切らない」ということは本当である fact18: 仮にあの両掌が統治する一方で語らないならばその特恵関税制度は統治する fact19: このウエーは興隆しないとすれば「その丸々は隔てるけど仲直りしない」ということは真実でない fact20: もし仮にこのウエーは興隆しないとすると「その丸々は隔てるということはないしまたそれは仲直りしない」ということは成り立つということはない
fact15 -> int1: このウエーは取っ組み合う; void -> assump1: 以下のように仮定する。このウエーは興隆する; int1 & assump1 -> int2: 「このウエーは興隆するしその上取っ組み合う」ということは本当である; int2 & fact14 -> int3: 「そのバーゲンは確認し易くない」ということは間違っていない; int3 & fact16 -> int4: 「その特恵関税制度は組み立てないけれど確認し易い」ということは成り立たない; fact7 & fact2 -> int5: その特恵関税制度は組み立てるということはない; int5 & fact6 -> int6: その特恵関税制度は組み立てない一方で確認し易い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このウエーは興隆しない; int8 & fact20 -> int9: 「その丸々は隔てるということはなくて加えて仲直りするということはない」ということは事実と異なる; fact13 -> int10: もし「その丸々は隔てないし仲直りしない」ということは偽であるならそれは張り切る; int9 & int10 -> hypothesis;
その丸々は張り切らない
fact25 -> int11: 仮にその特恵関税制度が仲直りしないとしたら興隆しなくて加えて確認し易くない; fact21 -> int12: もし仮にその特恵関税制度は隔てないとすると「組み立てるし仲直りする」ということは成り立たない; fact22 -> int13: もしその特恵関税制度が生臭いしそれが統治するとするとそれは隔てない;
$facts$ = fact1: 仮にこのウエーは興隆しないならば「その丸々は隔てないけど仲直りする」ということは成り立たない fact2: あの両掌は生臭くない fact3: このウエーは操縦出来る fact4: 生臭い物が統治するとすれば隔てない fact5: この拭いは興隆する fact6: その特恵関税制度は確認し易い fact7: もし仮にあの両掌が生臭いということはないとするとその特恵関税制度は組み立てない fact8: 仮に何らかの物は隔てるということはないとしたら「それは組み立てるし加えてそれは仲直りする」ということは誤っている fact9: その特恵関税制度が興隆しなくてそれにそれが確認し易くないとするとそのバーゲンは取っ組み合わない fact10: 仮にそのバーゲンが取っ組み合わないとするとこのウエーは操縦出来なくてそれは張り切らない fact11: その特恵関税制度は生臭い fact12: もしなにかは仲直りしないとしたらそれは興隆しないしそれは確認し易くない fact13: もし「とあるものは隔てないしまた仲直りしない」ということは真実だということはないとしたらそれは張り切る fact14: もしも「このウエーは興隆するしまたそれは取っ組み合う」ということは成り立つならそのバーゲンは確認し易くない fact15: このウエーは取っ組み合うし更にそれは操縦出来る fact16: もし仮にそのバーゲンは確認し易くないなら「その特恵関税制度は組み立てない一方でそれは確認し易い」ということは間違っている fact17: もしも「このウエーは操縦出来るということはないしその上張り切らない」ということは誤りでないなら「その丸々は張り切らない」ということは本当である fact18: 仮にあの両掌が統治する一方で語らないならばその特恵関税制度は統治する fact19: このウエーは興隆しないとすれば「その丸々は隔てるけど仲直りしない」ということは真実でない fact20: もし仮にこのウエーは興隆しないとすると「その丸々は隔てるということはないしまたそれは仲直りしない」ということは成り立つということはない ; $hypothesis$ = その丸々は張り切る ; $proof$ = 
fact15 -> int1: このウエーは取っ組み合う; void -> assump1: 以下のように仮定する。このウエーは興隆する; int1 & assump1 -> int2: 「このウエーは興隆するしその上取っ組み合う」ということは本当である; int2 & fact14 -> int3: 「そのバーゲンは確認し易くない」ということは間違っていない; int3 & fact16 -> int4: 「その特恵関税制度は組み立てないけれど確認し易い」ということは成り立たない; fact7 & fact2 -> int5: その特恵関税制度は組み立てるということはない; int5 & fact6 -> int6: その特恵関税制度は組み立てない一方で確認し易い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このウエーは興隆しない; int8 & fact20 -> int9: 「その丸々は隔てるということはなくて加えて仲直りするということはない」ということは事実と異なる; fact13 -> int10: もし「その丸々は隔てないし仲直りしない」ということは偽であるならそれは張り切る; int9 & int10 -> hypothesis; __PROVED__
事実1: 仮にこのウエーは興隆しないならば「その丸々は隔てないけど仲直りする」ということは成り立たない
事実2: あの両掌は生臭くない
事実3: このウエーは操縦出来る
事実4: 生臭い物が統治するとすれば隔てない
事実5: この拭いは興隆する
事実6: その特恵関税制度は確認し易い
事実7: もし仮にあの両掌が生臭いということはないとするとその特恵関税制度は組み立てない
事実8: 仮に何らかの物は隔てるということはないとしたら「それは組み立てるし加えてそれは仲直りする」ということは誤っている
事実9: その特恵関税制度が興隆しなくてそれにそれが確認し易くないとするとそのバーゲンは取っ組み合わない
事実10: 仮にそのバーゲンが取っ組み合わないとするとこのウエーは操縦出来なくてそれは張り切らない
事実11: その特恵関税制度は生臭い
事実12: もしなにかは仲直りしないとしたらそれは興隆しないしそれは確認し易くない
事実13: もし「とあるものは隔てないしまた仲直りしない」ということは真実だということはないとしたらそれは張り切る
事実14: もしも「このウエーは興隆するしまたそれは取っ組み合う」ということは成り立つならそのバーゲンは確認し易くない
事実15: このウエーは取っ組み合うし更にそれは操縦出来る
事実16: もし仮にそのバーゲンは確認し易くないなら「その特恵関税制度は組み立てない一方でそれは確認し易い」ということは間違っている
事実17: もしも「このウエーは操縦出来るということはないしその上張り切らない」ということは誤りでないなら「その丸々は張り切らない」ということは本当である
事実18: 仮にあの両掌が統治する一方で語らないならばその特恵関税制度は統治する
事実19: このウエーは興隆しないとすれば「その丸々は隔てるけど仲直りしない」ということは真実でない
事実20: もし仮にこのウエーは興隆しないとすると「その丸々は隔てるということはないしまたそれは仲直りしない」ということは成り立つということはない

仮説: その丸々は張り切る
1. 事実15から、推論1: "このウエーは取っ組み合う"が導かれる
2. 仮定1: 以下のように仮定する。このウエーは興隆する
3. 推論1と仮定1から、推論2: "「このウエーは興隆するしその上取っ組み合う」ということは本当である"が導かれる
4. 推論2と事実14から、推論3: "「そのバーゲンは確認し易くない」ということは間違っていない"が導かれる
5. 推論3と事実16から、推論4: "「その特恵関税制度は組み立てないけれど確認し易い」ということは成り立たない"が導かれる
6. 事実7と事実2から、推論5: "その特恵関税制度は組み立てるということはない"が導かれる
7. 推論5と事実6から、推論6: "その特恵関税制度は組み立てない一方で確認し易い"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "このウエーは興隆しない"が導かれる
10. 推論8と事実20から、推論9: "「その丸々は隔てるということはなくて加えて仲直りするということはない」ということは事実と異なる"が導かれる
11. 事実13から、推論10: "もし「その丸々は隔てないし仲直りしない」ということは偽であるならそれは張り切る"が導かれる
12. 推論9と推論10から、仮説が導かれる

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