「「想定し難くないし情報技術利用でない」ものはある」ということは成り立たない
fact1: とあるものは言い渡すなら「情報技術利用であるということはない」ということは確かだ fact2: 仮にとある物は懐こいなら「取り難くないが製材する」ということは誤りである fact3: もしも「「取り難くない一方で製材する」ということは間違いな」ものがあるとすればこの代議院は論難するということはない fact4: この代議院は言い渡すということはない fact5: もし何かは期待し難いとしたらそれは懐こい fact6: 「もしこの代議院が言い渡さないならこの代議院は想定し難くないしかつ情報技術利用でない」ということは真実である fact7: あるものは想定し難いけれど情報技術利用でない fact8: あのマーケティング機能は言い渡すということはない fact9: 「論難しない」ものがあるとするとその生来は言い渡すし加えてそれは小憎らしい fact10: そのグラフィックカードは期待し難い
fact6 & fact4 -> int1: この代議院は想定し難くないしそれに情報技術利用でない; int1 -> hypothesis;
その生来は情報技術利用でない
fact12 -> int2: もしもその生来が言い渡せば情報技術利用でない; fact15 -> int3: もし仮にそのグラフィックカードは懐こいなら「取り難いということはなくてまたそれは製材する」ということは嘘である; fact14 -> int4: もしそのグラフィックカードが期待し難いならそれは懐こい; int4 & fact13 -> int5: そのグラフィックカードは懐こい; int3 & int5 -> int6: 「そのグラフィックカードは取り難くないが製材する」ということは成り立たない; int6 -> int7: 「「取り難いということはないが製材する」ということは誤りである」ものはある; int7 & fact16 -> int8: この代議院は論難しない; int8 -> int9: 何かは論難しない; int9 & fact11 -> int10: その生来は言い渡すしまたそれは小憎らしい; int10 -> int11: その生来は言い渡す; int2 & int11 -> hypothesis;
$facts$ = fact1: とあるものは言い渡すなら「情報技術利用であるということはない」ということは確かだ fact2: 仮にとある物は懐こいなら「取り難くないが製材する」ということは誤りである fact3: もしも「「取り難くない一方で製材する」ということは間違いな」ものがあるとすればこの代議院は論難するということはない fact4: この代議院は言い渡すということはない fact5: もし何かは期待し難いとしたらそれは懐こい fact6: 「もしこの代議院が言い渡さないならこの代議院は想定し難くないしかつ情報技術利用でない」ということは真実である fact7: あるものは想定し難いけれど情報技術利用でない fact8: あのマーケティング機能は言い渡すということはない fact9: 「論難しない」ものがあるとするとその生来は言い渡すし加えてそれは小憎らしい fact10: そのグラフィックカードは期待し難い ; $hypothesis$ = 「「想定し難くないし情報技術利用でない」ものはある」ということは成り立たない ; $proof$ = 
fact6 & fact4 -> int1: この代議院は想定し難くないしそれに情報技術利用でない; int1 -> hypothesis; __DISPROVED__
事実1: とあるものは言い渡すなら「情報技術利用であるということはない」ということは確かだ
事実2: 仮にとある物は懐こいなら「取り難くないが製材する」ということは誤りである
事実3: もしも「「取り難くない一方で製材する」ということは間違いな」ものがあるとすればこの代議院は論難するということはない
事実4: この代議院は言い渡すということはない
事実5: もし何かは期待し難いとしたらそれは懐こい
事実6: 「もしこの代議院が言い渡さないならこの代議院は想定し難くないしかつ情報技術利用でない」ということは真実である
事実7: あるものは想定し難いけれど情報技術利用でない
事実8: あのマーケティング機能は言い渡すということはない
事実9: 「論難しない」ものがあるとするとその生来は言い渡すし加えてそれは小憎らしい
事実10: そのグラフィックカードは期待し難い

仮説: 「「想定し難くないし情報技術利用でない」ものはある」ということは成り立たない
1. 事実6と事実4から、推論1: "この代議院は想定し難くないしそれに情報技術利用でない"が導かれる
2. 推論1から、仮説が否定される

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