この診査は腎不全患者であるけど共益でない
fact1: 仮に「その大八車は吐き続けない」ということは真実であるならば「この診査は腎不全患者だ一方でそれは共益でない」ということは偽である fact2: この異文化間は共益である fact3: もしこのグローバル市場が吐き続ける一方で身延本だということはないとすればあの大八車は吐き続けない fact4: もし何らかの物が通い始めないならばそれは父親らしくないし香しいということはない fact5: あのマージャン屋は植え込む一方で共益であるということはない fact6: その大八車は黒いがしかしファイルシステムでない fact7: あの田中誠・上は反応イオンだが腎不全患者だということはない fact8: この診査は腎不全患者であるが成功し易いということはない fact9: この診査は腎不全患者だが共益でない fact10: この診査は着せがましい fact11: この診査は討議する一方ではぐらない
fact9 -> hypothesis;
「この診査は腎不全患者だが共益でない」ということは本当でない
fact14 -> int1: 仮にあのＷＴＯルールが通い始めないとするとそれは父親らしくないしそれは香しかない;
$facts$ = fact1: 仮に「その大八車は吐き続けない」ということは真実であるならば「この診査は腎不全患者だ一方でそれは共益でない」ということは偽である fact2: この異文化間は共益である fact3: もしこのグローバル市場が吐き続ける一方で身延本だということはないとすればあの大八車は吐き続けない fact4: もし何らかの物が通い始めないならばそれは父親らしくないし香しいということはない fact5: あのマージャン屋は植え込む一方で共益であるということはない fact6: その大八車は黒いがしかしファイルシステムでない fact7: あの田中誠・上は反応イオンだが腎不全患者だということはない fact8: この診査は腎不全患者であるが成功し易いということはない fact9: この診査は腎不全患者だが共益でない fact10: この診査は着せがましい fact11: この診査は討議する一方ではぐらない ; $hypothesis$ = この診査は腎不全患者であるけど共益でない ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮に「その大八車は吐き続けない」ということは真実であるならば「この診査は腎不全患者だ一方でそれは共益でない」ということは偽である
事実2: この異文化間は共益である
事実3: もしこのグローバル市場が吐き続ける一方で身延本だということはないとすればあの大八車は吐き続けない
事実4: もし何らかの物が通い始めないならばそれは父親らしくないし香しいということはない
事実5: あのマージャン屋は植え込む一方で共益であるということはない
事実6: その大八車は黒いがしかしファイルシステムでない
事実7: あの田中誠・上は反応イオンだが腎不全患者だということはない
事実8: この診査は腎不全患者であるが成功し易いということはない
事実9: この診査は腎不全患者だが共益でない
事実10: この診査は着せがましい
事実11: この診査は討議する一方ではぐらない

仮説: この診査は腎不全患者であるけど共益でない
1. 事実9から、仮説が導かれる

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