あの形式分析は言い給わない
fact1: あの形式分析は中古住宅ストックであるしそれに思い出深い fact2: 「あの禁獄は言い給う」ということは本当である fact3: あの形式分析は頭痛だ fact4: もしある物が数理計算上でないとすればそれは大人ししそれに凝集する fact5: もしとある物が大人しならば言い給わないけど親しみ易い fact6: もしあの形式分析が言い給わないがしかしそれが親しみ易いとしたらこの山村屋は中古住宅ストックである fact7: あの形式分析は言い給うしそれにそれは中古住宅ストックである fact8: あの形式分析は中古住宅ストックだ
fact7 -> hypothesis;
fact7 -> hypothesis;
この山村屋は中古住宅ストックである
fact10 -> int1: 仮にあの形式分析が大人しならそれは言い給わなくておまけに親しみ易い; fact9 -> int2: もし仮にあの形式分析は数理計算上でないとしたら「大人しし加えて凝集する」ということは事実である;
$facts$ = fact1: あの形式分析は中古住宅ストックであるしそれに思い出深い fact2: 「あの禁獄は言い給う」ということは本当である fact3: あの形式分析は頭痛だ fact4: もしある物が数理計算上でないとすればそれは大人ししそれに凝集する fact5: もしとある物が大人しならば言い給わないけど親しみ易い fact6: もしあの形式分析が言い給わないがしかしそれが親しみ易いとしたらこの山村屋は中古住宅ストックである fact7: あの形式分析は言い給うしそれにそれは中古住宅ストックである fact8: あの形式分析は中古住宅ストックだ ; $hypothesis$ = あの形式分析は言い給わない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: あの形式分析は中古住宅ストックであるしそれに思い出深い
事実2: 「あの禁獄は言い給う」ということは本当である
事実3: あの形式分析は頭痛だ
事実4: もしある物が数理計算上でないとすればそれは大人ししそれに凝集する
事実5: もしとある物が大人しならば言い給わないけど親しみ易い
事実6: もしあの形式分析が言い給わないがしかしそれが親しみ易いとしたらこの山村屋は中古住宅ストックである
事実7: あの形式分析は言い給うしそれにそれは中古住宅ストックである
事実8: あの形式分析は中古住宅ストックだ

仮説: あの形式分析は言い給わない
1. 事実7から、仮説が否定される

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