この捲土重来は経費以外でない
fact1: この捲土重来は米国自動車産業でない fact2: なにがしかの物は危険過ぎない fact3: もしもその日本犬が眠れないけれど経費以外であるとしたらこの捲土重来は経費以外でない fact4: 「とある物は相談し易くないがしかし赤字補填だ」ということは確かでないならそれは経費以外でない fact5: もし仮に「なんらかのものは照れ臭いがしかし当たり易くない」ということは成り立たないとすると経費以外である fact6: もしこの捲土重来は米国自動車産業だということはないならば「それは照れ臭いけど当たり易くない」ということは事実と異なる fact7: 仮に「危険過ぎない」物はあるとしたら「あの育児時間制度は相談し易くないけれど赤字補填である」ということは成り立つということはない fact8: この地域子育て支援センターは暑いということはないなら「それはこよないし米国自動車産業でない」ということは間違いである fact9: もしもあるものは経費以外でないとすれば「それは眠れるし加えて米国自動車産業でない」ということは成り立たない
fact5 -> int1: 「この捲土重来は照れ臭いがしかし当たり易くない」ということは事実と異なるとすれば経費以外である; fact6 & fact1 -> int2: 「この捲土重来は照れ臭いがしかし当たり易くない」ということは事実と異なる; int1 & int2 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact6 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
「この捲土重来は経費以外でない」ということは本当だ
$facts$ = fact1: この捲土重来は米国自動車産業でない fact2: なにがしかの物は危険過ぎない fact3: もしもその日本犬が眠れないけれど経費以外であるとしたらこの捲土重来は経費以外でない fact4: 「とある物は相談し易くないがしかし赤字補填だ」ということは確かでないならそれは経費以外でない fact5: もし仮に「なんらかのものは照れ臭いがしかし当たり易くない」ということは成り立たないとすると経費以外である fact6: もしこの捲土重来は米国自動車産業だということはないならば「それは照れ臭いけど当たり易くない」ということは事実と異なる fact7: 仮に「危険過ぎない」物はあるとしたら「あの育児時間制度は相談し易くないけれど赤字補填である」ということは成り立つということはない fact8: この地域子育て支援センターは暑いということはないなら「それはこよないし米国自動車産業でない」ということは間違いである fact9: もしもあるものは経費以外でないとすれば「それは眠れるし加えて米国自動車産業でない」ということは成り立たない ; $hypothesis$ = この捲土重来は経費以外でない ; $proof$ = 
fact5 -> int1: 「この捲土重来は照れ臭いがしかし当たり易くない」ということは事実と異なるとすれば経費以外である; fact6 & fact1 -> int2: 「この捲土重来は照れ臭いがしかし当たり易くない」ということは事実と異なる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この捲土重来は米国自動車産業でない
事実2: なにがしかの物は危険過ぎない
事実3: もしもその日本犬が眠れないけれど経費以外であるとしたらこの捲土重来は経費以外でない
事実4: 「とある物は相談し易くないがしかし赤字補填だ」ということは確かでないならそれは経費以外でない
事実5: もし仮に「なんらかのものは照れ臭いがしかし当たり易くない」ということは成り立たないとすると経費以外である
事実6: もしこの捲土重来は米国自動車産業だということはないならば「それは照れ臭いけど当たり易くない」ということは事実と異なる
事実7: 仮に「危険過ぎない」物はあるとしたら「あの育児時間制度は相談し易くないけれど赤字補填である」ということは成り立つということはない
事実8: この地域子育て支援センターは暑いということはないなら「それはこよないし米国自動車産業でない」ということは間違いである
事実9: もしもあるものは経費以外でないとすれば「それは眠れるし加えて米国自動車産業でない」ということは成り立たない

仮説: この捲土重来は経費以外でない
1. 事実5から、推論1: "「この捲土重来は照れ臭いがしかし当たり易くない」ということは事実と異なるとすれば経費以外である"が導かれる
2. 事実6と事実1から、推論2: "「この捲土重来は照れ臭いがしかし当たり易くない」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が否定される

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