「あの字幕付きイタリア語上演は騒々しくないかあるいは松原でないかもしくはどちらもだ」ということは事実と異なる
fact1: あの字幕付きイタリア語上演は騒々しい fact2: このゲッチュは予測し易い fact3: もしもこのゲッチュが長期戦であるがしかし税制改革でないならあの字幕付きイタリア語上演は長期戦でない fact4: このゲッチュは見得るということはない一方でそれは波及する fact5: もし仮に「なんらかのものは処置するということはないかもしくは通し始めないかもしくは両方である」ということは成り立つということはないとしたら「騒々しくない」ということは間違いであるということはない fact6: もし仮にこのゲッチュが長期戦だけれど税制改革でないならばあの字幕付きイタリア語上演は長期戦だ fact7: もしもこのゲッチュは通し始めないならば「あの字幕付きイタリア語上演は騒々しくないかまたは松原でないかもしくは両方である」ということは成り立たない fact8: その石坂博士夫妻ははあはあする fact9: もしも「このゲッチュは通し始めない」ということは真実であるならあの字幕付きイタリア語上演は騒々しい fact10: このゲッチュははあはあしない一方で予測し易い fact11: もし「このゲッチュは長期戦でないし振り下ろさない」ということは偽であるとするとそれは長期戦である fact12: もし仮にとある物は騒々しくないなら「それは予測し易くないかもしくは糖尿病妊婦でない」ということは偽だ fact13: もしも「あの字幕付きイタリア語上演は松原である一方で通し始めない」ということは成り立たないとすればこのゲッチュは騒々しいということはない fact14: 「あの字幕付きイタリア語上演は騒々しいということはないか中核症状でないかどちらもである」ということは成り立つということはない fact15: 「このゲッチュは予測し易くないか積算しないかもしくはどちらもだ」ということは間違いだ fact16: もし仮に何かは通し始めるとすればそれは松原でない fact17: もし仮にあの字幕付きイタリア語上演ははあはあしないとしたら「このゲッチュは騒々しくないかあるいは予測し易くない」ということは誤っている fact18: もしもこのゲッチュははあはあしない一方で予測し易いならそれは通し始めない fact19: 仮に何らかの物は長期戦であるとしたら「それは処置するということはないかまたは通し始めないか両方ともだ」ということは間違いだ
fact18 & fact10 -> int1: このゲッチュは通し始めない; int1 & fact7 -> hypothesis;
fact18 & fact10 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
あの字幕付きイタリア語上演は騒々しくないかまたは松原でないかまたは両方ともである
fact20 -> int2: もしあの字幕付きイタリア語上演が通し始めるとすればそれは松原でない;
$facts$ = fact1: あの字幕付きイタリア語上演は騒々しい fact2: このゲッチュは予測し易い fact3: もしもこのゲッチュが長期戦であるがしかし税制改革でないならあの字幕付きイタリア語上演は長期戦でない fact4: このゲッチュは見得るということはない一方でそれは波及する fact5: もし仮に「なんらかのものは処置するということはないかもしくは通し始めないかもしくは両方である」ということは成り立つということはないとしたら「騒々しくない」ということは間違いであるということはない fact6: もし仮にこのゲッチュが長期戦だけれど税制改革でないならばあの字幕付きイタリア語上演は長期戦だ fact7: もしもこのゲッチュは通し始めないならば「あの字幕付きイタリア語上演は騒々しくないかまたは松原でないかもしくは両方である」ということは成り立たない fact8: その石坂博士夫妻ははあはあする fact9: もしも「このゲッチュは通し始めない」ということは真実であるならあの字幕付きイタリア語上演は騒々しい fact10: このゲッチュははあはあしない一方で予測し易い fact11: もし「このゲッチュは長期戦でないし振り下ろさない」ということは偽であるとするとそれは長期戦である fact12: もし仮にとある物は騒々しくないなら「それは予測し易くないかもしくは糖尿病妊婦でない」ということは偽だ fact13: もしも「あの字幕付きイタリア語上演は松原である一方で通し始めない」ということは成り立たないとすればこのゲッチュは騒々しいということはない fact14: 「あの字幕付きイタリア語上演は騒々しいということはないか中核症状でないかどちらもである」ということは成り立つということはない fact15: 「このゲッチュは予測し易くないか積算しないかもしくはどちらもだ」ということは間違いだ fact16: もし仮に何かは通し始めるとすればそれは松原でない fact17: もし仮にあの字幕付きイタリア語上演ははあはあしないとしたら「このゲッチュは騒々しくないかあるいは予測し易くない」ということは誤っている fact18: もしもこのゲッチュははあはあしない一方で予測し易いならそれは通し始めない fact19: 仮に何らかの物は長期戦であるとしたら「それは処置するということはないかまたは通し始めないか両方ともだ」ということは間違いだ ; $hypothesis$ = 「あの字幕付きイタリア語上演は騒々しくないかあるいは松原でないかもしくはどちらもだ」ということは事実と異なる ; $proof$ = 
fact18 & fact10 -> int1: このゲッチュは通し始めない; int1 & fact7 -> hypothesis; __PROVED__
事実1: あの字幕付きイタリア語上演は騒々しい
事実2: このゲッチュは予測し易い
事実3: もしもこのゲッチュが長期戦であるがしかし税制改革でないならあの字幕付きイタリア語上演は長期戦でない
事実4: このゲッチュは見得るということはない一方でそれは波及する
事実5: もし仮に「なんらかのものは処置するということはないかもしくは通し始めないかもしくは両方である」ということは成り立つということはないとしたら「騒々しくない」ということは間違いであるということはない
事実6: もし仮にこのゲッチュが長期戦だけれど税制改革でないならばあの字幕付きイタリア語上演は長期戦だ
事実7: もしもこのゲッチュは通し始めないならば「あの字幕付きイタリア語上演は騒々しくないかまたは松原でないかもしくは両方である」ということは成り立たない
事実8: その石坂博士夫妻ははあはあする
事実9: もしも「このゲッチュは通し始めない」ということは真実であるならあの字幕付きイタリア語上演は騒々しい
事実10: このゲッチュははあはあしない一方で予測し易い
事実11: もし「このゲッチュは長期戦でないし振り下ろさない」ということは偽であるとするとそれは長期戦である
事実12: もし仮にとある物は騒々しくないなら「それは予測し易くないかもしくは糖尿病妊婦でない」ということは偽だ
事実13: もしも「あの字幕付きイタリア語上演は松原である一方で通し始めない」ということは成り立たないとすればこのゲッチュは騒々しいということはない
事実14: 「あの字幕付きイタリア語上演は騒々しいということはないか中核症状でないかどちらもである」ということは成り立つということはない
事実15: 「このゲッチュは予測し易くないか積算しないかもしくはどちらもだ」ということは間違いだ
事実16: もし仮に何かは通し始めるとすればそれは松原でない
事実17: もし仮にあの字幕付きイタリア語上演ははあはあしないとしたら「このゲッチュは騒々しくないかあるいは予測し易くない」ということは誤っている
事実18: もしもこのゲッチュははあはあしない一方で予測し易いならそれは通し始めない
事実19: 仮に何らかの物は長期戦であるとしたら「それは処置するということはないかまたは通し始めないか両方ともだ」ということは間違いだ

仮説: 「あの字幕付きイタリア語上演は騒々しくないかあるいは松原でないかもしくはどちらもだ」ということは事実と異なる
1. 事実18と事実10から、推論1: "このゲッチュは通し始めない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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