その児童育成事業は挙式するし順応出来る
fact1: 仮に「「個立するということはなくて掛け合わせるということはない」ということは偽な」物があるならその本大会は掛け合わせる fact2: この三時間後は傾き易くない fact3: もしとある物が掛け合わせればその寝殿作りは浅ましいか柔いか両方ともだ fact4: 「もしも「その本大会は浅ましくないがそれは掛け合わせる」ということは成り立たないとすると「その児童育成事業は挙式するということはない」ということは成り立たない」ということは正しい fact5: とあるものは超過するとすれば「それは個立しないしおまけにそれは掛け合わせるということはない」ということは事実と異なる fact6: もし傾き易くない物がＭＤＩだとするとそれは大黒だということはない fact7: もし仮にこの三時間後は大黒でないとすれば「その寝殿作りは大黒でないが柔い」ということは成り立つということはない fact8: もし「この三時間後は浅ましくない一方で柔い」ということは成り立つということはないとするとその寝殿作りは大黒だ fact9: もしその寝殿作りは浅ましいとすれば「この三時間後は柔い」ということは確かである fact10: その寝殿作りは傾き易くない fact11: その寝殿作りは柔くないがそれは順応出来る fact12: 「その寝殿作りは大黒でないがしかしそれは柔い」ということは成り立たない fact13: もし仮にその下手物が経営者達でなくてしかも買い増さないとすればその心筋梗塞は経営者達である fact14: もしもその心筋梗塞は経営者達であるとすると「超過しなくておまけに作り難くない」ということは事実と異なる fact15: 仮にその寝殿作りが柔いならその児童育成事業は順応出来る fact16: もしその寝殿作りが柔いならこの三時間後は柔い fact17: 「その本大会は浅ましくないがそれは掛け合わせる」ということは誤りである fact18: 「その本大会は大黒でないし掛け合わせらない」ということは嘘だとしたら「その寝殿作りは浅ましい」ということは正しい fact19: この三時間後はＭＤＩである fact20: 仮に「この三時間後は大黒でない」ということは事実であるとすると「その寝殿作りは大黒でないし柔くない」ということは誤りである fact21: もしも「その本大会は掛け合わせらない」ということは真実であるならその児童育成事業は挙式する fact22: もし仮にその児童育成事業はＭＤＩでなくて大黒だということはないとすれば「それは傾き易くない」ということは真実である fact23: その下手物は経営者達でなくてその上買い増すということはない fact24: もしも「「超過しなくて作り難くない」ということは成り立たない」物があるとしたらその辻堂は超過する fact25: もし仮になんらかのものは傾き易くないとすると「「挙式するし順応出来る」ということは事実だ」ということは成り立つということはない fact26: もし仮に「その寝殿作りは大黒でなくてかつ柔くない」ということは間違っているならその児童育成事業は順応出来る fact27: もしその本大会は浅ましくないなら「その寝殿作りは浅ましくないけど柔い」ということは成り立たない
fact2 & fact19 -> int1: この三時間後は傾き易くない一方でＭＤＩである; fact6 -> int2: もしもこの三時間後が傾き易くないがＭＤＩならそれは大黒でない; int1 & int2 -> int3: 「この三時間後は大黒でない」ということは真実である; int3 & fact20 -> int4: 「その寝殿作りは大黒でないしさらに柔いということはない」ということは間違っている; int4 & fact26 -> int5: その児童育成事業は順応出来る; fact4 & fact17 -> int6: その児童育成事業は挙式する; int5 & int6 -> hypothesis;
「その児童育成事業は挙式するし順応出来る」ということは偽である
fact37 -> int7: もし仮にその児童育成事業は傾き易いということはないならば「挙式するし順応出来る」ということは間違いである; fact32 -> int8: その辻堂は超過すれば「個立しないしまた掛け合わせるということはない」ということは成り立たない; fact33 & fact30 -> int9: その心筋梗塞は経営者達だ; fact36 & int9 -> int10: 「その心筋梗塞は超過しないししかも作り難いということはない」ということは本当でない; int10 -> int11: 「「超過しないししかも作り難くない」ということは偽な」ものはある; int11 & fact31 -> int12: その辻堂は超過する; int8 & int12 -> int13: 「その辻堂は個立しなくてそれに掛け合わせらない」ということは成り立たない; int13 -> int14: 「「個立しなくておまけに掛け合わせらない」ということは嘘である」物はある; int14 & fact29 -> int15: その本大会は掛け合わせる; int15 -> int16: 「掛け合わせる」ものはある; int16 & fact28 -> int17: その寝殿作りは浅ましいかまたはそれは柔い; int17 & fact34 & fact35 -> int18: この三時間後は柔い;
$facts$ = fact1: 仮に「「個立するということはなくて掛け合わせるということはない」ということは偽な」物があるならその本大会は掛け合わせる fact2: この三時間後は傾き易くない fact3: もしとある物が掛け合わせればその寝殿作りは浅ましいか柔いか両方ともだ fact4: 「もしも「その本大会は浅ましくないがそれは掛け合わせる」ということは成り立たないとすると「その児童育成事業は挙式するということはない」ということは成り立たない」ということは正しい fact5: とあるものは超過するとすれば「それは個立しないしおまけにそれは掛け合わせるということはない」ということは事実と異なる fact6: もし傾き易くない物がＭＤＩだとするとそれは大黒だということはない fact7: もし仮にこの三時間後は大黒でないとすれば「その寝殿作りは大黒でないが柔い」ということは成り立つということはない fact8: もし「この三時間後は浅ましくない一方で柔い」ということは成り立つということはないとするとその寝殿作りは大黒だ fact9: もしその寝殿作りは浅ましいとすれば「この三時間後は柔い」ということは確かである fact10: その寝殿作りは傾き易くない fact11: その寝殿作りは柔くないがそれは順応出来る fact12: 「その寝殿作りは大黒でないがしかしそれは柔い」ということは成り立たない fact13: もし仮にその下手物が経営者達でなくてしかも買い増さないとすればその心筋梗塞は経営者達である fact14: もしもその心筋梗塞は経営者達であるとすると「超過しなくておまけに作り難くない」ということは事実と異なる fact15: 仮にその寝殿作りが柔いならその児童育成事業は順応出来る fact16: もしその寝殿作りが柔いならこの三時間後は柔い fact17: 「その本大会は浅ましくないがそれは掛け合わせる」ということは誤りである fact18: 「その本大会は大黒でないし掛け合わせらない」ということは嘘だとしたら「その寝殿作りは浅ましい」ということは正しい fact19: この三時間後はＭＤＩである fact20: 仮に「この三時間後は大黒でない」ということは事実であるとすると「その寝殿作りは大黒でないし柔くない」ということは誤りである fact21: もしも「その本大会は掛け合わせらない」ということは真実であるならその児童育成事業は挙式する fact22: もし仮にその児童育成事業はＭＤＩでなくて大黒だということはないとすれば「それは傾き易くない」ということは真実である fact23: その下手物は経営者達でなくてその上買い増すということはない fact24: もしも「「超過しなくて作り難くない」ということは成り立たない」物があるとしたらその辻堂は超過する fact25: もし仮になんらかのものは傾き易くないとすると「「挙式するし順応出来る」ということは事実だ」ということは成り立つということはない fact26: もし仮に「その寝殿作りは大黒でなくてかつ柔くない」ということは間違っているならその児童育成事業は順応出来る fact27: もしその本大会は浅ましくないなら「その寝殿作りは浅ましくないけど柔い」ということは成り立たない ; $hypothesis$ = その児童育成事業は挙式するし順応出来る ; $proof$ = 
fact2 & fact19 -> int1: この三時間後は傾き易くない一方でＭＤＩである; fact6 -> int2: もしもこの三時間後が傾き易くないがＭＤＩならそれは大黒でない; int1 & int2 -> int3: 「この三時間後は大黒でない」ということは真実である; int3 & fact20 -> int4: 「その寝殿作りは大黒でないしさらに柔いということはない」ということは間違っている; int4 & fact26 -> int5: その児童育成事業は順応出来る; fact4 & fact17 -> int6: その児童育成事業は挙式する; int5 & int6 -> hypothesis; __PROVED__
事実1: 仮に「「個立するということはなくて掛け合わせるということはない」ということは偽な」物があるならその本大会は掛け合わせる
事実2: この三時間後は傾き易くない
事実3: もしとある物が掛け合わせればその寝殿作りは浅ましいか柔いか両方ともだ
事実4: 「もしも「その本大会は浅ましくないがそれは掛け合わせる」ということは成り立たないとすると「その児童育成事業は挙式するということはない」ということは成り立たない」ということは正しい
事実5: とあるものは超過するとすれば「それは個立しないしおまけにそれは掛け合わせるということはない」ということは事実と異なる
事実6: もし傾き易くない物がＭＤＩだとするとそれは大黒だということはない
事実7: もし仮にこの三時間後は大黒でないとすれば「その寝殿作りは大黒でないが柔い」ということは成り立つということはない
事実8: もし「この三時間後は浅ましくない一方で柔い」ということは成り立つということはないとするとその寝殿作りは大黒だ
事実9: もしその寝殿作りは浅ましいとすれば「この三時間後は柔い」ということは確かである
事実10: その寝殿作りは傾き易くない
事実11: その寝殿作りは柔くないがそれは順応出来る
事実12: 「その寝殿作りは大黒でないがしかしそれは柔い」ということは成り立たない
事実13: もし仮にその下手物が経営者達でなくてしかも買い増さないとすればその心筋梗塞は経営者達である
事実14: もしもその心筋梗塞は経営者達であるとすると「超過しなくておまけに作り難くない」ということは事実と異なる
事実15: 仮にその寝殿作りが柔いならその児童育成事業は順応出来る
事実16: もしその寝殿作りが柔いならこの三時間後は柔い
事実17: 「その本大会は浅ましくないがそれは掛け合わせる」ということは誤りである
事実18: 「その本大会は大黒でないし掛け合わせらない」ということは嘘だとしたら「その寝殿作りは浅ましい」ということは正しい
事実19: この三時間後はＭＤＩである
事実20: 仮に「この三時間後は大黒でない」ということは事実であるとすると「その寝殿作りは大黒でないし柔くない」ということは誤りである
事実21: もしも「その本大会は掛け合わせらない」ということは真実であるならその児童育成事業は挙式する
事実22: もし仮にその児童育成事業はＭＤＩでなくて大黒だということはないとすれば「それは傾き易くない」ということは真実である
事実23: その下手物は経営者達でなくてその上買い増すということはない
事実24: もしも「「超過しなくて作り難くない」ということは成り立たない」物があるとしたらその辻堂は超過する
事実25: もし仮になんらかのものは傾き易くないとすると「「挙式するし順応出来る」ということは事実だ」ということは成り立つということはない
事実26: もし仮に「その寝殿作りは大黒でなくてかつ柔くない」ということは間違っているならその児童育成事業は順応出来る
事実27: もしその本大会は浅ましくないなら「その寝殿作りは浅ましくないけど柔い」ということは成り立たない

仮説: その児童育成事業は挙式するし順応出来る
1. 事実2と事実19から、推論1: "この三時間後は傾き易くない一方でＭＤＩである"が導かれる
2. 事実6から、推論2: "もしもこの三時間後が傾き易くないがＭＤＩならそれは大黒でない"が導かれる
3. 推論1と推論2から、推論3: "「この三時間後は大黒でない」ということは真実である"が導かれる
4. 推論3と事実20から、推論4: "「その寝殿作りは大黒でないしさらに柔いということはない」ということは間違っている"が導かれる
5. 推論4と事実26から、推論5: "その児童育成事業は順応出来る"が導かれる
6. 事実4と事実17から、推論6: "その児童育成事業は挙式する"が導かれる
7. 推論5と推論6から、仮説が導かれる

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