「「もしも予算総額でないとすれば外国銀行でない」ものはある」ということは間違っている
fact1: 「もしＸ線フィルムでないならフェラチオしない」ものはある fact2: もしとある物が拡大表示しないとすれば引き起こし易くない fact3: なにがしかの物は予算総額でないならば外国銀行であるということはない fact4: 「村元達でないならば「価値モデルでない」ということは確かである」ものはある fact5: 「仮に予算総額だとしたら外国銀行でない」ものはある fact6: 「もしも「苦くない」ということは正しいならアルテミス神殿でない」ものはある fact7: もしも「あのワルサーＰは睡眠導入剤でない」ということは真実だとすると予算総額でない fact8: もしもなにがしかのものが面談しないとすればそれはわくわくしない fact9: とある物が投入するということはないとすれば柱状でない fact10: もし仮にこの仕送りが通信出来ないならそれは外国銀行でない fact11: もしとあるものが限り無しないとすれば払い渡ししない fact12: もしもある物が搬送しないとすると頑張り為さらない fact13: もし「あのワルサーＰは予算総額だ」ということは本当だとしたら外国銀行でない fact14: 仮にとある物は政党内閣でないならそれは所基通であるということはない fact15: 「もしも寒ーくないなら研究方向でない」物はある fact16: もしも「あのワルサーＰは予算総額でない」ということは成り立つとすれば「それは外国銀行だ」ということは成り立つ fact17: 「もし仮に予算総額だということはないとすると外国銀行な」ものはある fact18: もしなんらかの物が予算総額だということはないならば外国銀行だ fact19: 「手強くないものは刺々しかない」ということは成り立つ fact20: なにかは予算総額であるとするとそれは外国銀行であるということはない
fact3 -> int1: もし仮にあのワルサーＰは予算総額でないとすると外国銀行でない; int1 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「もしＸ線フィルムでないならフェラチオしない」ものはある fact2: もしとある物が拡大表示しないとすれば引き起こし易くない fact3: なにがしかの物は予算総額でないならば外国銀行であるということはない fact4: 「村元達でないならば「価値モデルでない」ということは確かである」ものはある fact5: 「仮に予算総額だとしたら外国銀行でない」ものはある fact6: 「もしも「苦くない」ということは正しいならアルテミス神殿でない」ものはある fact7: もしも「あのワルサーＰは睡眠導入剤でない」ということは真実だとすると予算総額でない fact8: もしもなにがしかのものが面談しないとすればそれはわくわくしない fact9: とある物が投入するということはないとすれば柱状でない fact10: もし仮にこの仕送りが通信出来ないならそれは外国銀行でない fact11: もしとあるものが限り無しないとすれば払い渡ししない fact12: もしもある物が搬送しないとすると頑張り為さらない fact13: もし「あのワルサーＰは予算総額だ」ということは本当だとしたら外国銀行でない fact14: 仮にとある物は政党内閣でないならそれは所基通であるということはない fact15: 「もしも寒ーくないなら研究方向でない」物はある fact16: もしも「あのワルサーＰは予算総額でない」ということは成り立つとすれば「それは外国銀行だ」ということは成り立つ fact17: 「もし仮に予算総額だということはないとすると外国銀行な」ものはある fact18: もしなんらかの物が予算総額だということはないならば外国銀行だ fact19: 「手強くないものは刺々しかない」ということは成り立つ fact20: なにかは予算総額であるとするとそれは外国銀行であるということはない ; $hypothesis$ = 「「もしも予算総額でないとすれば外国銀行でない」ものはある」ということは間違っている ; $proof$ = 
fact3 -> int1: もし仮にあのワルサーＰは予算総額でないとすると外国銀行でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしＸ線フィルムでないならフェラチオしない」ものはある
事実2: もしとある物が拡大表示しないとすれば引き起こし易くない
事実3: なにがしかの物は予算総額でないならば外国銀行であるということはない
事実4: 「村元達でないならば「価値モデルでない」ということは確かである」ものはある
事実5: 「仮に予算総額だとしたら外国銀行でない」ものはある
事実6: 「もしも「苦くない」ということは正しいならアルテミス神殿でない」ものはある
事実7: もしも「あのワルサーＰは睡眠導入剤でない」ということは真実だとすると予算総額でない
事実8: もしもなにがしかのものが面談しないとすればそれはわくわくしない
事実9: とある物が投入するということはないとすれば柱状でない
事実10: もし仮にこの仕送りが通信出来ないならそれは外国銀行でない
事実11: もしとあるものが限り無しないとすれば払い渡ししない
事実12: もしもある物が搬送しないとすると頑張り為さらない
事実13: もし「あのワルサーＰは予算総額だ」ということは本当だとしたら外国銀行でない
事実14: 仮にとある物は政党内閣でないならそれは所基通であるということはない
事実15: 「もしも寒ーくないなら研究方向でない」物はある
事実16: もしも「あのワルサーＰは予算総額でない」ということは成り立つとすれば「それは外国銀行だ」ということは成り立つ
事実17: 「もし仮に予算総額だということはないとすると外国銀行な」ものはある
事実18: もしなんらかの物が予算総額だということはないならば外国銀行だ
事実19: 「手強くないものは刺々しかない」ということは成り立つ
事実20: なにかは予算総額であるとするとそれは外国銀行であるということはない

仮説: 「「もしも予算総額でないとすれば外国銀行でない」ものはある」ということは間違っている
1. 事実3から、推論1: "もし仮にあのワルサーＰは予算総額でないとすると外国銀行でない"が導かれる
2. 推論1から、仮説が否定される

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