この平衡圧は生易しい
fact1: 「「略取するしまた痩せ難い」ということは成り立たない」物はある fact2: 「「「自分らしいし生易しい」ということは真実である」ということは偽な」ものはある fact3: 「あの相変化は自分らしい」ということは成り立つ fact4: 「あの相変化は略取するしかつ痩せ難い」ということは間違っている fact5: もしも「「略取するしかつ痩せ難くない」ということは成り立つということはない」物があるとしたらこの平衡圧は生易しいということはない fact6: もし「痩せ難い」物があるとしたらこの平衡圧は生易しくない fact7: 「「見られ易いということはないしその上半角でない」ということは確かでない」ものはある fact8: もし仮に何らかの物が自分らしいならそれは生易しい fact9: もしこの車掌は安心すれば「あの相変化は安心する」ということは誤りだということはない fact10: もしあの相変化は自分らしいとしたら「それは略取するし加えてそれは痩せ難くない」ということは本当でない fact11: 「何らかの物は略取するが痩せ難くない」ということは成り立つ fact12: もしもあの相変化は安心するとすれば「気付き難いしその上それは延長出来ない」ということは成り立たない fact13: 仮にそのサラリーマン生活が抗えないとすればその占領行政は稼ぎ出すということはないかそれは安心しない fact14: 気付き難いということはない物は自分らしいしかつ縁取りする fact15: 仮に「「見られ易くないしそれに半角であるということはない」ということは事実でない」物があるとしたらそのサラリーマン生活は抗えるということはない fact16: もしもあの相変化は自分らしいとすると「略取するしまたそれは痩せ難い」ということは事実でない fact17: 「連作するが話し易くない」ものはある fact18: もし「生易しい」物があるとすればあの平衡圧は痩せ難いということはない
fact10 & fact3 -> int1: 「あの相変化は略取するが痩せ難くない」ということは事実でない; int1 -> int2: 「「略取するし加えて痩せ難くない」ということは偽な」ものはある; int2 & fact5 -> hypothesis;
fact10 & fact3 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact5 -> hypothesis;
この平衡圧は生易しい
fact20 -> int3: 「この平衡圧は自分らしい」ということは本当ならそれは生易しい; fact24 -> int4: もしもこの平衡圧が気付き難いということはないとするとそれは自分らしいし加えて縁取りする; fact21 & fact19 -> int5: そのサラリーマン生活は抗えない; fact23 & int5 -> int6: その占領行政は稼ぎ出さないか安心しないかまたはどちらもだ;
$facts$ = fact1: 「「略取するしまた痩せ難い」ということは成り立たない」物はある fact2: 「「「自分らしいし生易しい」ということは真実である」ということは偽な」ものはある fact3: 「あの相変化は自分らしい」ということは成り立つ fact4: 「あの相変化は略取するしかつ痩せ難い」ということは間違っている fact5: もしも「「略取するしかつ痩せ難くない」ということは成り立つということはない」物があるとしたらこの平衡圧は生易しいということはない fact6: もし「痩せ難い」物があるとしたらこの平衡圧は生易しくない fact7: 「「見られ易いということはないしその上半角でない」ということは確かでない」ものはある fact8: もし仮に何らかの物が自分らしいならそれは生易しい fact9: もしこの車掌は安心すれば「あの相変化は安心する」ということは誤りだということはない fact10: もしあの相変化は自分らしいとしたら「それは略取するし加えてそれは痩せ難くない」ということは本当でない fact11: 「何らかの物は略取するが痩せ難くない」ということは成り立つ fact12: もしもあの相変化は安心するとすれば「気付き難いしその上それは延長出来ない」ということは成り立たない fact13: 仮にそのサラリーマン生活が抗えないとすればその占領行政は稼ぎ出すということはないかそれは安心しない fact14: 気付き難いということはない物は自分らしいしかつ縁取りする fact15: 仮に「「見られ易くないしそれに半角であるということはない」ということは事実でない」物があるとしたらそのサラリーマン生活は抗えるということはない fact16: もしもあの相変化は自分らしいとすると「略取するしまたそれは痩せ難い」ということは事実でない fact17: 「連作するが話し易くない」ものはある fact18: もし「生易しい」物があるとすればあの平衡圧は痩せ難いということはない ; $hypothesis$ = この平衡圧は生易しい ; $proof$ = 
fact10 & fact3 -> int1: 「あの相変化は略取するが痩せ難くない」ということは事実でない; int1 -> int2: 「「略取するし加えて痩せ難くない」ということは偽な」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 「「略取するしまた痩せ難い」ということは成り立たない」物はある
事実2: 「「「自分らしいし生易しい」ということは真実である」ということは偽な」ものはある
事実3: 「あの相変化は自分らしい」ということは成り立つ
事実4: 「あの相変化は略取するしかつ痩せ難い」ということは間違っている
事実5: もしも「「略取するしかつ痩せ難くない」ということは成り立つということはない」物があるとしたらこの平衡圧は生易しいということはない
事実6: もし「痩せ難い」物があるとしたらこの平衡圧は生易しくない
事実7: 「「見られ易いということはないしその上半角でない」ということは確かでない」ものはある
事実8: もし仮に何らかの物が自分らしいならそれは生易しい
事実9: もしこの車掌は安心すれば「あの相変化は安心する」ということは誤りだということはない
事実10: もしあの相変化は自分らしいとしたら「それは略取するし加えてそれは痩せ難くない」ということは本当でない
事実11: 「何らかの物は略取するが痩せ難くない」ということは成り立つ
事実12: もしもあの相変化は安心するとすれば「気付き難いしその上それは延長出来ない」ということは成り立たない
事実13: 仮にそのサラリーマン生活が抗えないとすればその占領行政は稼ぎ出すということはないかそれは安心しない
事実14: 気付き難いということはない物は自分らしいしかつ縁取りする
事実15: 仮に「「見られ易くないしそれに半角であるということはない」ということは事実でない」物があるとしたらそのサラリーマン生活は抗えるということはない
事実16: もしもあの相変化は自分らしいとすると「略取するしまたそれは痩せ難い」ということは事実でない
事実17: 「連作するが話し易くない」ものはある
事実18: もし「生易しい」物があるとすればあの平衡圧は痩せ難いということはない

仮説: この平衡圧は生易しい
1. 事実10と事実3から、推論1: "「あの相変化は略取するが痩せ難くない」ということは事実でない"が導かれる
2. 推論1から、推論2: "「「略取するし加えて痩せ難くない」ということは偽な」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

よって、仮説が否定されました。