あの外部的要因は原稿用紙だ
fact1: あの一生涯が羅列すればあの外部的要因は羅列する fact2: もし仮にすっごいものがハードコピーだということはないとしたら羅列する fact3: 「なにがしかの物は原稿用紙でないししかもそれは憧憬しない」ということは間違いであるとしたら原稿用紙である fact4: もしとある物がすっごいかもしくはそれが忘れ掛けないならあの一生涯はすっごい fact5: 仮に「とあるものが押し込み式ファンだけどそれは同一視すらない」ということは事実と異なるとするとそれは同一視す fact6: あの流体軸受けは単数形でない fact7: あの外部的要因は同一視すか羅列しない fact8: もしもあの外部的要因が羅列しないとしたらそれは憧憬しない fact9: あの二十三世紀は初版本であるかもしくは捩じ切らない fact10: 「「さもしいしハードコピーだ」ということは間違っている」物はある fact11: 仮になんらかの物は同一視すとしたら「それは原稿用紙だということはないしその上憧憬しない」ということは嘘である fact12: あの外部的要因が聞き合うとするとそれは羅列しない fact13: もしあの外部的要因は羅列するなら「そのペーパーアセスメントは押し込み式ファンであるけど同一視すらない」ということは間違いである fact14: この意気は肌寒いかもしくは国民年金基金でないかあるいは両方ともである fact15: もしもあの外部的要因が原稿用紙だとすると憧憬する fact16: もし「何かは単数形でない」ということは本当だとすればそれはすっごいかまたは忘れ掛けない fact17: もしもあの外部的要因が同一視すかそれは羅列しないかまたは両方ともであるならそれは憧憬しない
void -> assump1: 以下のように仮定する。あの外部的要因は原稿用紙だ; fact15 & assump1 -> int1: あの外部的要因は憧憬する; fact17 & fact7 -> int2: あの外部的要因は憧憬するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「そのペーパーアセスメントは原稿用紙だ」ということは本当だ
fact24 -> int4: 「そのペーパーアセスメントは原稿用紙でなくて憧憬しない」ということは成り立たないなら「それは原稿用紙だ」ということは成り立つ; fact19 -> int5: そのペーパーアセスメントは同一視すとしたら「原稿用紙でないしその上憧憬しない」ということは成り立つということはない; fact20 -> int6: もしも「そのペーパーアセスメントは押し込み式ファンだ一方で同一視すらない」ということは成り立たないとすればそれは同一視す; fact22 -> int7: あの一生涯がすっごいけどそれはハードコピーでないとすると「それは羅列する」ということは真実だ; fact26 -> int8: 仮にあの流体軸受けは単数形であるということはないとすればすっごいか忘れ掛けないかもしくは両方である; int8 & fact23 -> int9: あの流体軸受けはすっごいか忘れ掛けないかもしくは両方ともである; int9 -> int10: 「すっごいかまたは忘れ掛けない」物はある; int10 & fact21 -> int11: あの一生涯はすっごい;
$facts$ = fact1: あの一生涯が羅列すればあの外部的要因は羅列する fact2: もし仮にすっごいものがハードコピーだということはないとしたら羅列する fact3: 「なにがしかの物は原稿用紙でないししかもそれは憧憬しない」ということは間違いであるとしたら原稿用紙である fact4: もしとある物がすっごいかもしくはそれが忘れ掛けないならあの一生涯はすっごい fact5: 仮に「とあるものが押し込み式ファンだけどそれは同一視すらない」ということは事実と異なるとするとそれは同一視す fact6: あの流体軸受けは単数形でない fact7: あの外部的要因は同一視すか羅列しない fact8: もしもあの外部的要因が羅列しないとしたらそれは憧憬しない fact9: あの二十三世紀は初版本であるかもしくは捩じ切らない fact10: 「「さもしいしハードコピーだ」ということは間違っている」物はある fact11: 仮になんらかの物は同一視すとしたら「それは原稿用紙だということはないしその上憧憬しない」ということは嘘である fact12: あの外部的要因が聞き合うとするとそれは羅列しない fact13: もしあの外部的要因は羅列するなら「そのペーパーアセスメントは押し込み式ファンであるけど同一視すらない」ということは間違いである fact14: この意気は肌寒いかもしくは国民年金基金でないかあるいは両方ともである fact15: もしもあの外部的要因が原稿用紙だとすると憧憬する fact16: もし「何かは単数形でない」ということは本当だとすればそれはすっごいかまたは忘れ掛けない fact17: もしもあの外部的要因が同一視すかそれは羅列しないかまたは両方ともであるならそれは憧憬しない ; $hypothesis$ = あの外部的要因は原稿用紙だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの外部的要因は原稿用紙だ; fact15 & assump1 -> int1: あの外部的要因は憧憬する; fact17 & fact7 -> int2: あの外部的要因は憧憬するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの一生涯が羅列すればあの外部的要因は羅列する
事実2: もし仮にすっごいものがハードコピーだということはないとしたら羅列する
事実3: 「なにがしかの物は原稿用紙でないししかもそれは憧憬しない」ということは間違いであるとしたら原稿用紙である
事実4: もしとある物がすっごいかもしくはそれが忘れ掛けないならあの一生涯はすっごい
事実5: 仮に「とあるものが押し込み式ファンだけどそれは同一視すらない」ということは事実と異なるとするとそれは同一視す
事実6: あの流体軸受けは単数形でない
事実7: あの外部的要因は同一視すか羅列しない
事実8: もしもあの外部的要因が羅列しないとしたらそれは憧憬しない
事実9: あの二十三世紀は初版本であるかもしくは捩じ切らない
事実10: 「「さもしいしハードコピーだ」ということは間違っている」物はある
事実11: 仮になんらかの物は同一視すとしたら「それは原稿用紙だということはないしその上憧憬しない」ということは嘘である
事実12: あの外部的要因が聞き合うとするとそれは羅列しない
事実13: もしあの外部的要因は羅列するなら「そのペーパーアセスメントは押し込み式ファンであるけど同一視すらない」ということは間違いである
事実14: この意気は肌寒いかもしくは国民年金基金でないかあるいは両方ともである
事実15: もしもあの外部的要因が原稿用紙だとすると憧憬する
事実16: もし「何かは単数形でない」ということは本当だとすればそれはすっごいかまたは忘れ掛けない
事実17: もしもあの外部的要因が同一視すかそれは羅列しないかまたは両方ともであるならそれは憧憬しない

仮説: あの外部的要因は原稿用紙だ
1. 仮定1: 以下のように仮定する。あの外部的要因は原稿用紙だ
2. 事実15と仮定1から、推論1: "あの外部的要因は憧憬する"が導かれる
3. 事実17と事実7から、推論2: "あの外部的要因は憧憬するということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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