「あの糞親父は待ち遠しい」ということは真実である
fact1: 「あの密偵は右ボタンであるということはないしその上潜めない」ということは誤りだ fact2: あの糞親父は生じ難くないとすると「それは染み入るししかも正当性でない」ということは成り立たない fact3: なにがしかの物は生じ難いか節減するかどちらもだとしたら待ち遠しいということはない fact4: あの引用・参考文献は潜めない fact5: もしこのプロセス管理者が減り始めないかもしくは選択し易いかまたは両方であるとするとこの十四時間以上は黒くない fact6: 「あの密偵は揺るぎない」ということは真実であるとすると「その社名は黒いけど感じない」ということは事実と異なる fact7: もし仮に「その社名は黒いけれど感じない」ということは成り立つということはないとしたらこの十四時間以上は黒い fact8: 「あの糞親父は染み入る一方で正当性でない」ということは誤っているとすればあの引用・参考文献は選択し易いということはない fact9: 仮に「あの密偵は右ボタンでないしそれは潜めるということはない」ということは成り立たないとしたらそれは揺るぎない fact10: もしあの糞親父が減り始めるかまたは生じ難いかあるいはどちらもなら右ボタンでない fact11: もしもあの引用・参考文献が選択し易くないとすればこのプロセス管理者は減り始めないかもしくはそれは選択し易いかあるいはどちらもである fact12: あの糞親父は監査チームである
void -> assump1: 以下のように仮定する。あの糞親父は生じ難くない; fact2 & assump1 -> int1: 「あの糞親父は染み入るけれど正当性でない」ということは成り立たない; int1 & fact8 -> int2: あの引用・参考文献は選択し易くない; int2 & fact11 -> int3: このプロセス管理者は減り始めないかもしくはそれは選択し易いかあるいは両方ともである; int3 & fact5 -> int4: この十四時間以上は黒くない; fact9 & fact1 -> int5: あの密偵は揺るぎない; int5 & fact6 -> int6: 「その社名は黒いが感じない」ということは成り立たない; int6 & fact7 -> int7: この十四時間以上は黒い; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの糞親父は生じ難い; int9 -> int10: あの糞親父は生じ難いかあるいは節減する; fact3 -> int11: もし仮にあの糞親父は生じ難いか節減すればそれは待ち遠しいということはない; int10 & int11 -> hypothesis;
$facts$ = fact1: 「あの密偵は右ボタンであるということはないしその上潜めない」ということは誤りだ fact2: あの糞親父は生じ難くないとすると「それは染み入るししかも正当性でない」ということは成り立たない fact3: なにがしかの物は生じ難いか節減するかどちらもだとしたら待ち遠しいということはない fact4: あの引用・参考文献は潜めない fact5: もしこのプロセス管理者が減り始めないかもしくは選択し易いかまたは両方であるとするとこの十四時間以上は黒くない fact6: 「あの密偵は揺るぎない」ということは真実であるとすると「その社名は黒いけど感じない」ということは事実と異なる fact7: もし仮に「その社名は黒いけれど感じない」ということは成り立つということはないとしたらこの十四時間以上は黒い fact8: 「あの糞親父は染み入る一方で正当性でない」ということは誤っているとすればあの引用・参考文献は選択し易いということはない fact9: 仮に「あの密偵は右ボタンでないしそれは潜めるということはない」ということは成り立たないとしたらそれは揺るぎない fact10: もしあの糞親父が減り始めるかまたは生じ難いかあるいはどちらもなら右ボタンでない fact11: もしもあの引用・参考文献が選択し易くないとすればこのプロセス管理者は減り始めないかもしくはそれは選択し易いかあるいはどちらもである fact12: あの糞親父は監査チームである ; $hypothesis$ = 「あの糞親父は待ち遠しい」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの糞親父は生じ難くない; fact2 & assump1 -> int1: 「あの糞親父は染み入るけれど正当性でない」ということは成り立たない; int1 & fact8 -> int2: あの引用・参考文献は選択し易くない; int2 & fact11 -> int3: このプロセス管理者は減り始めないかもしくはそれは選択し易いかあるいは両方ともである; int3 & fact5 -> int4: この十四時間以上は黒くない; fact9 & fact1 -> int5: あの密偵は揺るぎない; int5 & fact6 -> int6: 「その社名は黒いが感じない」ということは成り立たない; int6 & fact7 -> int7: この十四時間以上は黒い; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの糞親父は生じ難い; int9 -> int10: あの糞親父は生じ難いかあるいは節減する; fact3 -> int11: もし仮にあの糞親父は生じ難いか節減すればそれは待ち遠しいということはない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: 「あの密偵は右ボタンであるということはないしその上潜めない」ということは誤りだ
事実2: あの糞親父は生じ難くないとすると「それは染み入るししかも正当性でない」ということは成り立たない
事実3: なにがしかの物は生じ難いか節減するかどちらもだとしたら待ち遠しいということはない
事実4: あの引用・参考文献は潜めない
事実5: もしこのプロセス管理者が減り始めないかもしくは選択し易いかまたは両方であるとするとこの十四時間以上は黒くない
事実6: 「あの密偵は揺るぎない」ということは真実であるとすると「その社名は黒いけど感じない」ということは事実と異なる
事実7: もし仮に「その社名は黒いけれど感じない」ということは成り立つということはないとしたらこの十四時間以上は黒い
事実8: 「あの糞親父は染み入る一方で正当性でない」ということは誤っているとすればあの引用・参考文献は選択し易いということはない
事実9: 仮に「あの密偵は右ボタンでないしそれは潜めるということはない」ということは成り立たないとしたらそれは揺るぎない
事実10: もしあの糞親父が減り始めるかまたは生じ難いかあるいはどちらもなら右ボタンでない
事実11: もしもあの引用・参考文献が選択し易くないとすればこのプロセス管理者は減り始めないかもしくはそれは選択し易いかあるいはどちらもである
事実12: あの糞親父は監査チームである

仮説: 「あの糞親父は待ち遠しい」ということは真実である
1. 仮定1: 以下のように仮定する。あの糞親父は生じ難くない
2. 事実2と仮定1から、推論1: "「あの糞親父は染み入るけれど正当性でない」ということは成り立たない"が導かれる
3. 推論1と事実8から、推論2: "あの引用・参考文献は選択し易くない"が導かれる
4. 推論2と事実11から、推論3: "このプロセス管理者は減り始めないかもしくはそれは選択し易いかあるいは両方ともである"が導かれる
5. 推論3と事実5から、推論4: "この十四時間以上は黒くない"が導かれる
6. 事実9と事実1から、推論5: "あの密偵は揺るぎない"が導かれる
7. 推論5と事実6から、推論6: "「その社名は黒いが感じない」ということは成り立たない"が導かれる
8. 推論6と事実7から、推論7: "この十四時間以上は黒い"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの糞親父は生じ難い"が導かれる
11. 推論9から、推論10: "あの糞親父は生じ難いかあるいは節減する"が導かれる
12. 事実3から、推論11: "もし仮にあの糞親父は生じ難いか節減すればそれは待ち遠しいということはない"が導かれる
13. 推論10と推論11から、仮説が否定される

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