「なにがしかのものは胡散臭いしまた相談し易い」ということは嘘だ
fact1: あの即時性は相談し易い fact2: 何らかの物は胡散臭い fact3: ある物は活動し易くてさらさらする fact4: もしもあの即時性が面映ゆかないとしたらこの神経根は面映ゆいということはない fact5: 「「相談し易い」ということは確かな」ものはある fact6: もしもあの即時性が割れ難くないなら面映ゆかなくておまけに信頼出来るということはない fact7: あの即時性は胡散臭い fact8: あのＩＴ化工事は胡散臭い fact9: もし「何らかのものは廃物でない」ということは確かであるとしたら胡散臭くて加えて相談し易い fact10: 「この神経根は面映ゆかない」ということは成り立つとしたらそれは利用し易いししかもそれは運悪い fact11: ある物が運悪いならば廃物でない
fact7 & fact1 -> int1: 「あの即時性は胡散臭くておまけに相談し易い」ということは本当だ; int1 -> hypothesis;
この神経根は胡散臭い
fact12 -> int2: もし仮にこの神経根は廃物でないとしたら胡散臭いし相談し易い; fact15 -> int3: 仮にこの神経根が運悪いならば廃物でない;
$facts$ = fact1: あの即時性は相談し易い fact2: 何らかの物は胡散臭い fact3: ある物は活動し易くてさらさらする fact4: もしもあの即時性が面映ゆかないとしたらこの神経根は面映ゆいということはない fact5: 「「相談し易い」ということは確かな」ものはある fact6: もしもあの即時性が割れ難くないなら面映ゆかなくておまけに信頼出来るということはない fact7: あの即時性は胡散臭い fact8: あのＩＴ化工事は胡散臭い fact9: もし「何らかのものは廃物でない」ということは確かであるとしたら胡散臭くて加えて相談し易い fact10: 「この神経根は面映ゆかない」ということは成り立つとしたらそれは利用し易いししかもそれは運悪い fact11: ある物が運悪いならば廃物でない ; $hypothesis$ = 「なにがしかのものは胡散臭いしまた相談し易い」ということは嘘だ ; $proof$ = 
fact7 & fact1 -> int1: 「あの即時性は胡散臭くておまけに相談し易い」ということは本当だ; int1 -> hypothesis; __DISPROVED__
事実1: あの即時性は相談し易い
事実2: 何らかの物は胡散臭い
事実3: ある物は活動し易くてさらさらする
事実4: もしもあの即時性が面映ゆかないとしたらこの神経根は面映ゆいということはない
事実5: 「「相談し易い」ということは確かな」ものはある
事実6: もしもあの即時性が割れ難くないなら面映ゆかなくておまけに信頼出来るということはない
事実7: あの即時性は胡散臭い
事実8: あのＩＴ化工事は胡散臭い
事実9: もし「何らかのものは廃物でない」ということは確かであるとしたら胡散臭くて加えて相談し易い
事実10: 「この神経根は面映ゆかない」ということは成り立つとしたらそれは利用し易いししかもそれは運悪い
事実11: ある物が運悪いならば廃物でない

仮説: 「なにがしかのものは胡散臭いしまた相談し易い」ということは嘘だ
1. 事実7と事実1から、推論1: "「あの即時性は胡散臭くておまけに相談し易い」ということは本当だ"が導かれる
2. 推論1から、仮説が否定される

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