「「この微笑みは就労しないがしかし若々しい」ということは間違っている」ということは確かである
fact1: もしこの審理制度が就労しないならこの微笑みは就労しない一方で若々しい fact2: 仮に「あの輸液速度は強引過ぎるけれど差し出がましいということはない」ということは成り立たないとしたらこの審理制度は就労しない fact3: もしこの高体温が子育てだということはないならば進み易いし点てる fact4: この高体温は子育てだということはない fact5: もしも何かは殴り倒すがしかしそれが当たり易くないなら進み易くない fact6: この高体温はえぐいがそれは就労しない fact7: もし仮に何らかのものは子育てでないとすれば「就労するしそれは強引過ぎない」ということは成り立たない fact8: もしもあるものは立て易くないとすれば「強引過ぎるし差し出がましかない」ということは偽である fact9: もし「この高体温は殴り倒すけれど当たり易くない」ということは成り立たないならば「あの輸液速度は立て易くない」ということは嘘でない
fact5 -> int1: もし仮にこの高体温が殴り倒すけど当たり易くないならばそれは進み易くない; void -> assump1: 以下のように仮定する。この高体温は殴り倒すけれど当たり易くない; int1 & assump1 -> int2: この高体温は進み易くない; fact4 & fact3 -> int3: この高体温は進み易くておまけにそれは点てる; int3 -> int4: この高体温は進み易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この高体温は殴り倒すけど当たり易くない」ということは成り立たない; int6 & fact9 -> int7: あの輸液速度は立て易くない; fact8 -> int8: もし仮にあの輸液速度は立て易くないとすれば「強引過ぎるしそれは差し出がましかない」ということは事実と異なる; int7 & int8 -> int9: 「あの輸液速度は強引過ぎるけれど差し出がましかない」ということは間違いだ; int9 & fact2 -> int10: 「この審理制度は就労しない」ということは間違っていない; int10 & fact1 -> hypothesis;
$facts$ = fact1: もしこの審理制度が就労しないならこの微笑みは就労しない一方で若々しい fact2: 仮に「あの輸液速度は強引過ぎるけれど差し出がましいということはない」ということは成り立たないとしたらこの審理制度は就労しない fact3: もしこの高体温が子育てだということはないならば進み易いし点てる fact4: この高体温は子育てだということはない fact5: もしも何かは殴り倒すがしかしそれが当たり易くないなら進み易くない fact6: この高体温はえぐいがそれは就労しない fact7: もし仮に何らかのものは子育てでないとすれば「就労するしそれは強引過ぎない」ということは成り立たない fact8: もしもあるものは立て易くないとすれば「強引過ぎるし差し出がましかない」ということは偽である fact9: もし「この高体温は殴り倒すけれど当たり易くない」ということは成り立たないならば「あの輸液速度は立て易くない」ということは嘘でない ; $hypothesis$ = 「「この微笑みは就労しないがしかし若々しい」ということは間違っている」ということは確かである ; $proof$ = 
fact5 -> int1: もし仮にこの高体温が殴り倒すけど当たり易くないならばそれは進み易くない; void -> assump1: 以下のように仮定する。この高体温は殴り倒すけれど当たり易くない; int1 & assump1 -> int2: この高体温は進み易くない; fact4 & fact3 -> int3: この高体温は進み易くておまけにそれは点てる; int3 -> int4: この高体温は進み易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この高体温は殴り倒すけど当たり易くない」ということは成り立たない; int6 & fact9 -> int7: あの輸液速度は立て易くない; fact8 -> int8: もし仮にあの輸液速度は立て易くないとすれば「強引過ぎるしそれは差し出がましかない」ということは事実と異なる; int7 & int8 -> int9: 「あの輸液速度は強引過ぎるけれど差し出がましかない」ということは間違いだ; int9 & fact2 -> int10: 「この審理制度は就労しない」ということは間違っていない; int10 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの審理制度が就労しないならこの微笑みは就労しない一方で若々しい
事実2: 仮に「あの輸液速度は強引過ぎるけれど差し出がましいということはない」ということは成り立たないとしたらこの審理制度は就労しない
事実3: もしこの高体温が子育てだということはないならば進み易いし点てる
事実4: この高体温は子育てだということはない
事実5: もしも何かは殴り倒すがしかしそれが当たり易くないなら進み易くない
事実6: この高体温はえぐいがそれは就労しない
事実7: もし仮に何らかのものは子育てでないとすれば「就労するしそれは強引過ぎない」ということは成り立たない
事実8: もしもあるものは立て易くないとすれば「強引過ぎるし差し出がましかない」ということは偽である
事実9: もし「この高体温は殴り倒すけれど当たり易くない」ということは成り立たないならば「あの輸液速度は立て易くない」ということは嘘でない

仮説: 「「この微笑みは就労しないがしかし若々しい」ということは間違っている」ということは確かである
1. 事実5から、推論1: "もし仮にこの高体温が殴り倒すけど当たり易くないならばそれは進み易くない"が導かれる
2. 仮定1: 以下のように仮定する。この高体温は殴り倒すけれど当たり易くない
3. 推論1と仮定1から、推論2: "この高体温は進み易くない"が導かれる
4. 事実4と事実3から、推論3: "この高体温は進み易くておまけにそれは点てる"が導かれる
5. 推論3から、推論4: "この高体温は進み易い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この高体温は殴り倒すけど当たり易くない」ということは成り立たない"が導かれる
8. 推論6と事実9から、推論7: "あの輸液速度は立て易くない"が導かれる
9. 事実8から、推論8: "もし仮にあの輸液速度は立て易くないとすれば「強引過ぎるしそれは差し出がましかない」ということは事実と異なる"が導かれる
10. 推論7と推論8から、推論9: "「あの輸液速度は強引過ぎるけれど差し出がましかない」ということは間違いだ"が導かれる
11. 推論9と事実2から、推論10: "「この審理制度は就労しない」ということは間違っていない"が導かれる
12. 推論10と事実1から、仮説が否定される

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