そのディストリクト線は信じ始めない
fact1: そのディストリクト線は鉱山開発である fact2: このイギリス産業は信じ始める fact3: そのディストリクト線は存在出来る fact4: 「その定義規定は信じ始める」ということは間違いであるということはない fact5: そのディストリクト線は安定成長だ fact6: 何かは携え帰らないとすると「信じ始めないしそれは受理出来る」ということは成り立つということはない fact7: この準構成員は信じ始める fact8: そのディストリクト線は希少野生動植物種である fact9: 「そのズーミングは信じ始める」ということは本当だ fact10: この脈拍数は信じ始める fact11: この喜悦は信じ始める fact12: 仮に何かは一食主義だとすればそれは携え帰らない fact13: 仮に「「あの四色は信じ始めない一方で受理出来る」ということは事実だ」ということは正しくないとしたらそのディストリクト線は信じ始めない fact14: そのディストリクト線は同文書だ fact15: 「そのディストリクト線は信じ始める」ということは本当だ
fact15 -> hypothesis;
fact15 -> hypothesis;
そのディストリクト線は信じ始めない
fact16 -> int1: もしあの四色は携え帰らないならば「信じ始めないが受理出来る」ということは成り立たない; fact18 -> int2: 仮にあの四色が一食主義だとすればそれは携え帰らない;
$facts$ = fact1: そのディストリクト線は鉱山開発である fact2: このイギリス産業は信じ始める fact3: そのディストリクト線は存在出来る fact4: 「その定義規定は信じ始める」ということは間違いであるということはない fact5: そのディストリクト線は安定成長だ fact6: 何かは携え帰らないとすると「信じ始めないしそれは受理出来る」ということは成り立つということはない fact7: この準構成員は信じ始める fact8: そのディストリクト線は希少野生動植物種である fact9: 「そのズーミングは信じ始める」ということは本当だ fact10: この脈拍数は信じ始める fact11: この喜悦は信じ始める fact12: 仮に何かは一食主義だとすればそれは携え帰らない fact13: 仮に「「あの四色は信じ始めない一方で受理出来る」ということは事実だ」ということは正しくないとしたらそのディストリクト線は信じ始めない fact14: そのディストリクト線は同文書だ fact15: 「そのディストリクト線は信じ始める」ということは本当だ ; $hypothesis$ = そのディストリクト線は信じ始めない ; $proof$ = 
fact15 -> hypothesis; __DISPROVED__
事実1: そのディストリクト線は鉱山開発である
事実2: このイギリス産業は信じ始める
事実3: そのディストリクト線は存在出来る
事実4: 「その定義規定は信じ始める」ということは間違いであるということはない
事実5: そのディストリクト線は安定成長だ
事実6: 何かは携え帰らないとすると「信じ始めないしそれは受理出来る」ということは成り立つということはない
事実7: この準構成員は信じ始める
事実8: そのディストリクト線は希少野生動植物種である
事実9: 「そのズーミングは信じ始める」ということは本当だ
事実10: この脈拍数は信じ始める
事実11: この喜悦は信じ始める
事実12: 仮に何かは一食主義だとすればそれは携え帰らない
事実13: 仮に「「あの四色は信じ始めない一方で受理出来る」ということは事実だ」ということは正しくないとしたらそのディストリクト線は信じ始めない
事実14: そのディストリクト線は同文書だ
事実15: 「そのディストリクト線は信じ始める」ということは本当だ

仮説: そのディストリクト線は信じ始めない
1. 事実15から、仮説が否定される

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