「この現地スタッフは頻りにするし素っ飛ぶ」ということは間違いである
fact1: あのソケットは厳禁する fact2: とある物は浸透し始めるということはないなら「頻りにするしそれは素っ飛ぶ」ということは成り立たない fact3: その要素技術は悪しかまたは素っ飛ぶ fact4: この現地スタッフは定住しない fact5: この現地スタッフは打ち振るしまたそれは折り込む fact6: もしもあのソケットが掛け難いならばこの現地スタッフは素っ飛ぶ fact7: あの勤務実績は定住しない fact8: もしなにかは厳禁すれば頻りにする fact9: もしこの現地スタッフが定住しないならそれは厳禁する fact10: 「浸透し始めない」ものがあるとしたらあのソケットは掛け難いかあるいは退る fact11: あのソケットはπワンだし更に明示出来る fact12: 「浸透し始めない」物はある fact13: この現地スタッフは退る fact14: あのユーラシア川獺は疾しかもしくは立て難いか両方ともである fact15: もしもなにがしかのものが掛け難いとすればそれは素っ飛ぶ fact16: 仮にあのソケットが退るとしたらこの現地スタッフは素っ飛ぶ fact17: この現地スタッフが掛け難いとすればあのソケットは素っ飛ぶ
fact12 & fact10 -> int1: あのソケットは掛け難いかあるいは退る; int1 & fact6 & fact16 -> int2: この現地スタッフは素っ飛ぶ; fact9 & fact4 -> int3: この現地スタッフは厳禁する; fact8 -> int4: もしもこの現地スタッフが厳禁するとすると頻りにする; int3 & int4 -> int5: この現地スタッフは頻りにする; int2 & int5 -> hypothesis;
「この現地スタッフは頻りにするし素っ飛ぶ」ということは成り立つということはない
fact18 -> int6: もし仮にこの現地スタッフは浸透し始めないならば「頻りにするしさらに素っ飛ぶ」ということは事実と異なる;
$facts$ = fact1: あのソケットは厳禁する fact2: とある物は浸透し始めるということはないなら「頻りにするしそれは素っ飛ぶ」ということは成り立たない fact3: その要素技術は悪しかまたは素っ飛ぶ fact4: この現地スタッフは定住しない fact5: この現地スタッフは打ち振るしまたそれは折り込む fact6: もしもあのソケットが掛け難いならばこの現地スタッフは素っ飛ぶ fact7: あの勤務実績は定住しない fact8: もしなにかは厳禁すれば頻りにする fact9: もしこの現地スタッフが定住しないならそれは厳禁する fact10: 「浸透し始めない」ものがあるとしたらあのソケットは掛け難いかあるいは退る fact11: あのソケットはπワンだし更に明示出来る fact12: 「浸透し始めない」物はある fact13: この現地スタッフは退る fact14: あのユーラシア川獺は疾しかもしくは立て難いか両方ともである fact15: もしもなにがしかのものが掛け難いとすればそれは素っ飛ぶ fact16: 仮にあのソケットが退るとしたらこの現地スタッフは素っ飛ぶ fact17: この現地スタッフが掛け難いとすればあのソケットは素っ飛ぶ ; $hypothesis$ = 「この現地スタッフは頻りにするし素っ飛ぶ」ということは間違いである ; $proof$ = 
fact12 & fact10 -> int1: あのソケットは掛け難いかあるいは退る; int1 & fact6 & fact16 -> int2: この現地スタッフは素っ飛ぶ; fact9 & fact4 -> int3: この現地スタッフは厳禁する; fact8 -> int4: もしもこの現地スタッフが厳禁するとすると頻りにする; int3 & int4 -> int5: この現地スタッフは頻りにする; int2 & int5 -> hypothesis; __DISPROVED__
事実1: あのソケットは厳禁する
事実2: とある物は浸透し始めるということはないなら「頻りにするしそれは素っ飛ぶ」ということは成り立たない
事実3: その要素技術は悪しかまたは素っ飛ぶ
事実4: この現地スタッフは定住しない
事実5: この現地スタッフは打ち振るしまたそれは折り込む
事実6: もしもあのソケットが掛け難いならばこの現地スタッフは素っ飛ぶ
事実7: あの勤務実績は定住しない
事実8: もしなにかは厳禁すれば頻りにする
事実9: もしこの現地スタッフが定住しないならそれは厳禁する
事実10: 「浸透し始めない」ものがあるとしたらあのソケットは掛け難いかあるいは退る
事実11: あのソケットはπワンだし更に明示出来る
事実12: 「浸透し始めない」物はある
事実13: この現地スタッフは退る
事実14: あのユーラシア川獺は疾しかもしくは立て難いか両方ともである
事実15: もしもなにがしかのものが掛け難いとすればそれは素っ飛ぶ
事実16: 仮にあのソケットが退るとしたらこの現地スタッフは素っ飛ぶ
事実17: この現地スタッフが掛け難いとすればあのソケットは素っ飛ぶ

仮説: 「この現地スタッフは頻りにするし素っ飛ぶ」ということは間違いである
1. 事実12と事実10から、推論1: "あのソケットは掛け難いかあるいは退る"が導かれる
2. 推論1と事実6と事実16から、推論2: "この現地スタッフは素っ飛ぶ"が導かれる
3. 事実9と事実4から、推論3: "この現地スタッフは厳禁する"が導かれる
4. 事実8から、推論4: "もしもこの現地スタッフが厳禁するとすると頻りにする"が導かれる
5. 推論3と推論4から、推論5: "この現地スタッフは頻りにする"が導かれる
6. 推論2と推論5から、仮説が否定される

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