「この四十七士はＳＯＳでないがしかしそれは揉み始める」ということは成り立たない
fact1: あの列車内は揉み始める fact2: この四十七士は重くないがしかし邪魔臭い fact3: この四十七士は狙い易くない一方で捩る fact4: もし仮になにかは頻らないならばそれはＳＯＳでその上それは揉み始める fact5: 「その単純化は揉み始める」ということは本当だ fact6: このコープは揉み始めるということはない fact7: 仮にこの四十七士が竣功であるならばこの事務担当者は竣功でない fact8: 「この手相は揉み始める」ということは成り立つ fact9: 仮になにかは竣功でないけれどそれはファインマン伝播関数であるとすれば頻らない fact10: 「このＨＰＡ系はＳＯＳでない」ということは事実である fact11: この四十七士は国内各地でないが黒し fact12: この四十七士は極めない fact13: この四十七士は揉み始める fact14: あの露天石炭等採掘災害防止費用はＳＯＳでない fact15: この四十七士はＳＯＳでない fact16: あの高足駄は揉み始めない fact17: この四十七士は捨て難くない fact18: この四十七士は練り歩かないがしかし友人知人である fact19: この四十七士は押し付けがましい
fact15 & fact13 -> hypothesis;
fact15 & fact13 -> hypothesis;
この事務担当者は揉み始める
fact20 -> int1: もしもこの事務担当者が頻らないとしたらＳＯＳで揉み始める; fact21 -> int2: この事務担当者は竣功であるということはないがファインマン伝播関数であるとすれば頻らない;
$facts$ = fact1: あの列車内は揉み始める fact2: この四十七士は重くないがしかし邪魔臭い fact3: この四十七士は狙い易くない一方で捩る fact4: もし仮になにかは頻らないならばそれはＳＯＳでその上それは揉み始める fact5: 「その単純化は揉み始める」ということは本当だ fact6: このコープは揉み始めるということはない fact7: 仮にこの四十七士が竣功であるならばこの事務担当者は竣功でない fact8: 「この手相は揉み始める」ということは成り立つ fact9: 仮になにかは竣功でないけれどそれはファインマン伝播関数であるとすれば頻らない fact10: 「このＨＰＡ系はＳＯＳでない」ということは事実である fact11: この四十七士は国内各地でないが黒し fact12: この四十七士は極めない fact13: この四十七士は揉み始める fact14: あの露天石炭等採掘災害防止費用はＳＯＳでない fact15: この四十七士はＳＯＳでない fact16: あの高足駄は揉み始めない fact17: この四十七士は捨て難くない fact18: この四十七士は練り歩かないがしかし友人知人である fact19: この四十七士は押し付けがましい ; $hypothesis$ = 「この四十七士はＳＯＳでないがしかしそれは揉み始める」ということは成り立たない ; $proof$ = 
fact15 & fact13 -> hypothesis; __DISPROVED__
事実1: あの列車内は揉み始める
事実2: この四十七士は重くないがしかし邪魔臭い
事実3: この四十七士は狙い易くない一方で捩る
事実4: もし仮になにかは頻らないならばそれはＳＯＳでその上それは揉み始める
事実5: 「その単純化は揉み始める」ということは本当だ
事実6: このコープは揉み始めるということはない
事実7: 仮にこの四十七士が竣功であるならばこの事務担当者は竣功でない
事実8: 「この手相は揉み始める」ということは成り立つ
事実9: 仮になにかは竣功でないけれどそれはファインマン伝播関数であるとすれば頻らない
事実10: 「このＨＰＡ系はＳＯＳでない」ということは事実である
事実11: この四十七士は国内各地でないが黒し
事実12: この四十七士は極めない
事実13: この四十七士は揉み始める
事実14: あの露天石炭等採掘災害防止費用はＳＯＳでない
事実15: この四十七士はＳＯＳでない
事実16: あの高足駄は揉み始めない
事実17: この四十七士は捨て難くない
事実18: この四十七士は練り歩かないがしかし友人知人である
事実19: この四十七士は押し付けがましい

仮説: 「この四十七士はＳＯＳでないがしかしそれは揉み始める」ということは成り立たない
1. 事実15と事実13から、仮説が否定される

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