その毎週日曜日は暑くない
fact1: 仮に「何らかの物は錆無くて加えて撫で消す」ということは間違いだとしたら「それは錆無くない」ということは本当だ fact2: その毎週日曜日が暑くて錆無いとしたらその立面図は荒っぽくない fact3: 「このハウジングは放流するが近しくない」ということは事実と異なる fact4: 「その立面図は荒っぽい」ということは成り立つ fact5: その毎週日曜日は錆無くない fact6: もしもその立面図が錆無いということはないとするとその毎週日曜日は暑いけど物凄まじくない fact7: もしその立面図が物凄まじいしその上錆無いとすればあの毎週日曜日は暑いということはない fact8: もし仮に「その立面図は黒くないし大学病院等でない」ということは事実でないならそれは錆無い fact9: 「その立面図は黒いが大学病院等でない」ということは成り立たない fact10: もしも「「自律神経活動でないしその上使い捨てない」ということは確かでない」物があればこの需品科は荒っぽい fact11: その立面図は谷首古墳である fact12: もし「あの商品売買は錆無くないしかつ御寄り下さらない」ということは誤っているならそれは居れる fact13: もし「その立面図は黒い」ということは真実であるとしたらそれは錆無い fact14: その立面図は送り迎える fact15: 「あの商品売買は暑い」ということは成り立つ fact16: その立面図が荒っぽいとしたら物凄まじい fact17: もし「とあるものは放流するけどそれは近しくない」ということは嘘ならば「近しい」ということは事実だ fact18: もしも「このハウジングは近しい」ということは本当だとすれば「自律神経活動でなくておまけに使い捨てない」ということは間違っている fact19: 「その立面図は黒くないしかつそれは大学病院等でない」ということは成り立たない
fact8 & fact19 -> int1: その立面図は錆無い; fact16 & fact4 -> int2: その立面図は物凄まじい; int1 & int2 -> int3: その立面図は物凄まじいしおまけに錆無い; int3 & fact7 -> hypothesis;
fact8 & fact19 -> int1: {B}{a}; fact16 & fact4 -> int2: {A}{a}; int1 & int2 -> int3: ({A}{a} & {B}{a}); int3 & fact7 -> hypothesis;
その毎週日曜日は暑い
fact21 -> int4: もし仮に「その立面図が錆無いしその上それは撫で消す」ということは誤りだとすると錆無いということはない; fact20 -> int5: 「このハウジングは放流するがしかしそれは近しいということはない」ということは間違いなら近しい; int5 & fact23 -> int6: このハウジングは近しい; fact25 & int6 -> int7: 「このハウジングは自律神経活動でないし使い捨てるということはない」ということは真実でない; int7 -> int8: 「「自律神経活動でなくてその上使い捨てない」ということは嘘な」ものはある; int8 & fact22 -> 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$ = 
fact8 & fact19 -> int1: その立面図は錆無い; fact16 & fact4 -> int2: その立面図は物凄まじい; int1 & int2 -> int3: その立面図は物凄まじいしおまけに錆無い; int3 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は錆無くて加えて撫で消す」ということは間違いだとしたら「それは錆無くない」ということは本当だ
事実2: その毎週日曜日が暑くて錆無いとしたらその立面図は荒っぽくない
事実3: 「このハウジングは放流するが近しくない」ということは事実と異なる
事実4: 「その立面図は荒っぽい」ということは成り立つ
事実5: その毎週日曜日は錆無くない
事実6: もしもその立面図が錆無いということはないとするとその毎週日曜日は暑いけど物凄まじくない
事実7: もしその立面図が物凄まじいしその上錆無いとすればあの毎週日曜日は暑いということはない
事実8: もし仮に「その立面図は黒くないし大学病院等でない」ということは事実でないならそれは錆無い
事実9: 「その立面図は黒いが大学病院等でない」ということは成り立たない
事実10: もしも「「自律神経活動でないしその上使い捨てない」ということは確かでない」物があればこの需品科は荒っぽい
事実11: その立面図は谷首古墳である
事実12: もし「あの商品売買は錆無くないしかつ御寄り下さらない」ということは誤っているならそれは居れる
事実13: もし「その立面図は黒い」ということは真実であるとしたらそれは錆無い
事実14: その立面図は送り迎える
事実15: 「あの商品売買は暑い」ということは成り立つ
事実16: その立面図が荒っぽいとしたら物凄まじい
事実17: もし「とあるものは放流するけどそれは近しくない」ということは嘘ならば「近しい」ということは事実だ
事実18: もしも「このハウジングは近しい」ということは本当だとすれば「自律神経活動でなくておまけに使い捨てない」ということは間違っている
事実19: 「その立面図は黒くないしかつそれは大学病院等でない」ということは成り立たない

仮説: その毎週日曜日は暑くない
1. 事実8と事実19から、推論1: "その立面図は錆無い"が導かれる
2. 事実16と事実4から、推論2: "その立面図は物凄まじい"が導かれる
3. 推論1と推論2から、推論3: "その立面図は物凄まじいしおまけに錆無い"が導かれる
4. 推論3と事実7から、仮説が導かれる

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