あの日本中央競馬会は保護出来ない
fact1: 「なんらかの物は割れ難くて更に動物病院である」ということは誤りであるとしたら優れるということはない fact2: 仮にあの日本中央競馬会が求まるということはないならそれは二十二種類である fact3: 切り離し難いものは類推適用する fact4: もしあの雑菌汚染が浸出するしまた類推適用するならあの日本中央競馬会は浸出しない fact5: 「この諸先生は三年生以下であるということはない」ということは確かだ fact6: もしこの民間金融機関が保健維持機構であるとしたらあの雑菌汚染は切り離し難い fact7: 「このライトバンは火傷する」ということは成り立つなら「あの雑菌汚染は溶け易い」ということは成り立つ fact8: この民間金融機関は新内でない fact9: もし仮にこのライトバンが溶け易いならあの雑菌汚染は溶け易い fact10: もし仮にあの日本中央競馬会が求まらないとしたら二十二種類でおまけにそれは保護出来ない fact11: もし「この諸先生は管理し易くて借り易い」ということは成り立つとしたらこのライトバンは管理し易いということはない fact12: 仮にあるものが優れないならばそれは求まらなくてＡＶＥだ fact13: 仮に「あの日本中央競馬会は浸出しない」ということは誤りでないとすると「あの戦車隊は割れ難くてかつ動物病院だ」ということは間違っている fact14: もしとある物が管理し易くないならば火傷するかまたは溶け易いかどちらもだ fact15: もしもなにかは溶け易いとしたら浸出する fact16: もしもこの諸先生が三年生以下だということはないならばそれは管理し易いしそれは借り易い fact17: あの日本中央競馬会は求まらない fact18: もし仮になにがしかのものが新内でないならば根深くて保健維持機構である
fact10 & fact17 -> int1: あの日本中央競馬会は二十二種類である一方で保護出来ない; int1 -> hypothesis;
fact10 & fact17 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
あの戦車隊は求まるということはない
fact33 -> int2: もし仮にあの戦車隊が優れないならそれは求まるということはない一方でＡＶＥだ; fact32 -> int3: 仮に「あの戦車隊が割れ難いしその上それは動物病院だ」ということは成り立たないとしたらそれは優れるということはない; fact23 -> int4: もしあの雑菌汚染は溶け易いなら「浸出する」ということは成り立つ; fact26 -> int5: もし仮にこのライトバンは管理し易くないなら「火傷するか溶け易い」ということは確かだ; fact24 & fact29 -> int6: 「この諸先生は管理し易いし更に借り易い」ということは真実である; fact22 & int6 -> int7: このライトバンは管理し易くない; int5 & int7 -> int8: このライトバンは火傷するかあるいは溶け易いかあるいは両方である; int8 & fact20 & fact30 -> int9: 「あの雑菌汚染は溶け易い」ということは確かだ; int4 & int9 -> int10: あの雑菌汚染は浸出する; fact21 -> int11: もし仮にあの雑菌汚染が切り離し難いとするとそれは類推適用する; fact27 -> int12: もし仮にこの民間金融機関が新内でないならば根深いしそれに保健維持機構だ; int12 & fact25 -> int13: 「この民間金融機関は根深くて保健維持機構である」ということは成り立つ; int13 -> int14: この民間金融機関は保健維持機構である; fact28 & int14 -> int15: あの雑菌汚染は切り離し難い; int11 & int15 -> int16: あの雑菌汚染は類推適用する; int10 & int16 -> int17: あの雑菌汚染は浸出するしそれにそれは類推適用する; fact31 & int17 -> int18: あの日本中央競馬会は浸出しない; fact19 & int18 -> int19: 「あの戦車隊は割れ難くておまけに動物病院である」ということは嘘だ; int3 & int19 -> int20: あの戦車隊は優れるということはない; int2 & int20 -> int21: あの戦車隊は求まるということはない一方でＡＶＥである; int21 -> hypothesis;
$facts$ = fact1: 「なんらかの物は割れ難くて更に動物病院である」ということは誤りであるとしたら優れるということはない fact2: 仮にあの日本中央競馬会が求まるということはないならそれは二十二種類である fact3: 切り離し難いものは類推適用する fact4: もしあの雑菌汚染が浸出するしまた類推適用するならあの日本中央競馬会は浸出しない fact5: 「この諸先生は三年生以下であるということはない」ということは確かだ fact6: もしこの民間金融機関が保健維持機構であるとしたらあの雑菌汚染は切り離し難い fact7: 「このライトバンは火傷する」ということは成り立つなら「あの雑菌汚染は溶け易い」ということは成り立つ fact8: この民間金融機関は新内でない fact9: もし仮にこのライトバンが溶け易いならあの雑菌汚染は溶け易い fact10: もし仮にあの日本中央競馬会が求まらないとしたら二十二種類でおまけにそれは保護出来ない fact11: もし「この諸先生は管理し易くて借り易い」ということは成り立つとしたらこのライトバンは管理し易いということはない fact12: 仮にあるものが優れないならばそれは求まらなくてＡＶＥだ fact13: 仮に「あの日本中央競馬会は浸出しない」ということは誤りでないとすると「あの戦車隊は割れ難くてかつ動物病院だ」ということは間違っている fact14: もしとある物が管理し易くないならば火傷するかまたは溶け易いかどちらもだ fact15: もしもなにかは溶け易いとしたら浸出する fact16: もしもこの諸先生が三年生以下だということはないならばそれは管理し易いしそれは借り易い fact17: あの日本中央競馬会は求まらない fact18: もし仮になにがしかのものが新内でないならば根深くて保健維持機構である ; $hypothesis$ = あの日本中央競馬会は保護出来ない ; $proof$ = 
fact10 & fact17 -> int1: あの日本中央競馬会は二十二種類である一方で保護出来ない; int1 -> hypothesis; __PROVED__
事実1: 「なんらかの物は割れ難くて更に動物病院である」ということは誤りであるとしたら優れるということはない
事実2: 仮にあの日本中央競馬会が求まるということはないならそれは二十二種類である
事実3: 切り離し難いものは類推適用する
事実4: もしあの雑菌汚染が浸出するしまた類推適用するならあの日本中央競馬会は浸出しない
事実5: 「この諸先生は三年生以下であるということはない」ということは確かだ
事実6: もしこの民間金融機関が保健維持機構であるとしたらあの雑菌汚染は切り離し難い
事実7: 「このライトバンは火傷する」ということは成り立つなら「あの雑菌汚染は溶け易い」ということは成り立つ
事実8: この民間金融機関は新内でない
事実9: もし仮にこのライトバンが溶け易いならあの雑菌汚染は溶け易い
事実10: もし仮にあの日本中央競馬会が求まらないとしたら二十二種類でおまけにそれは保護出来ない
事実11: もし「この諸先生は管理し易くて借り易い」ということは成り立つとしたらこのライトバンは管理し易いということはない
事実12: 仮にあるものが優れないならばそれは求まらなくてＡＶＥだ
事実13: 仮に「あの日本中央競馬会は浸出しない」ということは誤りでないとすると「あの戦車隊は割れ難くてかつ動物病院だ」ということは間違っている
事実14: もしとある物が管理し易くないならば火傷するかまたは溶け易いかどちらもだ
事実15: もしもなにかは溶け易いとしたら浸出する
事実16: もしもこの諸先生が三年生以下だということはないならばそれは管理し易いしそれは借り易い
事実17: あの日本中央競馬会は求まらない
事実18: もし仮になにがしかのものが新内でないならば根深くて保健維持機構である

仮説: あの日本中央競馬会は保護出来ない
1. 事実10と事実17から、推論1: "あの日本中央競馬会は二十二種類である一方で保護出来ない"が導かれる
2. 推論1から、仮説が導かれる

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