「この害鳥は返り咲くが違反しない」ということは間違いである
fact1: 「なにかは薬臭いということはないけどそれは各区だ」ということは成り立つということはないとするとそれは各区でない fact2: 「この害鳥は返り咲くがしかし違反するということはない」ということは間違っている fact3: もしもこの害鳥が手緩いかあるいは閉鎖しないとするとあの知恵は手緩いということはない fact4: もし「この景気動向指数はそつ無い」ということは本当であるならば「それは薬臭くないけど各区である」ということは成り立たない fact5: 「あの発生室はネーションでないけれど初期利息だ」ということは誤りであるならこの景気動向指数はそつ無い fact6: このアルバイト雇用は甚だしい fact7: もしもこのアルバイト雇用が甚だしいとするとこの先行減税はネーションである fact8: もし「ネーションな」ものはあるとすれば「「あの発生室はネーションでないけど初期利息だ」ということは正しい」ということは誤りである fact9: もしある物が変わり様であるか探し始めないかあるいはどちらもだとしたら「閉鎖しない」ということは誤っていない fact10: もしもこの景気動向指数が泣き喚くとしたらこの害鳥は変わり様であるかもしくはそれは探し始めない fact11: もしもこの景気動向指数が各区でないとすればそれは泣き喚くしかつ解け易い fact12: もし仮にとある物は手緩くないならば「それは違反するしそれは祭り上げない」ということは成り立たない
fact2 -> hypothesis;
fact2 -> hypothesis;
「あの知恵は違反するが祭り上げない」ということは間違っている
fact19 -> int1: あの知恵は手緩くないとすれば「違反するが祭り上げるということはない」ということは成り立つということはない; fact22 -> int2: もしもこの害鳥が変わり様であるかもしくはそれが探し始めないなら閉鎖するということはない; fact14 -> int3: 「この景気動向指数は薬臭くないけれど各区だ」ということは間違いであるとすれば各区でない; fact13 & fact18 -> int4: この先行減税はネーションである; int4 -> int5: 「「ネーションである」ということは事実な」ものはある; int5 & fact16 -> int6: 「あの発生室はネーションでないけれど初期利息である」ということは成り立たない; fact15 & int6 -> int7: この景気動向指数はそつ無い; fact17 & int7 -> int8: 「この景気動向指数は薬臭くないけど各区だ」ということは偽である; int3 & int8 -> int9: この景気動向指数は各区でない; fact21 & int9 -> int10: 「この景気動向指数は泣き喚くしそれは解け易い」ということは正しい; int10 -> int11: この景気動向指数は泣き喚く; fact20 & int11 -> int12: この害鳥は変わり様であるかまたは探し始めないかもしくは両方ともだ; int2 & int12 -> int13: この害鳥は閉鎖しない; int13 -> int14: この害鳥は手緩いか閉鎖しない; fact23 & int14 -> int15: あの知恵は手緩くない; int1 & int15 -> hypothesis;
$facts$ = fact1: 「なにかは薬臭いということはないけどそれは各区だ」ということは成り立つということはないとするとそれは各区でない fact2: 「この害鳥は返り咲くがしかし違反するということはない」ということは間違っている fact3: もしもこの害鳥が手緩いかあるいは閉鎖しないとするとあの知恵は手緩いということはない fact4: もし「この景気動向指数はそつ無い」ということは本当であるならば「それは薬臭くないけど各区である」ということは成り立たない fact5: 「あの発生室はネーションでないけれど初期利息だ」ということは誤りであるならこの景気動向指数はそつ無い fact6: このアルバイト雇用は甚だしい fact7: もしもこのアルバイト雇用が甚だしいとするとこの先行減税はネーションである fact8: もし「ネーションな」ものはあるとすれば「「あの発生室はネーションでないけど初期利息だ」ということは正しい」ということは誤りである fact9: もしある物が変わり様であるか探し始めないかあるいはどちらもだとしたら「閉鎖しない」ということは誤っていない fact10: もしもこの景気動向指数が泣き喚くとしたらこの害鳥は変わり様であるかもしくはそれは探し始めない fact11: もしもこの景気動向指数が各区でないとすればそれは泣き喚くしかつ解け易い fact12: もし仮にとある物は手緩くないならば「それは違反するしそれは祭り上げない」ということは成り立たない ; $hypothesis$ = 「この害鳥は返り咲くが違反しない」ということは間違いである ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「なにかは薬臭いということはないけどそれは各区だ」ということは成り立つということはないとするとそれは各区でない
事実2: 「この害鳥は返り咲くがしかし違反するということはない」ということは間違っている
事実3: もしもこの害鳥が手緩いかあるいは閉鎖しないとするとあの知恵は手緩いということはない
事実4: もし「この景気動向指数はそつ無い」ということは本当であるならば「それは薬臭くないけど各区である」ということは成り立たない
事実5: 「あの発生室はネーションでないけれど初期利息だ」ということは誤りであるならこの景気動向指数はそつ無い
事実6: このアルバイト雇用は甚だしい
事実7: もしもこのアルバイト雇用が甚だしいとするとこの先行減税はネーションである
事実8: もし「ネーションな」ものはあるとすれば「「あの発生室はネーションでないけど初期利息だ」ということは正しい」ということは誤りである
事実9: もしある物が変わり様であるか探し始めないかあるいはどちらもだとしたら「閉鎖しない」ということは誤っていない
事実10: もしもこの景気動向指数が泣き喚くとしたらこの害鳥は変わり様であるかもしくはそれは探し始めない
事実11: もしもこの景気動向指数が各区でないとすればそれは泣き喚くしかつ解け易い
事実12: もし仮にとある物は手緩くないならば「それは違反するしそれは祭り上げない」ということは成り立たない

仮説: 「この害鳥は返り咲くが違反しない」ということは間違いである
1. 事実2から、仮説が導かれる

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