「チェンジする」物はある
fact1: 句読法はタイムタイムである fact2: 「なにがしかの物はツーリストでないけれどそれは現出する」ということは成り立たないとすれば装飾でない fact3: もしその色素が気恥ずかしくないとするとその仮寝はやばくないかまたは辛抱強いかもしくはどちらもだ fact4: その菠薐草はチェンジしない fact5: もしその色素がベーコンエッグでないとすれば子産殿であるけど抱き続けるということはない fact6: その色素が子産殿だがしかし抱き続けないとすると「それは気恥ずかしいということはない」ということは確かだ fact7: あの雌親は入れ始めない fact8: もしあの細胞性免疫能が文法内部でないとすればあの施行は句読法で生々しい fact9: 仮にあるものが装飾だということはないならばそれはチェンジするけれど入れ始めるということはない fact10: もしこの施行は為らないならば「それは身振りである」ということは真実である fact11: 仮にこの施行がチェンジするけれど入れ始めるということはないならばそのドイツ陸軍は入れ始めない fact12: もし仮になんらかの物はタイムタイムであるならば「それはツーリストでなくて現出する」ということは事実と異なる fact13: もしもこの施行がチェンジしないとすれば自社ブランドだ fact14: その色素はベーコンエッグでない fact15: もし「あの出席は文法内部だがしかしそれは紫外線でない」ということは成り立たないとしたらあの細胞性免疫能は文法内部だということはない fact16: この施行は入れ始めない fact17: その仮寝がやばくないかあるいはそれが辛抱強いとしたら処刑するということはない fact18: その身体的疲労は入れ始めない fact19: もしこの施行が入れ始めないならそれはチェンジする
fact19 & fact16 -> int1: この施行はチェンジする; int1 -> hypothesis;
そのドイツ陸軍は入れ始めない
fact27 -> int2: もし仮にこの施行が装飾でないとすればそれはチェンジするしそれは入れ始めない; fact31 -> int3: 仮に「この施行はツーリストでないけれど現出する」ということは偽であるならば装飾でない; fact28 -> int4: この施行はタイムタイムだとすれば「それはツーリストでなくてしかも現出する」ということは偽だ; fact21 -> int5: もしこの施行が句読法だとしたらそれはタイムタイムだ; fact23 & fact26 -> int6: その色素は子産殿だがしかしそれは抱き続けるということはない; fact30 & int6 -> int7: その色素は気恥ずかしいということはない; fact22 & int7 -> int8: その仮寝はやばくないかもしくは辛抱強いかあるいはどちらもだ; fact25 & int8 -> int9: その仮寝は処刑しない; int9 -> int10: 「処刑するということはない」物はある;
$facts$ = fact1: 句読法はタイムタイムである fact2: 「なにがしかの物はツーリストでないけれどそれは現出する」ということは成り立たないとすれば装飾でない fact3: もしその色素が気恥ずかしくないとするとその仮寝はやばくないかまたは辛抱強いかもしくはどちらもだ fact4: その菠薐草はチェンジしない fact5: もしその色素がベーコンエッグでないとすれば子産殿であるけど抱き続けるということはない fact6: その色素が子産殿だがしかし抱き続けないとすると「それは気恥ずかしいということはない」ということは確かだ fact7: あの雌親は入れ始めない fact8: もしあの細胞性免疫能が文法内部でないとすればあの施行は句読法で生々しい fact9: 仮にあるものが装飾だということはないならばそれはチェンジするけれど入れ始めるということはない fact10: もしこの施行は為らないならば「それは身振りである」ということは真実である fact11: 仮にこの施行がチェンジするけれど入れ始めるということはないならばそのドイツ陸軍は入れ始めない fact12: もし仮になんらかの物はタイムタイムであるならば「それはツーリストでなくて現出する」ということは事実と異なる fact13: もしもこの施行がチェンジしないとすれば自社ブランドだ fact14: その色素はベーコンエッグでない fact15: もし「あの出席は文法内部だがしかしそれは紫外線でない」ということは成り立たないとしたらあの細胞性免疫能は文法内部だということはない fact16: この施行は入れ始めない fact17: その仮寝がやばくないかあるいはそれが辛抱強いとしたら処刑するということはない fact18: その身体的疲労は入れ始めない fact19: もしこの施行が入れ始めないならそれはチェンジする ; $hypothesis$ = 「チェンジする」物はある ; $proof$ = 
fact19 & fact16 -> int1: この施行はチェンジする; int1 -> hypothesis; __PROVED__
事実1: 句読法はタイムタイムである
事実2: 「なにがしかの物はツーリストでないけれどそれは現出する」ということは成り立たないとすれば装飾でない
事実3: もしその色素が気恥ずかしくないとするとその仮寝はやばくないかまたは辛抱強いかもしくはどちらもだ
事実4: その菠薐草はチェンジしない
事実5: もしその色素がベーコンエッグでないとすれば子産殿であるけど抱き続けるということはない
事実6: その色素が子産殿だがしかし抱き続けないとすると「それは気恥ずかしいということはない」ということは確かだ
事実7: あの雌親は入れ始めない
事実8: もしあの細胞性免疫能が文法内部でないとすればあの施行は句読法で生々しい
事実9: 仮にあるものが装飾だということはないならばそれはチェンジするけれど入れ始めるということはない
事実10: もしこの施行は為らないならば「それは身振りである」ということは真実である
事実11: 仮にこの施行がチェンジするけれど入れ始めるということはないならばそのドイツ陸軍は入れ始めない
事実12: もし仮になんらかの物はタイムタイムであるならば「それはツーリストでなくて現出する」ということは事実と異なる
事実13: もしもこの施行がチェンジしないとすれば自社ブランドだ
事実14: その色素はベーコンエッグでない
事実15: もし「あの出席は文法内部だがしかしそれは紫外線でない」ということは成り立たないとしたらあの細胞性免疫能は文法内部だということはない
事実16: この施行は入れ始めない
事実17: その仮寝がやばくないかあるいはそれが辛抱強いとしたら処刑するということはない
事実18: その身体的疲労は入れ始めない
事実19: もしこの施行が入れ始めないならそれはチェンジする

仮説: 「チェンジする」物はある
1. 事実19と事実16から、推論1: "この施行はチェンジする"が導かれる
2. 推論1から、仮説が導かれる

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