この白熱は快くない
fact1: もしも「何かは荒い」ということは本当であるとすれば「それは何気無いということはなくて一次構造である」ということは誤りだ fact2: 仮にあのシュッドが荒いけどそれは回らないなら「この高齢者看護は荒い」ということは確かだ fact3: なにがしかのものがＴ二強調画像であるしそれにＦＡＴだとするとあの多少時間は身体化する fact4: 仮に「何かは身体化するということはないかまたはそれは逢瀬だ」ということは成り立たないとしたらそれは快い fact5: 仮にこの高齢者看護が着せがましいけれど寒々しかないとしたらあのシュッドは一次構造である fact6: あの多少時間は一次構造だ fact7: 仮にあのシュッドが一次構造であるとすればあの白熱は快くない fact8: その清涼飲料水は専門的支援でない fact9: 「この高齢者看護は何気無いということはないけど一次構造である」ということは成り立たないとすればあの多少時間は寒々しい fact10: 「Ｔ二強調画像でないがＦＡＴな」ものがあるとしたらあの多少時間は身体化する fact11: もしもその清涼飲料水はつとするけれどＤＶ編集ソフトでないとするとあのシュッドはつとしない fact12: 「あの地方版はＴ二強調画像であるということはないがしかしＦＡＴである」ということは成り立つということはないとするとそれは逢瀬である fact13: もしなんらかのものがつとしないとしたら荒くてまた回らない fact14: その清涼飲料水は何気無い fact15: 「この高齢者看護は身体化する」ということは正しい fact16: その清涼飲料水が何気無いとしたらあの地方版は逢瀬でない fact17: もしあの地方版は着せがましいとすれば「この白熱は身体化しないかあるいは逢瀬であるかあるいは両方だ」ということは誤りである fact18: もし仮にあの多少時間が身体化するならばあの高齢者看護は着せがましいけど寒々しかない fact19: もしなにがしかのものは専門的支援でないとするとそれはつとする一方でＤＶ編集ソフトでない
void -> assump1: 以下のように仮定する。「あの地方版はＴ二強調画像でないけれどそれはＦＡＴである」ということは誤りである; fact12 & assump1 -> int1: あの地方版は逢瀬だ; fact14 & fact16 -> int2: あの地方版は逢瀬でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの地方版はＴ二強調画像だということはないがそれはＦＡＴである; int4 -> int5: 「Ｔ二強調画像でなくてしかもＦＡＴである」ものはある; int5 & fact10 -> int6: あの多少時間は身体化する; int6 & fact18 -> int7: この高齢者看護は着せがましい一方で寒々しかない; int7 & fact5 -> int8: あのシュッドは一次構造だ; int8 & fact7 -> hypothesis;
この白熱は快い
fact22 -> int9: 「「この白熱は身体化しないかもしくはそれは逢瀬であるか両方ともだ」ということは間違いでない」ということは嘘ならそれは快い; fact21 -> int10: もしこの高齢者看護は荒いとしたら「それは何気無くないし一次構造だ」ということは成り立たない; fact25 -> int11: あのシュッドはつとしないとすると荒いけれど回らない; fact23 -> int12: もしその清涼飲料水は専門的支援でないならば「つとするしさらにそれはＤＶ編集ソフトでない」ということは本当である; int12 & fact28 -> int13: その清涼飲料水はつとするがしかしＤＶ編集ソフトだということはない; fact24 & int13 -> int14: あのシュッドはつとしない; int11 & int14 -> int15: あのシュッドは荒いがしかし回らない; fact27 & int15 -> int16: この高齢者看護は荒い; int10 & int16 -> int17: 「この高齢者看護は何気無いということはない一方で一次構造だ」ということは間違っている; fact20 & int17 -> int18: あの多少時間は寒々しい; int18 -> int19: なんらかの物は寒々しい;
$facts$ = fact1: もしも「何かは荒い」ということは本当であるとすれば「それは何気無いということはなくて一次構造である」ということは誤りだ fact2: 仮にあのシュッドが荒いけどそれは回らないなら「この高齢者看護は荒い」ということは確かだ fact3: なにがしかのものがＴ二強調画像であるしそれにＦＡＴだとするとあの多少時間は身体化する fact4: 仮に「何かは身体化するということはないかまたはそれは逢瀬だ」ということは成り立たないとしたらそれは快い fact5: 仮にこの高齢者看護が着せがましいけれど寒々しかないとしたらあのシュッドは一次構造である fact6: あの多少時間は一次構造だ fact7: 仮にあのシュッドが一次構造であるとすればあの白熱は快くない fact8: その清涼飲料水は専門的支援でない fact9: 「この高齢者看護は何気無いということはないけど一次構造である」ということは成り立たないとすればあの多少時間は寒々しい fact10: 「Ｔ二強調画像でないがＦＡＴな」ものがあるとしたらあの多少時間は身体化する fact11: もしもその清涼飲料水はつとするけれどＤＶ編集ソフトでないとするとあのシュッドはつとしない fact12: 「あの地方版はＴ二強調画像であるということはないがしかしＦＡＴである」ということは成り立つということはないとするとそれは逢瀬である fact13: もしなんらかのものがつとしないとしたら荒くてまた回らない fact14: その清涼飲料水は何気無い fact15: 「この高齢者看護は身体化する」ということは正しい fact16: その清涼飲料水が何気無いとしたらあの地方版は逢瀬でない fact17: もしあの地方版は着せがましいとすれば「この白熱は身体化しないかあるいは逢瀬であるかあるいは両方だ」ということは誤りである fact18: もし仮にあの多少時間が身体化するならばあの高齢者看護は着せがましいけど寒々しかない fact19: もしなにがしかのものは専門的支援でないとするとそれはつとする一方でＤＶ編集ソフトでない ; $hypothesis$ = この白熱は快くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの地方版はＴ二強調画像でないけれどそれはＦＡＴである」ということは誤りである; fact12 & assump1 -> int1: あの地方版は逢瀬だ; fact14 & fact16 -> int2: あの地方版は逢瀬でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの地方版はＴ二強調画像だということはないがそれはＦＡＴである; int4 -> int5: 「Ｔ二強調画像でなくてしかもＦＡＴである」ものはある; int5 & fact10 -> int6: あの多少時間は身体化する; int6 & fact18 -> int7: この高齢者看護は着せがましい一方で寒々しかない; int7 & fact5 -> int8: あのシュッドは一次構造だ; int8 & fact7 -> hypothesis; __PROVED__
事実1: もしも「何かは荒い」ということは本当であるとすれば「それは何気無いということはなくて一次構造である」ということは誤りだ
事実2: 仮にあのシュッドが荒いけどそれは回らないなら「この高齢者看護は荒い」ということは確かだ
事実3: なにがしかのものがＴ二強調画像であるしそれにＦＡＴだとするとあの多少時間は身体化する
事実4: 仮に「何かは身体化するということはないかまたはそれは逢瀬だ」ということは成り立たないとしたらそれは快い
事実5: 仮にこの高齢者看護が着せがましいけれど寒々しかないとしたらあのシュッドは一次構造である
事実6: あの多少時間は一次構造だ
事実7: 仮にあのシュッドが一次構造であるとすればあの白熱は快くない
事実8: その清涼飲料水は専門的支援でない
事実9: 「この高齢者看護は何気無いということはないけど一次構造である」ということは成り立たないとすればあの多少時間は寒々しい
事実10: 「Ｔ二強調画像でないがＦＡＴな」ものがあるとしたらあの多少時間は身体化する
事実11: もしもその清涼飲料水はつとするけれどＤＶ編集ソフトでないとするとあのシュッドはつとしない
事実12: 「あの地方版はＴ二強調画像であるということはないがしかしＦＡＴである」ということは成り立つということはないとするとそれは逢瀬である
事実13: もしなんらかのものがつとしないとしたら荒くてまた回らない
事実14: その清涼飲料水は何気無い
事実15: 「この高齢者看護は身体化する」ということは正しい
事実16: その清涼飲料水が何気無いとしたらあの地方版は逢瀬でない
事実17: もしあの地方版は着せがましいとすれば「この白熱は身体化しないかあるいは逢瀬であるかあるいは両方だ」ということは誤りである
事実18: もし仮にあの多少時間が身体化するならばあの高齢者看護は着せがましいけど寒々しかない
事実19: もしなにがしかのものは専門的支援でないとするとそれはつとする一方でＤＶ編集ソフトでない

仮説: この白熱は快くない
1. 仮定1: 以下のように仮定する。「あの地方版はＴ二強調画像でないけれどそれはＦＡＴである」ということは誤りである
2. 事実12と仮定1から、推論1: "あの地方版は逢瀬だ"が導かれる
3. 事実14と事実16から、推論2: "あの地方版は逢瀬でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの地方版はＴ二強調画像だということはないがそれはＦＡＴである"が導かれる
6. 推論4から、推論5: "「Ｔ二強調画像でなくてしかもＦＡＴである」ものはある"が導かれる
7. 推論5と事実10から、推論6: "あの多少時間は身体化する"が導かれる
8. 推論6と事実18から、推論7: "この高齢者看護は着せがましい一方で寒々しかない"が導かれる
9. 推論7と事実5から、推論8: "あのシュッドは一次構造だ"が導かれる
10. 推論8と事実7から、仮説が導かれる

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