この高齢アルコール依存症者はずらせない
fact1: 仮にあるものは西南戦争であるとしたらさり気無い fact2: 仮にこのＩＴＳがカテゴリ分けするけれど喋れないとするとこの高齢アルコール依存症者は喋れない fact3: このＩＴＳが保釈するなら記載漏れでないかまたはそれは西南戦争でないかあるいは両方である fact4: 仮に何かはずらせるとすればそれはさり気無い fact5: 「この高齢アルコール依存症者は記載漏れであるしその上西南戦争である」ということは成り立つ fact6: このＩＴＳは模型飛行機である fact7: このＩＴＳは考え難いしその上めぼしい fact8: もしも「この高齢アルコール依存症者は喋れるということはない」ということは成り立つとしたら「この子猫ちゃんはずらせるかまたは西南戦争であるかまたはどちらもだ」ということは確かだ fact9: 「その大型魚は記載漏れだ」ということは正しい fact10: 何らかの物が保釈しないならば為されるしかつ記載漏れである fact11: 何らかのものが模型飛行機でそれは考え難いとすれば「聞き届けない」ということは成り立つ fact12: 仮にこの高齢アルコール依存症者は記載漏れであるならばそれはずらせる fact13: もしもこのＩＴＳが聞き届けないとしたらカテゴリ分けするが喋れるということはない
fact5 -> int1: この高齢アルコール依存症者は記載漏れだ; int1 & fact12 -> hypothesis;
この高齢アルコール依存症者はずらせるということはない
$facts$ = fact1: 仮にあるものは西南戦争であるとしたらさり気無い fact2: 仮にこのＩＴＳがカテゴリ分けするけれど喋れないとするとこの高齢アルコール依存症者は喋れない fact3: このＩＴＳが保釈するなら記載漏れでないかまたはそれは西南戦争でないかあるいは両方である fact4: 仮に何かはずらせるとすればそれはさり気無い fact5: 「この高齢アルコール依存症者は記載漏れであるしその上西南戦争である」ということは成り立つ fact6: このＩＴＳは模型飛行機である fact7: このＩＴＳは考え難いしその上めぼしい fact8: もしも「この高齢アルコール依存症者は喋れるということはない」ということは成り立つとしたら「この子猫ちゃんはずらせるかまたは西南戦争であるかまたはどちらもだ」ということは確かだ fact9: 「その大型魚は記載漏れだ」ということは正しい fact10: 何らかの物が保釈しないならば為されるしかつ記載漏れである fact11: 何らかのものが模型飛行機でそれは考え難いとすれば「聞き届けない」ということは成り立つ fact12: 仮にこの高齢アルコール依存症者は記載漏れであるならばそれはずらせる fact13: もしもこのＩＴＳが聞き届けないとしたらカテゴリ分けするが喋れるということはない ; $hypothesis$ = この高齢アルコール依存症者はずらせない ; $proof$ = 
fact5 -> int1: この高齢アルコール依存症者は記載漏れだ; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは西南戦争であるとしたらさり気無い
事実2: 仮にこのＩＴＳがカテゴリ分けするけれど喋れないとするとこの高齢アルコール依存症者は喋れない
事実3: このＩＴＳが保釈するなら記載漏れでないかまたはそれは西南戦争でないかあるいは両方である
事実4: 仮に何かはずらせるとすればそれはさり気無い
事実5: 「この高齢アルコール依存症者は記載漏れであるしその上西南戦争である」ということは成り立つ
事実6: このＩＴＳは模型飛行機である
事実7: このＩＴＳは考え難いしその上めぼしい
事実8: もしも「この高齢アルコール依存症者は喋れるということはない」ということは成り立つとしたら「この子猫ちゃんはずらせるかまたは西南戦争であるかまたはどちらもだ」ということは確かだ
事実9: 「その大型魚は記載漏れだ」ということは正しい
事実10: 何らかの物が保釈しないならば為されるしかつ記載漏れである
事実11: 何らかのものが模型飛行機でそれは考え難いとすれば「聞き届けない」ということは成り立つ
事実12: 仮にこの高齢アルコール依存症者は記載漏れであるならばそれはずらせる
事実13: もしもこのＩＴＳが聞き届けないとしたらカテゴリ分けするが喋れるということはない

仮説: この高齢アルコール依存症者はずらせない
1. 事実5から、推論1: "この高齢アルコール依存症者は記載漏れだ"が導かれる
2. 推論1と事実12から、仮説が否定される

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