もしもこの温度センサは結晶相でないとしたら「「あの前々項は移ろうしまた労わる」ということは成り立つということはない」ということは成り立つ
fact1: もしこの温度センサは結晶相でないとしたら「俗っぽくて塞ぎ込む」ということは間違いだ fact2: 「この温度センサは俗っぽいししかもそれは塞ぎ込む」ということは嘘だとするとあの転送速度は登録済みでない fact3: もしもあの転送速度が登録済みでないとするとそれは分解出来なくてまた公衆浴場でない fact4: この温度センサは結晶相であるならば「あの前々項は移ろうし労わる」ということは本当でない fact5: もし「あの転送速度は結晶相でない」ということは嘘でないとすればあの温度センサは塞ぎ込むしまたそれは公衆浴場だ fact6: もしも「あの転送速度は労わらない」ということは成り立つとすれば「「あの前々項は移ろうしさらにそれは労わる」ということは成り立たない」ということは確かである fact7: 仮にあの転送速度が分解出来ないしそれは公衆浴場でないとしたら労わらない fact8: もし「あの転送速度は運び入れない」ということは確かだとしたらそれは下刈りでない fact9: 仮にあの転送速度は登録済みでないとしたら「あの前々項は移ろうしかつ分解出来る」ということは間違っている fact10: 「あの転送速度は移ろうし労わる」ということは事実と異なる fact11: もしこの温度センサが労わらないとしたらあの転送速度は俗っぽくない fact12: もしもあの前々項が公衆浴場である一方で分解出来るということはないならばあの温度センサは分解出来ない fact13: もしこの温度センサが分解出来ないとすると登録済みでないしそれに結晶相だ
void -> assump1: 以下のように仮定する。この温度センサは結晶相でない; fact1 & assump1 -> int1: 「この温度センサは俗っぽくて更に塞ぎ込む」ということは本当であるということはない; int1 & fact2 -> int2: あの転送速度は登録済みでない; int2 & fact3 -> int3: あの転送速度は分解出来なくてその上それは公衆浴場でない; int3 & fact7 -> int4: あの転送速度は労わらない; int4 & fact6 -> int5: 「あの前々項は移ろうし労わる」ということは誤りである; [assump1] & int5 -> hypothesis;
「「あの転送速度は馴染み難くてそれに労わる」ということは成り立つ」ということは誤りだ
$facts$ = fact1: もしこの温度センサは結晶相でないとしたら「俗っぽくて塞ぎ込む」ということは間違いだ fact2: 「この温度センサは俗っぽいししかもそれは塞ぎ込む」ということは嘘だとするとあの転送速度は登録済みでない fact3: もしもあの転送速度が登録済みでないとするとそれは分解出来なくてまた公衆浴場でない fact4: この温度センサは結晶相であるならば「あの前々項は移ろうし労わる」ということは本当でない fact5: もし「あの転送速度は結晶相でない」ということは嘘でないとすればあの温度センサは塞ぎ込むしまたそれは公衆浴場だ fact6: もしも「あの転送速度は労わらない」ということは成り立つとすれば「「あの前々項は移ろうしさらにそれは労わる」ということは成り立たない」ということは確かである fact7: 仮にあの転送速度が分解出来ないしそれは公衆浴場でないとしたら労わらない fact8: もし「あの転送速度は運び入れない」ということは確かだとしたらそれは下刈りでない fact9: 仮にあの転送速度は登録済みでないとしたら「あの前々項は移ろうしかつ分解出来る」ということは間違っている fact10: 「あの転送速度は移ろうし労わる」ということは事実と異なる fact11: もしこの温度センサが労わらないとしたらあの転送速度は俗っぽくない fact12: もしもあの前々項が公衆浴場である一方で分解出来るということはないならばあの温度センサは分解出来ない fact13: もしこの温度センサが分解出来ないとすると登録済みでないしそれに結晶相だ ; $hypothesis$ = もしもこの温度センサは結晶相でないとしたら「「あの前々項は移ろうしまた労わる」ということは成り立つということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この温度センサは結晶相でない; fact1 & assump1 -> int1: 「この温度センサは俗っぽくて更に塞ぎ込む」ということは本当であるということはない; int1 & fact2 -> int2: あの転送速度は登録済みでない; int2 & fact3 -> int3: あの転送速度は分解出来なくてその上それは公衆浴場でない; int3 & fact7 -> int4: あの転送速度は労わらない; int4 & fact6 -> int5: 「あの前々項は移ろうし労わる」ということは誤りである; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしこの温度センサは結晶相でないとしたら「俗っぽくて塞ぎ込む」ということは間違いだ
事実2: 「この温度センサは俗っぽいししかもそれは塞ぎ込む」ということは嘘だとするとあの転送速度は登録済みでない
事実3: もしもあの転送速度が登録済みでないとするとそれは分解出来なくてまた公衆浴場でない
事実4: この温度センサは結晶相であるならば「あの前々項は移ろうし労わる」ということは本当でない
事実5: もし「あの転送速度は結晶相でない」ということは嘘でないとすればあの温度センサは塞ぎ込むしまたそれは公衆浴場だ
事実6: もしも「あの転送速度は労わらない」ということは成り立つとすれば「「あの前々項は移ろうしさらにそれは労わる」ということは成り立たない」ということは確かである
事実7: 仮にあの転送速度が分解出来ないしそれは公衆浴場でないとしたら労わらない
事実8: もし「あの転送速度は運び入れない」ということは確かだとしたらそれは下刈りでない
事実9: 仮にあの転送速度は登録済みでないとしたら「あの前々項は移ろうしかつ分解出来る」ということは間違っている
事実10: 「あの転送速度は移ろうし労わる」ということは事実と異なる
事実11: もしこの温度センサが労わらないとしたらあの転送速度は俗っぽくない
事実12: もしもあの前々項が公衆浴場である一方で分解出来るということはないならばあの温度センサは分解出来ない
事実13: もしこの温度センサが分解出来ないとすると登録済みでないしそれに結晶相だ

仮説: もしもこの温度センサは結晶相でないとしたら「「あの前々項は移ろうしまた労わる」ということは成り立つということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この温度センサは結晶相でない
2. 事実1と仮定1から、推論1: "「この温度センサは俗っぽくて更に塞ぎ込む」ということは本当であるということはない"が導かれる
3. 推論1と事実2から、推論2: "あの転送速度は登録済みでない"が導かれる
4. 推論2と事実3から、推論3: "あの転送速度は分解出来なくてその上それは公衆浴場でない"が導かれる
5. 推論3と事実7から、推論4: "あの転送速度は労わらない"が導かれる
6. 推論4と事実6から、推論5: "「あの前々項は移ろうし労わる」ということは誤りである"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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