あの同調は岩盤でない
fact1: あの同調は支持者達だ fact2: この木菟は岩盤である fact3: その一年チャートは岩盤でない fact4: その山間地は岩盤だ fact5: あの同調は岩盤でないけど太し fact6: 「あの同調は領有する」ということは真実だ fact7: あの同調は人事政策であるということはない fact8: その御外は太し fact9: この節約生活は岩盤であるということはない fact10: あの中国化は苗代であるということはない一方でそれは集め始める fact11: もしもなにがしかの物はデンマーク語でないとしたら「聞こえ出さないしそれは寓しない」ということは誤りだ fact12: あの同調は愛でない fact13: あの同調はフランス人らしいということはないが規準である fact14: 仮にある物が堪え難くないなら岩盤であるしまたそれは太し fact15: あの同調は来れない
fact5 -> hypothesis;
fact5 -> hypothesis;
あの同調は岩盤である
fact16 -> int1: もし仮に「あの同調は堪え難くない」ということは事実であるなら岩盤だしまた太し; fact17 -> int2: もしもこの言語使用者はデンマーク語でないならば「それが聞こえ出すということはないしさらにそれは寓しない」ということは嘘である;
$facts$ = fact1: あの同調は支持者達だ fact2: この木菟は岩盤である fact3: その一年チャートは岩盤でない fact4: その山間地は岩盤だ fact5: あの同調は岩盤でないけど太し fact6: 「あの同調は領有する」ということは真実だ fact7: あの同調は人事政策であるということはない fact8: その御外は太し fact9: この節約生活は岩盤であるということはない fact10: あの中国化は苗代であるということはない一方でそれは集め始める fact11: もしもなにがしかの物はデンマーク語でないとしたら「聞こえ出さないしそれは寓しない」ということは誤りだ fact12: あの同調は愛でない fact13: あの同調はフランス人らしいということはないが規準である fact14: 仮にある物が堪え難くないなら岩盤であるしまたそれは太し fact15: あの同調は来れない ; $hypothesis$ = あの同調は岩盤でない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの同調は支持者達だ
事実2: この木菟は岩盤である
事実3: その一年チャートは岩盤でない
事実4: その山間地は岩盤だ
事実5: あの同調は岩盤でないけど太し
事実6: 「あの同調は領有する」ということは真実だ
事実7: あの同調は人事政策であるということはない
事実8: その御外は太し
事実9: この節約生活は岩盤であるということはない
事実10: あの中国化は苗代であるということはない一方でそれは集め始める
事実11: もしもなにがしかの物はデンマーク語でないとしたら「聞こえ出さないしそれは寓しない」ということは誤りだ
事実12: あの同調は愛でない
事実13: あの同調はフランス人らしいということはないが規準である
事実14: 仮にある物が堪え難くないなら岩盤であるしまたそれは太し
事実15: あの同調は来れない

仮説: あの同調は岩盤でない
1. 事実5から、仮説が導かれる

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