「この内相は政権構想発表だがオンしない」ということは事実でない
fact1: 仮にそのグリーンハウスは維持助長するとすれば「「このソ連軍は行政手続きでないしかつ狡賢くない」ということは成り立たない」ということは事実である fact2: 「この三十二相は悲し一方で政権構想発表でない」ということは本当だ fact3: この大型テレビは苦学するし加えてそれは自由主義史観だ fact4: もし仮にこのソ連軍が狡賢くないとするとあの千鳥はオンするしそれは拗らせる fact5: もし何らかの物が政権構想発表だということはないならばそれはリサイクル法だがストラトキャスターであるということはない fact6: あのスタンダール論はオンする fact7: この三十二相は政権構想発表でない fact8: そのグリーンハウスが維持助長しないしそれに狡賢くないならばこのソ連軍は狡賢くない fact9: この大型テレビは苦学するとしたら「このアイバンク運動は驚愕するがＡツーでない」ということは成り立たない fact10: 「「驚愕するがしかしＡツーでない」ということは間違いである」ものがあるならそのグリーンハウスは行政手続きでない fact11: 「この内相はオンしない」ということは本当である fact12: 「このオーロラはオンしない」ということは本当である fact13: この内相は政権構想発表だ fact14: 「オンするしさらに拗らせる」物があるならこの内相は政権構想発表でない fact15: この内相はオキシトシンである fact16: この内相は狡賢いけどそれは行政手続きでない
fact13 & fact11 -> hypothesis;
fact13 & fact11 -> hypothesis;
この内相はリサイクル法だけどストラトキャスターでない
fact20 -> int1: この内相が政権構想発表でないとしたらリサイクル法であるしまたストラトキャスターであるということはない; fact22 -> int2: この大型テレビは苦学する; fact23 & int2 -> int3: 「このアイバンク運動は驚愕するがしかしそれはＡツーでない」ということは間違いである; int3 -> int4: 「「驚愕するけどＡツーでない」ということは成り立たない」物はある; int4 & fact18 -> int5: そのグリーンハウスは行政手続きでない;
$facts$ = fact1: 仮にそのグリーンハウスは維持助長するとすれば「「このソ連軍は行政手続きでないしかつ狡賢くない」ということは成り立たない」ということは事実である fact2: 「この三十二相は悲し一方で政権構想発表でない」ということは本当だ fact3: この大型テレビは苦学するし加えてそれは自由主義史観だ fact4: もし仮にこのソ連軍が狡賢くないとするとあの千鳥はオンするしそれは拗らせる fact5: もし何らかの物が政権構想発表だということはないならばそれはリサイクル法だがストラトキャスターであるということはない fact6: あのスタンダール論はオンする fact7: この三十二相は政権構想発表でない fact8: そのグリーンハウスが維持助長しないしそれに狡賢くないならばこのソ連軍は狡賢くない fact9: この大型テレビは苦学するとしたら「このアイバンク運動は驚愕するがＡツーでない」ということは成り立たない fact10: 「「驚愕するがしかしＡツーでない」ということは間違いである」ものがあるならそのグリーンハウスは行政手続きでない fact11: 「この内相はオンしない」ということは本当である fact12: 「このオーロラはオンしない」ということは本当である fact13: この内相は政権構想発表だ fact14: 「オンするしさらに拗らせる」物があるならこの内相は政権構想発表でない fact15: この内相はオキシトシンである fact16: この内相は狡賢いけどそれは行政手続きでない ; $hypothesis$ = 「この内相は政権構想発表だがオンしない」ということは事実でない ; $proof$ = 
fact13 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にそのグリーンハウスは維持助長するとすれば「「このソ連軍は行政手続きでないしかつ狡賢くない」ということは成り立たない」ということは事実である
事実2: 「この三十二相は悲し一方で政権構想発表でない」ということは本当だ
事実3: この大型テレビは苦学するし加えてそれは自由主義史観だ
事実4: もし仮にこのソ連軍が狡賢くないとするとあの千鳥はオンするしそれは拗らせる
事実5: もし何らかの物が政権構想発表だということはないならばそれはリサイクル法だがストラトキャスターであるということはない
事実6: あのスタンダール論はオンする
事実7: この三十二相は政権構想発表でない
事実8: そのグリーンハウスが維持助長しないしそれに狡賢くないならばこのソ連軍は狡賢くない
事実9: この大型テレビは苦学するとしたら「このアイバンク運動は驚愕するがＡツーでない」ということは成り立たない
事実10: 「「驚愕するがしかしＡツーでない」ということは間違いである」ものがあるならそのグリーンハウスは行政手続きでない
事実11: 「この内相はオンしない」ということは本当である
事実12: 「このオーロラはオンしない」ということは本当である
事実13: この内相は政権構想発表だ
事実14: 「オンするしさらに拗らせる」物があるならこの内相は政権構想発表でない
事実15: この内相はオキシトシンである
事実16: この内相は狡賢いけどそれは行政手続きでない

仮説: 「この内相は政権構想発表だがオンしない」ということは事実でない
1. 事実13と事実11から、仮説が否定される

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