「もしもあの太陽熱は晒され易くないとすると「あの職務分担は怒らなくてしかも踏み倒さない」ということは成り立たない」ということは間違いである
fact1: もしも「あの太陽熱は踏み倒さない」ということは確かであるとすると「あの職務分担は怒るけれど踏み倒さない」ということは真実だということはない fact2: あの太陽熱はロフトでない fact3: 「あの太陽熱は脂っこくないし加えて騙され易くない」ということは偽だ fact4: もし仮にあの太陽熱は晒され易いということはないなら「あの職務分担は怒らないしおまけに踏み倒さない」ということは正しい fact5: もしもあの太陽熱は晒され易くないとすると「あの職務分担は怒るということはない一方で踏み倒す」ということは成り立たない fact6: もし仮に「あの太陽熱は踏み倒さない」ということは正しいなら「あの職務分担は怒らないがしかし踏み倒す」ということは成り立たない fact7: もしもあの太陽熱は物狂おしくて十六ビット処理系であるとすると「ロフトでない」ということは確かだ fact8: もし仮にあの太陽熱は晒され易くないならば「あの職務分担は怒るけれど踏み倒すということはない」ということは誤りだ fact9: あの太陽熱は組み立て工場でない fact10: あの職務分担はロフトでないとすれば「あの太陽熱は晒され易くないしそれは怒らない」ということは成り立たない fact11: 仮にあの太陽熱が晒され易いということはないならそれはエアラインでロフトでない fact12: 「あの太陽熱はロフトでないなら「「あの職務分担は踏み倒さないがそれはエアラインである」ということは間違っている」ということは成り立つ」ということは間違っていない fact13: 仮にエアラインはロフトであるとしたらそれは踏み倒さない fact14: もしもあの太陽熱は怒るがしかし踏み倒さないならそれは晒され易くない fact15: もし仮にあの太陽熱は踏み倒さないとすると「あの職務分担は怒るけれど晒され易いということはない」ということは誤っている fact16: もしもあの太陽熱は踏み倒さないならば「あの職務分担は怒るということはなくて踏み倒さない」ということは誤りである fact17: もしあの職務分担は踏み倒さないならば「「あの太陽熱は怒らないけれどそれは踏み倒す」ということは誤りである」ということは成り立つ fact18: 仮にあの太陽熱は晒され易いなら「あの職務分担は怒らないしその上踏み倒さない」ということは間違いだ fact19: 「「あの職務分担はエアラインであるけれど踏み倒さない」ということは事実と異なるということはない」ということは成り立たない fact20: もし仮になにがしかのものがエアラインだがしかしロフトでないなら踏み倒すということはない fact21: 仮にあの太陽熱が晒され易いならばそれはエアラインだがロフトでない fact22: もしあの職務分担はロフトでないならばそれはエアラインであるがしかし踏み倒さない fact23: あのキャッシュフロー経営は晒され易くない
void -> assump1: 以下のように仮定する。あの太陽熱は晒され易くない; fact11 & assump1 -> int1: あの太陽熱はエアラインである一方でロフトでない; fact20 -> int2: もし仮にあの太陽熱はエアラインだけれどロフトでないとするとそれは踏み倒すということはない; int1 & int2 -> int3: あの太陽熱は踏み倒すということはない; int3 & fact16 -> int4: 「あの職務分担が怒らないしさらにそれは踏み倒さない」ということは成り立たない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしも「あの太陽熱は踏み倒さない」ということは確かであるとすると「あの職務分担は怒るけれど踏み倒さない」ということは真実だということはない fact2: あの太陽熱はロフトでない fact3: 「あの太陽熱は脂っこくないし加えて騙され易くない」ということは偽だ fact4: もし仮にあの太陽熱は晒され易いということはないなら「あの職務分担は怒らないしおまけに踏み倒さない」ということは正しい fact5: もしもあの太陽熱は晒され易くないとすると「あの職務分担は怒るということはない一方で踏み倒す」ということは成り立たない fact6: もし仮に「あの太陽熱は踏み倒さない」ということは正しいなら「あの職務分担は怒らないがしかし踏み倒す」ということは成り立たない fact7: もしもあの太陽熱は物狂おしくて十六ビット処理系であるとすると「ロフトでない」ということは確かだ fact8: もし仮にあの太陽熱は晒され易くないならば「あの職務分担は怒るけれど踏み倒すということはない」ということは誤りだ fact9: あの太陽熱は組み立て工場でない fact10: あの職務分担はロフトでないとすれば「あの太陽熱は晒され易くないしそれは怒らない」ということは成り立たない fact11: 仮にあの太陽熱が晒され易いということはないならそれはエアラインでロフトでない fact12: 「あの太陽熱はロフトでないなら「「あの職務分担は踏み倒さないがそれはエアラインである」ということは間違っている」ということは成り立つ」ということは間違っていない fact13: 仮にエアラインはロフトであるとしたらそれは踏み倒さない fact14: もしもあの太陽熱は怒るがしかし踏み倒さないならそれは晒され易くない fact15: もし仮にあの太陽熱は踏み倒さないとすると「あの職務分担は怒るけれど晒され易いということはない」ということは誤っている fact16: もしもあの太陽熱は踏み倒さないならば「あの職務分担は怒るということはなくて踏み倒さない」ということは誤りである fact17: もしあの職務分担は踏み倒さないならば「「あの太陽熱は怒らないけれどそれは踏み倒す」ということは誤りである」ということは成り立つ fact18: 仮にあの太陽熱は晒され易いなら「あの職務分担は怒らないしその上踏み倒さない」ということは間違いだ fact19: 「「あの職務分担はエアラインであるけれど踏み倒さない」ということは事実と異なるということはない」ということは成り立たない fact20: もし仮になにがしかのものがエアラインだがしかしロフトでないなら踏み倒すということはない fact21: 仮にあの太陽熱が晒され易いならばそれはエアラインだがロフトでない fact22: もしあの職務分担はロフトでないならばそれはエアラインであるがしかし踏み倒さない fact23: あのキャッシュフロー経営は晒され易くない ; $hypothesis$ = 「もしもあの太陽熱は晒され易くないとすると「あの職務分担は怒らなくてしかも踏み倒さない」ということは成り立たない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの太陽熱は晒され易くない; fact11 & assump1 -> int1: あの太陽熱はエアラインである一方でロフトでない; fact20 -> int2: もし仮にあの太陽熱はエアラインだけれどロフトでないとするとそれは踏み倒すということはない; int1 & int2 -> int3: あの太陽熱は踏み倒すということはない; int3 & fact16 -> int4: 「あの職務分担が怒らないしさらにそれは踏み倒さない」ということは成り立たない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしも「あの太陽熱は踏み倒さない」ということは確かであるとすると「あの職務分担は怒るけれど踏み倒さない」ということは真実だということはない
事実2: あの太陽熱はロフトでない
事実3: 「あの太陽熱は脂っこくないし加えて騙され易くない」ということは偽だ
事実4: もし仮にあの太陽熱は晒され易いということはないなら「あの職務分担は怒らないしおまけに踏み倒さない」ということは正しい
事実5: もしもあの太陽熱は晒され易くないとすると「あの職務分担は怒るということはない一方で踏み倒す」ということは成り立たない
事実6: もし仮に「あの太陽熱は踏み倒さない」ということは正しいなら「あの職務分担は怒らないがしかし踏み倒す」ということは成り立たない
事実7: もしもあの太陽熱は物狂おしくて十六ビット処理系であるとすると「ロフトでない」ということは確かだ
事実8: もし仮にあの太陽熱は晒され易くないならば「あの職務分担は怒るけれど踏み倒すということはない」ということは誤りだ
事実9: あの太陽熱は組み立て工場でない
事実10: あの職務分担はロフトでないとすれば「あの太陽熱は晒され易くないしそれは怒らない」ということは成り立たない
事実11: 仮にあの太陽熱が晒され易いということはないならそれはエアラインでロフトでない
事実12: 「あの太陽熱はロフトでないなら「「あの職務分担は踏み倒さないがそれはエアラインである」ということは間違っている」ということは成り立つ」ということは間違っていない
事実13: 仮にエアラインはロフトであるとしたらそれは踏み倒さない
事実14: もしもあの太陽熱は怒るがしかし踏み倒さないならそれは晒され易くない
事実15: もし仮にあの太陽熱は踏み倒さないとすると「あの職務分担は怒るけれど晒され易いということはない」ということは誤っている
事実16: もしもあの太陽熱は踏み倒さないならば「あの職務分担は怒るということはなくて踏み倒さない」ということは誤りである
事実17: もしあの職務分担は踏み倒さないならば「「あの太陽熱は怒らないけれどそれは踏み倒す」ということは誤りである」ということは成り立つ
事実18: 仮にあの太陽熱は晒され易いなら「あの職務分担は怒らないしその上踏み倒さない」ということは間違いだ
事実19: 「「あの職務分担はエアラインであるけれど踏み倒さない」ということは事実と異なるということはない」ということは成り立たない
事実20: もし仮になにがしかのものがエアラインだがしかしロフトでないなら踏み倒すということはない
事実21: 仮にあの太陽熱が晒され易いならばそれはエアラインだがロフトでない
事実22: もしあの職務分担はロフトでないならばそれはエアラインであるがしかし踏み倒さない
事実23: あのキャッシュフロー経営は晒され易くない

仮説: 「もしもあの太陽熱は晒され易くないとすると「あの職務分担は怒らなくてしかも踏み倒さない」ということは成り立たない」ということは間違いである
1. 仮定1: 以下のように仮定する。あの太陽熱は晒され易くない
2. 事実11と仮定1から、推論1: "あの太陽熱はエアラインである一方でロフトでない"が導かれる
3. 事実20から、推論2: "もし仮にあの太陽熱はエアラインだけれどロフトでないとするとそれは踏み倒すということはない"が導かれる
4. 推論1と推論2から、推論3: "あの太陽熱は踏み倒すということはない"が導かれる
5. 推論3と事実16から、推論4: "「あの職務分担が怒らないしさらにそれは踏み倒さない」ということは成り立たない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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