その工業用水はビデオゲームだ
fact1: 仮にあるものは市庁舎でないとすると「ビデオゲームだということはないかもしくは喜ばしかないかまたは両方ともである」ということは確かでない fact2: 喜ばしい物はビデオゲームでない fact3: 「「都府楼だしさらに飽きっぽい」ということは嘘である」物があるとすればその工業用水は喜ばしい fact4: 都府楼で飽きっぽい物はある fact5: 仮になにかは飽きっぽくないとするとその工業用水は喜ばしい fact6: その工業用水は出力出来ない fact7: もしも「見辛いしさらにウインドーズシステムでない」物があるとしたらこの製造段階は苛々し易くない fact8: その工業用水が活動し難いとすると抜き付けるということはない fact9: 仮にとあるものが見境無いとすればそれは出力出来るということはない fact10: もしも「あの季節毎はビデオゲームでないかまたは喜ばしいということはない」ということは誤っているとするとその工業用水はビデオゲームである fact11: 「その工業用水は買い求める」ということは成り立つ fact12: もしこの摂取単位が聞き慣れないとすればそれは見辛いがウインドーズシステムでない fact13: 仮に「運搬出来ない」ものがあるならばあの密集は喜ばしい fact14: 「「都府楼であるししかも飽きっぽい」ということは成り立たない」ものはある fact15: この摂取単位はペンタゾシンでなくておまけに鳴り渡らない fact16: その工業用水は都府楼であるとすると「それは旅行パンフでない」ということは成り立つ fact17: 仮に何かはペンタゾシンだということはないし鳴り渡らないなら聞き慣れない fact18: 仮に何らかの物は苛々し易くないとすれば「市庁舎だし画一化する」ということは成り立たない fact19: 「「開大するししかも個別計算問題集だ」ということは偽な」物はある
fact14 & fact3 -> int1: その工業用水は喜ばしい; fact2 -> int2: もしその工業用水が喜ばしいならそれはビデオゲームでない; int1 & int2 -> hypothesis;
「その工業用水はビデオゲームだ」ということは成り立つ
fact22 -> int3: もし仮にあの季節毎は市庁舎でないなら「それはビデオゲームでないかまたはそれは喜ばしかないか両方である」ということは成り立たない; fact26 -> int4: もしこの製造段階は苛々し易くないとすれば「それが市庁舎だしそれは画一化する」ということは成り立たない; fact20 -> int5: この摂取単位がペンタゾシンでないしさらに鳴り渡るということはないとすれば「聞き慣れない」ということは真実だ; int5 & fact23 -> int6: この摂取単位は聞き慣れない; fact21 & int6 -> int7: この摂取単位は見辛いけれどそれはウインドーズシステムでない; int7 -> int8: 「見辛いけれどウインドーズシステムだということはない」ものはある; int8 & fact24 -> int9: この製造段階は苛々し易くない; int4 & int9 -> int10: 「この製造段階は市庁舎で画一化する」ということは偽である; int10 -> int11: 「「市庁舎でそれに画一化する」ということは事実と異なる」ものはある;
$facts$ = fact1: 仮にあるものは市庁舎でないとすると「ビデオゲームだということはないかもしくは喜ばしかないかまたは両方ともである」ということは確かでない fact2: 喜ばしい物はビデオゲームでない fact3: 「「都府楼だしさらに飽きっぽい」ということは嘘である」物があるとすればその工業用水は喜ばしい fact4: 都府楼で飽きっぽい物はある fact5: 仮になにかは飽きっぽくないとするとその工業用水は喜ばしい fact6: その工業用水は出力出来ない fact7: もしも「見辛いしさらにウインドーズシステムでない」物があるとしたらこの製造段階は苛々し易くない fact8: その工業用水が活動し難いとすると抜き付けるということはない fact9: 仮にとあるものが見境無いとすればそれは出力出来るということはない fact10: もしも「あの季節毎はビデオゲームでないかまたは喜ばしいということはない」ということは誤っているとするとその工業用水はビデオゲームである fact11: 「その工業用水は買い求める」ということは成り立つ fact12: もしこの摂取単位が聞き慣れないとすればそれは見辛いがウインドーズシステムでない fact13: 仮に「運搬出来ない」ものがあるならばあの密集は喜ばしい fact14: 「「都府楼であるししかも飽きっぽい」ということは成り立たない」ものはある fact15: この摂取単位はペンタゾシンでなくておまけに鳴り渡らない fact16: その工業用水は都府楼であるとすると「それは旅行パンフでない」ということは成り立つ fact17: 仮に何かはペンタゾシンだということはないし鳴り渡らないなら聞き慣れない fact18: 仮に何らかの物は苛々し易くないとすれば「市庁舎だし画一化する」ということは成り立たない fact19: 「「開大するししかも個別計算問題集だ」ということは偽な」物はある ; $hypothesis$ = その工業用水はビデオゲームだ ; $proof$ = 
fact14 & fact3 -> int1: その工業用水は喜ばしい; fact2 -> int2: もしその工業用水が喜ばしいならそれはビデオゲームでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは市庁舎でないとすると「ビデオゲームだということはないかもしくは喜ばしかないかまたは両方ともである」ということは確かでない
事実2: 喜ばしい物はビデオゲームでない
事実3: 「「都府楼だしさらに飽きっぽい」ということは嘘である」物があるとすればその工業用水は喜ばしい
事実4: 都府楼で飽きっぽい物はある
事実5: 仮になにかは飽きっぽくないとするとその工業用水は喜ばしい
事実6: その工業用水は出力出来ない
事実7: もしも「見辛いしさらにウインドーズシステムでない」物があるとしたらこの製造段階は苛々し易くない
事実8: その工業用水が活動し難いとすると抜き付けるということはない
事実9: 仮にとあるものが見境無いとすればそれは出力出来るということはない
事実10: もしも「あの季節毎はビデオゲームでないかまたは喜ばしいということはない」ということは誤っているとするとその工業用水はビデオゲームである
事実11: 「その工業用水は買い求める」ということは成り立つ
事実12: もしこの摂取単位が聞き慣れないとすればそれは見辛いがウインドーズシステムでない
事実13: 仮に「運搬出来ない」ものがあるならばあの密集は喜ばしい
事実14: 「「都府楼であるししかも飽きっぽい」ということは成り立たない」ものはある
事実15: この摂取単位はペンタゾシンでなくておまけに鳴り渡らない
事実16: その工業用水は都府楼であるとすると「それは旅行パンフでない」ということは成り立つ
事実17: 仮に何かはペンタゾシンだということはないし鳴り渡らないなら聞き慣れない
事実18: 仮に何らかの物は苛々し易くないとすれば「市庁舎だし画一化する」ということは成り立たない
事実19: 「「開大するししかも個別計算問題集だ」ということは偽な」物はある

仮説: その工業用水はビデオゲームだ
1. 事実14と事実3から、推論1: "その工業用水は喜ばしい"が導かれる
2. 事実2から、推論2: "もしその工業用水が喜ばしいならそれはビデオゲームでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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