あの収入は自覚する
fact1: そのＭＩは自覚する fact2: 仮にあの収入は得ル時であるとすれば「それはチタン製でないかあるいは持ち物検査であるかまたは両方ともである」ということは誤りである fact3: あの収入は自分らしい fact4: この禅宗は自覚する fact5: もし仮にあの収入は持ち物検査ならば「チタン製であるけど自覚しない」ということは誤りでない fact6: もし「この生物活性は検分するし漂着物だ」ということは誤っているとすると検分しない fact7: あの犬飼工務店は自覚する fact8: あの収入は抽象的過ぎる fact9: あの収入は本人だ fact10: あの収入は真っ黒い fact11: あの収入は土筆だ fact12: あの日本政治は自覚する fact13: 「この床机は自覚する」ということは成り立つ fact14: もし仮にこの生物活性は開発・普及でないとすれば「それは検分するし漂着物である」ということは間違っている fact15: あの収入は検分する fact16: この聖櫃は自覚する fact17: あの唐令は自覚する fact18: あの収入は自覚する fact19: この生物活性は自覚する
fact18 -> hypothesis;
fact18 -> hypothesis;
あの収入は自覚しない
$facts$ = fact1: そのＭＩは自覚する fact2: 仮にあの収入は得ル時であるとすれば「それはチタン製でないかあるいは持ち物検査であるかまたは両方ともである」ということは誤りである fact3: あの収入は自分らしい fact4: この禅宗は自覚する fact5: もし仮にあの収入は持ち物検査ならば「チタン製であるけど自覚しない」ということは誤りでない fact6: もし「この生物活性は検分するし漂着物だ」ということは誤っているとすると検分しない fact7: あの犬飼工務店は自覚する fact8: あの収入は抽象的過ぎる fact9: あの収入は本人だ fact10: あの収入は真っ黒い fact11: あの収入は土筆だ fact12: あの日本政治は自覚する fact13: 「この床机は自覚する」ということは成り立つ fact14: もし仮にこの生物活性は開発・普及でないとすれば「それは検分するし漂着物である」ということは間違っている fact15: あの収入は検分する fact16: この聖櫃は自覚する fact17: あの唐令は自覚する fact18: あの収入は自覚する fact19: この生物活性は自覚する ; $hypothesis$ = あの収入は自覚する ; $proof$ = 
fact18 -> hypothesis; __PROVED__
事実1: そのＭＩは自覚する
事実2: 仮にあの収入は得ル時であるとすれば「それはチタン製でないかあるいは持ち物検査であるかまたは両方ともである」ということは誤りである
事実3: あの収入は自分らしい
事実4: この禅宗は自覚する
事実5: もし仮にあの収入は持ち物検査ならば「チタン製であるけど自覚しない」ということは誤りでない
事実6: もし「この生物活性は検分するし漂着物だ」ということは誤っているとすると検分しない
事実7: あの犬飼工務店は自覚する
事実8: あの収入は抽象的過ぎる
事実9: あの収入は本人だ
事実10: あの収入は真っ黒い
事実11: あの収入は土筆だ
事実12: あの日本政治は自覚する
事実13: 「この床机は自覚する」ということは成り立つ
事実14: もし仮にこの生物活性は開発・普及でないとすれば「それは検分するし漂着物である」ということは間違っている
事実15: あの収入は検分する
事実16: この聖櫃は自覚する
事実17: あの唐令は自覚する
事実18: あの収入は自覚する
事実19: この生物活性は自覚する

仮説: あの収入は自覚する
1. 事実18から、仮説が導かれる

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