そのＡＢＣＰは発色しないがしかし巣くう
fact1: そのＯ‐フェナントロリン法はオキサトミドだ fact2: そのＡＢＣＰは析出する fact3: 仮にそのＯ‐フェナントロリン法が巣くわないとすればあのＡＢＣＰは発色しない fact4: その炭酸ガス分圧は入れ易い fact5: 綴り方教室がＴＸＴだとすればそれは巣くわない fact6: あの費用最小化が析出するとしたらそのＯ‐フェナントロリン法は綴り方教室だ fact7: もし仮にその炭酸ガス分圧は入れ易いとすれば「あの費用最小化は析出する」ということは確かだ fact8: もし仮に綴り方教室が入れ易いならば巣くうということはない fact9: もしもある物は入れ易いとすると「発色しないけれど巣くう」ということは誤りだ fact10: ＴＸＴが析出するとすると巣くわない fact11: そのＯ‐フェナントロリン法がＴＸＴだしオキサトミドだ fact12: そのＯ‐フェナントロリン法が巣くわないとしたらそのＡＢＣＰは発色しないがしかし巣くう fact13: そのＡＢＣＰは発色するということはない fact14: 「この小村建設は綴り方教室である」ということは成り立つ
fact7 & fact4 -> int1: あの費用最小化は析出する; int1 & fact6 -> int2: そのＯ‐フェナントロリン法は綴り方教室である; fact11 -> int3: 「そのＯ‐フェナントロリン法はＴＸＴだ」ということは真実だ; int2 & int3 -> int4: そのＯ‐フェナントロリン法は綴り方教室であるしおまけにそれはＴＸＴである; fact5 -> int5: 仮にそのＯ‐フェナントロリン法が綴り方教室だしそれはＴＸＴであるとしたらそれは巣くわない; int4 & int5 -> int6: 「そのＯ‐フェナントロリン法は巣くうということはない」ということは正しい; int6 & fact12 -> hypothesis;
「そのＡＢＣＰは発色するということはない一方でそれは巣くう」ということは真実でない
fact15 -> int7: 仮にそのＡＢＣＰは入れ易いとすると「発色しなくて巣くう」ということは間違っている;
$facts$ = fact1: そのＯ‐フェナントロリン法はオキサトミドだ fact2: そのＡＢＣＰは析出する fact3: 仮にそのＯ‐フェナントロリン法が巣くわないとすればあのＡＢＣＰは発色しない fact4: その炭酸ガス分圧は入れ易い fact5: 綴り方教室がＴＸＴだとすればそれは巣くわない fact6: あの費用最小化が析出するとしたらそのＯ‐フェナントロリン法は綴り方教室だ fact7: もし仮にその炭酸ガス分圧は入れ易いとすれば「あの費用最小化は析出する」ということは確かだ fact8: もし仮に綴り方教室が入れ易いならば巣くうということはない fact9: もしもある物は入れ易いとすると「発色しないけれど巣くう」ということは誤りだ fact10: ＴＸＴが析出するとすると巣くわない fact11: そのＯ‐フェナントロリン法がＴＸＴだしオキサトミドだ fact12: そのＯ‐フェナントロリン法が巣くわないとしたらそのＡＢＣＰは発色しないがしかし巣くう fact13: そのＡＢＣＰは発色するということはない fact14: 「この小村建設は綴り方教室である」ということは成り立つ ; $hypothesis$ = そのＡＢＣＰは発色しないがしかし巣くう ; $proof$ = 
fact7 & fact4 -> int1: あの費用最小化は析出する; int1 & fact6 -> int2: そのＯ‐フェナントロリン法は綴り方教室である; fact11 -> int3: 「そのＯ‐フェナントロリン法はＴＸＴだ」ということは真実だ; int2 & int3 -> int4: そのＯ‐フェナントロリン法は綴り方教室であるしおまけにそれはＴＸＴである; fact5 -> int5: 仮にそのＯ‐フェナントロリン法が綴り方教室だしそれはＴＸＴであるとしたらそれは巣くわない; int4 & int5 -> int6: 「そのＯ‐フェナントロリン法は巣くうということはない」ということは正しい; int6 & fact12 -> hypothesis; __PROVED__
事実1: そのＯ‐フェナントロリン法はオキサトミドだ
事実2: そのＡＢＣＰは析出する
事実3: 仮にそのＯ‐フェナントロリン法が巣くわないとすればあのＡＢＣＰは発色しない
事実4: その炭酸ガス分圧は入れ易い
事実5: 綴り方教室がＴＸＴだとすればそれは巣くわない
事実6: あの費用最小化が析出するとしたらそのＯ‐フェナントロリン法は綴り方教室だ
事実7: もし仮にその炭酸ガス分圧は入れ易いとすれば「あの費用最小化は析出する」ということは確かだ
事実8: もし仮に綴り方教室が入れ易いならば巣くうということはない
事実9: もしもある物は入れ易いとすると「発色しないけれど巣くう」ということは誤りだ
事実10: ＴＸＴが析出するとすると巣くわない
事実11: そのＯ‐フェナントロリン法がＴＸＴだしオキサトミドだ
事実12: そのＯ‐フェナントロリン法が巣くわないとしたらそのＡＢＣＰは発色しないがしかし巣くう
事実13: そのＡＢＣＰは発色するということはない
事実14: 「この小村建設は綴り方教室である」ということは成り立つ

仮説: そのＡＢＣＰは発色しないがしかし巣くう
1. 事実7と事実4から、推論1: "あの費用最小化は析出する"が導かれる
2. 推論1と事実6から、推論2: "そのＯ‐フェナントロリン法は綴り方教室である"が導かれる
3. 事実11から、推論3: "「そのＯ‐フェナントロリン法はＴＸＴだ」ということは真実だ"が導かれる
4. 推論2と推論3から、推論4: "そのＯ‐フェナントロリン法は綴り方教室であるしおまけにそれはＴＸＴである"が導かれる
5. 事実5から、推論5: "仮にそのＯ‐フェナントロリン法が綴り方教室だしそれはＴＸＴであるとしたらそれは巣くわない"が導かれる
6. 推論4と推論5から、推論6: "「そのＯ‐フェナントロリン法は巣くうということはない」ということは正しい"が導かれる
7. 推論6と事実12から、仮説が導かれる

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