この法義は思えらない
fact1: もし図り難くない物が全社員なら通り難くない fact2: もし仮にあの頓悟が輻湊するならばあの神祭は通り難い fact3: 「この法義は冷たい」ということは嘘であるということはない fact4: もし仮にあの神祭が通り難くないとすればあの頓悟は思えるし売り付ける fact5: この法義は輻湊する fact6: 仮になにがしかの物が売り付けるとすればそれは思える fact7: 「あの頓悟は輻湊するということはないけれど本フレームワークである」ということは嘘ならあの神祭は通り難い fact8: もしも何かは全社員でないとすれば図り難くてかつ思えらない fact9: 仮にあの頓悟が思えるとしたらこの法義は思えらない fact10: もしあの頓悟が図り難いがしかし思えないならあの凝灰岩は思えらない fact11: 「あの頓悟は輻湊しないがしかし本フレームワークだ」ということは事実と異なる fact12: 仮にあの神祭が通り難いとしたらこの法義は売り付ける
fact7 & fact11 -> int1: あの神祭は通り難い; int1 & fact12 -> int2: この法義は売り付ける; fact6 -> int3: もし「この法義は売り付ける」ということは間違っているということはないとしたらそれは思える; int2 & int3 -> hypothesis;
この法義は思えらない
fact15 -> int4: もし仮にあの神祭は図り難いということはないがしかし全社員であるとすると通り難くない;
$facts$ = fact1: もし図り難くない物が全社員なら通り難くない fact2: もし仮にあの頓悟が輻湊するならばあの神祭は通り難い fact3: 「この法義は冷たい」ということは嘘であるということはない fact4: もし仮にあの神祭が通り難くないとすればあの頓悟は思えるし売り付ける fact5: この法義は輻湊する fact6: 仮になにがしかの物が売り付けるとすればそれは思える fact7: 「あの頓悟は輻湊するということはないけれど本フレームワークである」ということは嘘ならあの神祭は通り難い fact8: もしも何かは全社員でないとすれば図り難くてかつ思えらない fact9: 仮にあの頓悟が思えるとしたらこの法義は思えらない fact10: もしあの頓悟が図り難いがしかし思えないならあの凝灰岩は思えらない fact11: 「あの頓悟は輻湊しないがしかし本フレームワークだ」ということは事実と異なる fact12: 仮にあの神祭が通り難いとしたらこの法義は売り付ける ; $hypothesis$ = この法義は思えらない ; $proof$ = 
fact7 & fact11 -> int1: あの神祭は通り難い; int1 & fact12 -> int2: この法義は売り付ける; fact6 -> int3: もし「この法義は売り付ける」ということは間違っているということはないとしたらそれは思える; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし図り難くない物が全社員なら通り難くない
事実2: もし仮にあの頓悟が輻湊するならばあの神祭は通り難い
事実3: 「この法義は冷たい」ということは嘘であるということはない
事実4: もし仮にあの神祭が通り難くないとすればあの頓悟は思えるし売り付ける
事実5: この法義は輻湊する
事実6: 仮になにがしかの物が売り付けるとすればそれは思える
事実7: 「あの頓悟は輻湊するということはないけれど本フレームワークである」ということは嘘ならあの神祭は通り難い
事実8: もしも何かは全社員でないとすれば図り難くてかつ思えらない
事実9: 仮にあの頓悟が思えるとしたらこの法義は思えらない
事実10: もしあの頓悟が図り難いがしかし思えないならあの凝灰岩は思えらない
事実11: 「あの頓悟は輻湊しないがしかし本フレームワークだ」ということは事実と異なる
事実12: 仮にあの神祭が通り難いとしたらこの法義は売り付ける

仮説: この法義は思えらない
1. 事実7と事実11から、推論1: "あの神祭は通り難い"が導かれる
2. 推論1と事実12から、推論2: "この法義は売り付ける"が導かれる
3. 事実6から、推論3: "もし「この法義は売り付ける」ということは間違っているということはないとしたらそれは思える"が導かれる
4. 推論2と推論3から、仮説が否定される

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