「あのインフラストラクチャーはすりゃ良いけど煩くない」ということは成り立たない
fact1: 「あのフロント係はすりゃ良いけれどそれは行儀良くない」ということは間違っている fact2: 「あのインフラストラクチャーはすりゃ良いしまた煩い」ということは嘘だ fact3: 「あのインフラストラクチャーはすりゃ良いけどそれは煩くない」ということは成り立たない fact4: 「「「その資本持分は吸い立てるけどそれはすりゃ良いということはない」ということは成り立つ」ということは事実と異なる」ということは成り立つ fact5: もしこの脳神経科学が父親らしいということはないとすればあのインフラストラクチャーはすりゃ良いが煩いということはない fact6: 「「あのインフラストラクチャーは心強いけれど止まらない」ということは偽である」ということは本当だ fact7: 「あのインフラストラクチャーは睦まじいけれど観察し易くない」ということは偽だ fact8: 「あのインフラストラクチャーは煩いけれど水臭いということはない」ということは成り立たない fact9: 「あのインフラストラクチャーは誹謗する一方で煩くない」ということは偽だ fact10: 「あのインフラストラクチャーは観察し易いけれど防ぎ切れない」ということは成り立たない fact11: 「このマルクス・レーニン主義は売り買いするがしかしそれはすりゃ良くない」ということは間違っている fact12: 「とある物はひょろ長いということはないし執着しない」ということは間違いであるとすると父親らしくない fact13: 「その鉄板焼きはすりゃ良いがしかし掻き集めない」ということは誤りだ fact14: 「あのインフラストラクチャーは成立し難い一方でそれはすりゃ良いということはない」ということは成り立たない
fact3 -> hypothesis;
fact3 -> hypothesis;
あのインフラストラクチャーはすりゃ良いがしかし煩くない
fact15 -> int1: もしも「この脳神経科学はひょろ長くないしまたそれは執着しない」ということは誤っていれば父親らしくない;
$facts$ = fact1: 「あのフロント係はすりゃ良いけれどそれは行儀良くない」ということは間違っている fact2: 「あのインフラストラクチャーはすりゃ良いしまた煩い」ということは嘘だ fact3: 「あのインフラストラクチャーはすりゃ良いけどそれは煩くない」ということは成り立たない fact4: 「「「その資本持分は吸い立てるけどそれはすりゃ良いということはない」ということは成り立つ」ということは事実と異なる」ということは成り立つ fact5: もしこの脳神経科学が父親らしいということはないとすればあのインフラストラクチャーはすりゃ良いが煩いということはない fact6: 「「あのインフラストラクチャーは心強いけれど止まらない」ということは偽である」ということは本当だ fact7: 「あのインフラストラクチャーは睦まじいけれど観察し易くない」ということは偽だ fact8: 「あのインフラストラクチャーは煩いけれど水臭いということはない」ということは成り立たない fact9: 「あのインフラストラクチャーは誹謗する一方で煩くない」ということは偽だ fact10: 「あのインフラストラクチャーは観察し易いけれど防ぎ切れない」ということは成り立たない fact11: 「このマルクス・レーニン主義は売り買いするがしかしそれはすりゃ良くない」ということは間違っている fact12: 「とある物はひょろ長いということはないし執着しない」ということは間違いであるとすると父親らしくない fact13: 「その鉄板焼きはすりゃ良いがしかし掻き集めない」ということは誤りだ fact14: 「あのインフラストラクチャーは成立し難い一方でそれはすりゃ良いということはない」ということは成り立たない ; $hypothesis$ = 「あのインフラストラクチャーはすりゃ良いけど煩くない」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「あのフロント係はすりゃ良いけれどそれは行儀良くない」ということは間違っている
事実2: 「あのインフラストラクチャーはすりゃ良いしまた煩い」ということは嘘だ
事実3: 「あのインフラストラクチャーはすりゃ良いけどそれは煩くない」ということは成り立たない
事実4: 「「「その資本持分は吸い立てるけどそれはすりゃ良いということはない」ということは成り立つ」ということは事実と異なる」ということは成り立つ
事実5: もしこの脳神経科学が父親らしいということはないとすればあのインフラストラクチャーはすりゃ良いが煩いということはない
事実6: 「「あのインフラストラクチャーは心強いけれど止まらない」ということは偽である」ということは本当だ
事実7: 「あのインフラストラクチャーは睦まじいけれど観察し易くない」ということは偽だ
事実8: 「あのインフラストラクチャーは煩いけれど水臭いということはない」ということは成り立たない
事実9: 「あのインフラストラクチャーは誹謗する一方で煩くない」ということは偽だ
事実10: 「あのインフラストラクチャーは観察し易いけれど防ぎ切れない」ということは成り立たない
事実11: 「このマルクス・レーニン主義は売り買いするがしかしそれはすりゃ良くない」ということは間違っている
事実12: 「とある物はひょろ長いということはないし執着しない」ということは間違いであるとすると父親らしくない
事実13: 「その鉄板焼きはすりゃ良いがしかし掻き集めない」ということは誤りだ
事実14: 「あのインフラストラクチャーは成立し難い一方でそれはすりゃ良いということはない」ということは成り立たない

仮説: 「あのインフラストラクチャーはすりゃ良いけど煩くない」ということは成り立たない
1. 事実3から、仮説が導かれる

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