この強制解約は上がり難い
fact1: この餡こ玉は尖むない fact2: 仮になにがしかの物が煽てるとすると尖む fact3: 「ビッラ・ジュリア・エトルリア博物館な」物はある fact4: なにがしかの物は音楽家達でない fact5: もし「なにがしかのものは付着し易いけど圧排しない」ということは成り立たないなら試験室である fact6: もしも「なにかは上がり難いということはないしさらに試験室でない」ということは間違いであるとしたらそれは察すということはない fact7: その丸髷は煽てるかもしくはそれは試験室であるということはないか両方だ fact8: 「この強制解約は圧排するし更に付着し易い」ということは成り立たない fact9: なにかは尖むがそれが達観しないならそれは煽てるということはない fact10: 仮にこの強制解約は付着し易いとすれば「察す」ということは正しい fact11: もし仮になんらかのものは上がり難くないとすると「圧排するしまた付着し易い」ということは偽である fact12: なにかは疾し fact13: 「尖む」ものはある fact14: もしも何らかのものは圧排しないならば「煽てるしその上尖むない」ということは確かでない fact15: もしもとあるものは話し易くないとしたら尖むけれど達観しない fact16: もしもなんらかの物は尖むないならば「その丸髷は煽てないか試験室でない」ということは成り立たない fact17: 仮になにかは察すとすればその丸髷は煽てないかあるいは試験室であるということはない fact18: このナースは尖むない fact19: ある物は上がり難くないなら「それは圧排するし更に付着し易くない」ということは事実と異なる fact20: もし仮になんらかの物は察すとすれば「その丸髷は煽てるかもしくは試験室でないか両方である」ということは間違っているということはない fact21: もし「とあるものは圧排するけれどそれは付着し易いということはない」ということは成り立たないとすれば察す fact22: その丸髷は煽てる
fact19 -> int1: この強制解約は上がり難いということはないなら「それは圧排する一方で付着し易くない」ということは間違いだ; void -> assump1: 以下のように仮定する。この強制解約は上がり難くない; int1 & assump1 -> int2: 「この強制解約は圧排するけれど付着し易くない」ということは成り立たない; fact21 -> int3: 仮に「この強制解約は圧排するけれど付着し易くない」ということは事実と異なるなら察す; int2 & int3 -> int4: この強制解約は察す; int4 -> int5: 「察す」物はある; int5 & fact17 -> int6: その丸髷は煽てないか試験室でないかまたは両方ともだ; fact18 -> int7: 「尖むない」ものはある; fact16 & int7 -> int8: 「その丸髷は煽てないかあるいは試験室でない」ということは成り立つということはない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの自発性は察さない
fact25 -> int10: もし「あの自発性は上がり難くなくて試験室でない」ということは事実と異なるとすれば察さない; fact26 -> int11: 仮にその丸髷が尖む一方で達観しないとしたら「それは煽てるということはない」ということは成り立つ; fact24 -> int12: もしその丸髷は話し易くないとすれば尖むがしかし達観しない;
$facts$ = fact1: この餡こ玉は尖むない fact2: 仮になにがしかの物が煽てるとすると尖む fact3: 「ビッラ・ジュリア・エトルリア博物館な」物はある fact4: なにがしかの物は音楽家達でない fact5: もし「なにがしかのものは付着し易いけど圧排しない」ということは成り立たないなら試験室である fact6: もしも「なにかは上がり難いということはないしさらに試験室でない」ということは間違いであるとしたらそれは察すということはない fact7: その丸髷は煽てるかもしくはそれは試験室であるということはないか両方だ fact8: 「この強制解約は圧排するし更に付着し易い」ということは成り立たない fact9: なにかは尖むがそれが達観しないならそれは煽てるということはない fact10: 仮にこの強制解約は付着し易いとすれば「察す」ということは正しい fact11: もし仮になんらかのものは上がり難くないとすると「圧排するしまた付着し易い」ということは偽である fact12: なにかは疾し fact13: 「尖む」ものはある fact14: もしも何らかのものは圧排しないならば「煽てるしその上尖むない」ということは確かでない fact15: もしもとあるものは話し易くないとしたら尖むけれど達観しない fact16: もしもなんらかの物は尖むないならば「その丸髷は煽てないか試験室でない」ということは成り立たない fact17: 仮になにかは察すとすればその丸髷は煽てないかあるいは試験室であるということはない fact18: このナースは尖むない fact19: ある物は上がり難くないなら「それは圧排するし更に付着し易くない」ということは事実と異なる fact20: もし仮になんらかの物は察すとすれば「その丸髷は煽てるかもしくは試験室でないか両方である」ということは間違っているということはない fact21: もし「とあるものは圧排するけれどそれは付着し易いということはない」ということは成り立たないとすれば察す fact22: その丸髷は煽てる ; $hypothesis$ = この強制解約は上がり難い ; $proof$ = 
fact19 -> int1: この強制解約は上がり難いということはないなら「それは圧排する一方で付着し易くない」ということは間違いだ; void -> assump1: 以下のように仮定する。この強制解約は上がり難くない; int1 & assump1 -> int2: 「この強制解約は圧排するけれど付着し易くない」ということは成り立たない; fact21 -> int3: 仮に「この強制解約は圧排するけれど付着し易くない」ということは事実と異なるなら察す; int2 & int3 -> int4: この強制解約は察す; int4 -> int5: 「察す」物はある; int5 & fact17 -> int6: その丸髷は煽てないか試験室でないかまたは両方ともだ; fact18 -> int7: 「尖むない」ものはある; fact16 & int7 -> int8: 「その丸髷は煽てないかあるいは試験室でない」ということは成り立つということはない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: この餡こ玉は尖むない
事実2: 仮になにがしかの物が煽てるとすると尖む
事実3: 「ビッラ・ジュリア・エトルリア博物館な」物はある
事実4: なにがしかの物は音楽家達でない
事実5: もし「なにがしかのものは付着し易いけど圧排しない」ということは成り立たないなら試験室である
事実6: もしも「なにかは上がり難いということはないしさらに試験室でない」ということは間違いであるとしたらそれは察すということはない
事実7: その丸髷は煽てるかもしくはそれは試験室であるということはないか両方だ
事実8: 「この強制解約は圧排するし更に付着し易い」ということは成り立たない
事実9: なにかは尖むがそれが達観しないならそれは煽てるということはない
事実10: 仮にこの強制解約は付着し易いとすれば「察す」ということは正しい
事実11: もし仮になんらかのものは上がり難くないとすると「圧排するしまた付着し易い」ということは偽である
事実12: なにかは疾し
事実13: 「尖む」ものはある
事実14: もしも何らかのものは圧排しないならば「煽てるしその上尖むない」ということは確かでない
事実15: もしもとあるものは話し易くないとしたら尖むけれど達観しない
事実16: もしもなんらかの物は尖むないならば「その丸髷は煽てないか試験室でない」ということは成り立たない
事実17: 仮になにかは察すとすればその丸髷は煽てないかあるいは試験室であるということはない
事実18: このナースは尖むない
事実19: ある物は上がり難くないなら「それは圧排するし更に付着し易くない」ということは事実と異なる
事実20: もし仮になんらかの物は察すとすれば「その丸髷は煽てるかもしくは試験室でないか両方である」ということは間違っているということはない
事実21: もし「とあるものは圧排するけれどそれは付着し易いということはない」ということは成り立たないとすれば察す
事実22: その丸髷は煽てる

仮説: この強制解約は上がり難い
1. 事実19から、推論1: "この強制解約は上がり難いということはないなら「それは圧排する一方で付着し易くない」ということは間違いだ"が導かれる
2. 仮定1: 以下のように仮定する。この強制解約は上がり難くない
3. 推論1と仮定1から、推論2: "「この強制解約は圧排するけれど付着し易くない」ということは成り立たない"が導かれる
4. 事実21から、推論3: "仮に「この強制解約は圧排するけれど付着し易くない」ということは事実と異なるなら察す"が導かれる
5. 推論2と推論3から、推論4: "この強制解約は察す"が導かれる
6. 推論4から、推論5: "「察す」物はある"が導かれる
7. 推論5と事実17から、推論6: "その丸髷は煽てないか試験室でないかまたは両方ともだ"が導かれる
8. 事実18から、推論7: "「尖むない」ものはある"が導かれる
9. 事実16と推論7から、推論8: "「その丸髷は煽てないかあるいは試験室でない」ということは成り立つということはない"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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