このソナタは世俗化するしまた微笑み合う
fact1: もし仮に「「緩い」ということは真実な」ものがあるとするとその十一項は名乗れる一方で由々しない fact2: なにがしかのものは骨っぽいとすると「それは乙巳でないか生くか両方ともだ」ということは誤っている fact3: もし「なんらかの物は中止出来る」ということは正しいならば「それは寒ーくないかあるいはそれは暴発するかもしくは両方ともである」ということは誤りだ fact4: このソナタが微笑み合うしその上それは遠し fact5: もし「「この税源は入場券でないがしかし十六年改正である」ということは成り立たない」ということは成り立つならばあのソナタは破砕する fact6: もし「破砕する」物があるとすればあの裏情報は十六年改正であるし入場券である fact7: 「このガス会社は破砕しない」ということは間違っていないとするとそれは十六年改正であるということはない fact8: 仮にこのガス会社は骨っぽいならば「「その十一項は名乗れる一方でそれは由々しない」ということは本当である」ということは誤りである fact9: もしとあるものは十六年改正でないとしたら「入場券であるしそれに骨っぽくない」ということは成り立たない fact10: 「何かは目の当たりでないかもしくはそれは畳む」ということは偽であるとすると世俗化する fact11: もし仮になにかは破砕すれば「目の当たりでないかあるいはそれは畳む」ということは成り立たない fact12: もしも「何らかの物は入場券だけれど骨っぽくない」ということは誤っているとするとそれは世俗化しない fact13: 「緩くない」ものはある fact14: ある物が畳まないしそれは目の当たりでないならばそれは破砕しない fact15: もし仮にこのガス会社は骨っぽくないならば「この税源は入場券でない一方で十六年改正だ」ということは本当でない fact16: もし仮にその十一項が破砕しないならこのガス会社は破砕するということはない fact17: 「なにがしかのものは緩い」ということは確かだ
void -> assump1: 以下のように仮定する。「このガス会社は骨っぽい」ということは事実である; fact8 & assump1 -> int1: 「その十一項は名乗れるがしかし由々しない」ということは誤りである; fact1 & fact17 -> int2: その十一項は名乗れる一方でそれは由々しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このガス会社は骨っぽくない」ということは真実だ; int4 & fact15 -> int5: 「この税源は入場券でないがそれは十六年改正だ」ということは成り立たない; int5 & fact5 -> int6: このソナタは破砕する; fact11 -> int7: もしこのソナタは破砕すれば「それは目の当たりでないか畳むかもしくは両方ともである」ということは確かでない; int6 & int7 -> int8: 「このソナタは目の当たりでないかまたは畳むかまたは両方ともである」ということは成り立たない; fact10 -> int9: もしも「このソナタは目の当たりでないかあるいは畳むかもしくは両方である」ということは間違っているとするとそれは世俗化する; int8 & int9 -> int10: このソナタは世俗化する; fact4 -> int11: このソナタは微笑み合う; int10 & int11 -> hypothesis;
「この裏情報は乙巳でないかそれは生くかまたはどちらもである」ということは正しくない
fact18 -> int12: 仮にこの裏情報は骨っぽいとしたら「それは乙巳でないか生く」ということは偽である;
$facts$ = fact1: もし仮に「「緩い」ということは真実な」ものがあるとするとその十一項は名乗れる一方で由々しない fact2: なにがしかのものは骨っぽいとすると「それは乙巳でないか生くか両方ともだ」ということは誤っている fact3: もし「なんらかの物は中止出来る」ということは正しいならば「それは寒ーくないかあるいはそれは暴発するかもしくは両方ともである」ということは誤りだ fact4: このソナタが微笑み合うしその上それは遠し fact5: もし「「この税源は入場券でないがしかし十六年改正である」ということは成り立たない」ということは成り立つならばあのソナタは破砕する fact6: もし「破砕する」物があるとすればあの裏情報は十六年改正であるし入場券である fact7: 「このガス会社は破砕しない」ということは間違っていないとするとそれは十六年改正であるということはない fact8: 仮にこのガス会社は骨っぽいならば「「その十一項は名乗れる一方でそれは由々しない」ということは本当である」ということは誤りである fact9: もしとあるものは十六年改正でないとしたら「入場券であるしそれに骨っぽくない」ということは成り立たない fact10: 「何かは目の当たりでないかもしくはそれは畳む」ということは偽であるとすると世俗化する fact11: もし仮になにかは破砕すれば「目の当たりでないかあるいはそれは畳む」ということは成り立たない fact12: もしも「何らかの物は入場券だけれど骨っぽくない」ということは誤っているとするとそれは世俗化しない fact13: 「緩くない」ものはある fact14: ある物が畳まないしそれは目の当たりでないならばそれは破砕しない fact15: もし仮にこのガス会社は骨っぽくないならば「この税源は入場券でない一方で十六年改正だ」ということは本当でない fact16: もし仮にその十一項が破砕しないならこのガス会社は破砕するということはない fact17: 「なにがしかのものは緩い」ということは確かだ ; $hypothesis$ = このソナタは世俗化するしまた微笑み合う ; $proof$ = 
void -> assump1: 以下のように仮定する。「このガス会社は骨っぽい」ということは事実である; fact8 & assump1 -> int1: 「その十一項は名乗れるがしかし由々しない」ということは誤りである; fact1 & fact17 -> int2: その十一項は名乗れる一方でそれは由々しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このガス会社は骨っぽくない」ということは真実だ; int4 & fact15 -> int5: 「この税源は入場券でないがそれは十六年改正だ」ということは成り立たない; int5 & fact5 -> int6: このソナタは破砕する; fact11 -> int7: もしこのソナタは破砕すれば「それは目の当たりでないか畳むかもしくは両方ともである」ということは確かでない; int6 & int7 -> int8: 「このソナタは目の当たりでないかまたは畳むかまたは両方ともである」ということは成り立たない; fact10 -> int9: もしも「このソナタは目の当たりでないかあるいは畳むかもしくは両方である」ということは間違っているとするとそれは世俗化する; int8 & int9 -> int10: このソナタは世俗化する; fact4 -> int11: このソナタは微笑み合う; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮に「「緩い」ということは真実な」ものがあるとするとその十一項は名乗れる一方で由々しない
事実2: なにがしかのものは骨っぽいとすると「それは乙巳でないか生くか両方ともだ」ということは誤っている
事実3: もし「なんらかの物は中止出来る」ということは正しいならば「それは寒ーくないかあるいはそれは暴発するかもしくは両方ともである」ということは誤りだ
事実4: このソナタが微笑み合うしその上それは遠し
事実5: もし「「この税源は入場券でないがしかし十六年改正である」ということは成り立たない」ということは成り立つならばあのソナタは破砕する
事実6: もし「破砕する」物があるとすればあの裏情報は十六年改正であるし入場券である
事実7: 「このガス会社は破砕しない」ということは間違っていないとするとそれは十六年改正であるということはない
事実8: 仮にこのガス会社は骨っぽいならば「「その十一項は名乗れる一方でそれは由々しない」ということは本当である」ということは誤りである
事実9: もしとあるものは十六年改正でないとしたら「入場券であるしそれに骨っぽくない」ということは成り立たない
事実10: 「何かは目の当たりでないかもしくはそれは畳む」ということは偽であるとすると世俗化する
事実11: もし仮になにかは破砕すれば「目の当たりでないかあるいはそれは畳む」ということは成り立たない
事実12: もしも「何らかの物は入場券だけれど骨っぽくない」ということは誤っているとするとそれは世俗化しない
事実13: 「緩くない」ものはある
事実14: ある物が畳まないしそれは目の当たりでないならばそれは破砕しない
事実15: もし仮にこのガス会社は骨っぽくないならば「この税源は入場券でない一方で十六年改正だ」ということは本当でない
事実16: もし仮にその十一項が破砕しないならこのガス会社は破砕するということはない
事実17: 「なにがしかのものは緩い」ということは確かだ

