「この住宅問題は厳くないがしかし拡散反射光である」ということは事実でない
fact1: 仮に「この国内改革は認識出来る一方でそれはＪＮＸでない」ということは事実と異なるとしたら認識出来ない fact2: 「その長期的発展は砕け易いししかも院長だ」ということは成り立つ fact3: もし仮に「ある物は漕ぎ出さない一方でまどろっこしい」ということは成り立たないならまどろっこしいということはない fact4: 仮にこの住宅問題が漕ぎ出すとしたら認識出来ない fact5: 仮にとある物が時効取得するなら出入りし易くないししかもそれは傾倒する fact6: 「この国内改革は認識出来るがしかしＪＮＸでない」ということは事実でない fact7: この住宅問題がまどろっこしいとしたらそれは拡散反射光だ fact8: もし仮に何かはまどろっこしいとすると厳くないが拡散反射光である fact9: 「この住宅問題はＪＮＸである」ということは成り立つならそれは漕ぎ出す fact10: この住宅問題は寝っ転がるしまどろっこしい fact11: 「認識出来ない」ものはあるとしたら「あの民俗学演習は漕ぎ出さないけどまどろっこしい」ということは事実と異なる fact12: まどろっこしいものは拡散反射光だ fact13: もし何かは拡散反射光であるとしたらそれは寝っ転がる fact14: この庶民教育はＡＶであるしおまけに突っ込む fact15: もしも「「寝っ転がる」ということは確かな」ものがあるとすればその難儀はまどろっこしい fact16: まどろっこしくらない物は寝っ転がるということはなくてまた拡散反射光でない
fact10 -> int1: この住宅問題はまどろっこしい; fact8 -> int2: 仮にこの住宅問題がまどろっこしいとしたら厳くないしそれにそれは拡散反射光だ; int1 & int2 -> hypothesis;
fact10 -> int1: {B}{a}; fact8 -> int2: {B}{a} -> (¬{D}{a} & {C}{a}); int1 & int2 -> hypothesis;
「「この住宅問題は厳くないがしかし拡散反射光だ」ということは本当である」ということは誤っている
fact19 -> int3: 仮にあの民俗学演習はまどろっこしくらないならば寝っ転がらなくて拡散反射光であるということはない; fact20 -> int4: もしも「あの民俗学演習は漕ぎ出さないけれどまどろっこしい」ということは偽であるとしたら「まどろっこしいということはない」ということは誤りでない; fact18 & fact17 -> int5: この国内改革は認識出来ない; int5 -> int6: とあるものは認識出来ない; int6 & fact21 -> int7: 「あの民俗学演習は漕ぎ出すということはない一方でまどろっこしい」ということは誤っている; int4 & int7 -> int8: あの民俗学演習はまどろっこしくらない; int3 & int8 -> int9: あの民俗学演習は寝っ転がるということはなくてまた拡散反射光であるということはない; int9 -> int10: あの民俗学演習は拡散反射光でない; int10 -> int11: 「拡散反射光でない」物はある;
$facts$ = fact1: 仮に「この国内改革は認識出来る一方でそれはＪＮＸでない」ということは事実と異なるとしたら認識出来ない fact2: 「その長期的発展は砕け易いししかも院長だ」ということは成り立つ fact3: もし仮に「ある物は漕ぎ出さない一方でまどろっこしい」ということは成り立たないならまどろっこしいということはない fact4: 仮にこの住宅問題が漕ぎ出すとしたら認識出来ない fact5: 仮にとある物が時効取得するなら出入りし易くないししかもそれは傾倒する fact6: 「この国内改革は認識出来るがしかしＪＮＸでない」ということは事実でない fact7: この住宅問題がまどろっこしいとしたらそれは拡散反射光だ fact8: もし仮に何かはまどろっこしいとすると厳くないが拡散反射光である fact9: 「この住宅問題はＪＮＸである」ということは成り立つならそれは漕ぎ出す fact10: この住宅問題は寝っ転がるしまどろっこしい fact11: 「認識出来ない」ものはあるとしたら「あの民俗学演習は漕ぎ出さないけどまどろっこしい」ということは事実と異なる fact12: まどろっこしいものは拡散反射光だ fact13: もし何かは拡散反射光であるとしたらそれは寝っ転がる fact14: この庶民教育はＡＶであるしおまけに突っ込む fact15: もしも「「寝っ転がる」ということは確かな」ものがあるとすればその難儀はまどろっこしい fact16: まどろっこしくらない物は寝っ転がるということはなくてまた拡散反射光でない ; $hypothesis$ = 「この住宅問題は厳くないがしかし拡散反射光である」ということは事実でない ; $proof$ = 
fact10 -> int1: この住宅問題はまどろっこしい; fact8 -> int2: 仮にこの住宅問題がまどろっこしいとしたら厳くないしそれにそれは拡散反射光だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「この国内改革は認識出来る一方でそれはＪＮＸでない」ということは事実と異なるとしたら認識出来ない
事実2: 「その長期的発展は砕け易いししかも院長だ」ということは成り立つ
事実3: もし仮に「ある物は漕ぎ出さない一方でまどろっこしい」ということは成り立たないならまどろっこしいということはない
事実4: 仮にこの住宅問題が漕ぎ出すとしたら認識出来ない
事実5: 仮にとある物が時効取得するなら出入りし易くないししかもそれは傾倒する
事実6: 「この国内改革は認識出来るがしかしＪＮＸでない」ということは事実でない
事実7: この住宅問題がまどろっこしいとしたらそれは拡散反射光だ
事実8: もし仮に何かはまどろっこしいとすると厳くないが拡散反射光である
事実9: 「この住宅問題はＪＮＸである」ということは成り立つならそれは漕ぎ出す
事実10: この住宅問題は寝っ転がるしまどろっこしい
事実11: 「認識出来ない」ものはあるとしたら「あの民俗学演習は漕ぎ出さないけどまどろっこしい」ということは事実と異なる
事実12: まどろっこしいものは拡散反射光だ
事実13: もし何かは拡散反射光であるとしたらそれは寝っ転がる
事実14: この庶民教育はＡＶであるしおまけに突っ込む
事実15: もしも「「寝っ転がる」ということは確かな」ものがあるとすればその難儀はまどろっこしい
事実16: まどろっこしくらない物は寝っ転がるということはなくてまた拡散反射光でない

仮説: 「この住宅問題は厳くないがしかし拡散反射光である」ということは事実でない
1. 事実10から、推論1: "この住宅問題はまどろっこしい"が導かれる
2. 事実8から、推論2: "仮にこの住宅問題がまどろっこしいとしたら厳くないしそれにそれは拡散反射光だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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