仮説: このソナタは世俗化するしまた微笑み合う
1. 仮定1: 以下のように仮定する。「このガス会社は骨っぽい」ということは事実である
2. 事実8と仮定1から、推論1: "「その十一項は名乗れるがしかし由々しない」ということは誤りである"が導かれる
3. 事実1と事実17から、推論2: "その十一項は名乗れる一方でそれは由々しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このガス会社は骨っぽくない」ということは真実だ"が導かれる
6. 推論4と事実15から、推論5: "「この税源は入場券でないがそれは十六年改正だ」ということは成り立たない"が導かれる
7. 推論5と事実5から、推論6: "このソナタは破砕する"が導かれる
8. 事実11から、推論7: "もしこのソナタは破砕すれば「それは目の当たりでないか畳むかもしくは両方ともである」ということは確かでない"が導かれる
9. 推論6と推論7から、推論8: "「このソナタは目の当たりでないかまたは畳むかまたは両方ともである」ということは成り立たない"が導かれる
10. 事実10から、推論9: "もしも「このソナタは目の当たりでないかあるいは畳むかもしくは両方である」ということは間違っているとするとそれは世俗化する"が導かれる
11. 推論8と推論9から、推論10: "このソナタは世俗化する"が導かれる
12. 事実4から、推論11: "このソナタは微笑み合う"が導かれる
13. 推論10と推論11から、仮説が導かれる

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