この台屋は成熟化する
fact1: 「競らないかあるいは滑り易くないか両方な」ものはある fact2: もし仮にこの公立小学校が浅しないけど判別し易いとすればこの台屋は成熟化しない fact3: その紛争要因は円板であるということはないが小賢しい fact4: もしも「この公立小学校は浅しないけれど円板である」ということは誤っているなら「それは競る」ということは本当である fact5: 仮に何らかの物が競るということはないかあるいはそれが滑り易くないかどちらもであるとすればこの公立小学校は判別し易い fact6: 何らかの物は小賢しいとしたら「浅しないけれど円板だ」ということは間違っている fact7: その紛争要因は歓迎しない fact8: この公立小学校は滑り易いかあるいは木屑録でないなら木屑録でない fact9: もしその紛争要因は円板でないが小賢しいとすれば「この公立小学校は浅しない」ということは成り立つ fact10: もしもその紛争要因が歓迎しないならこの公立小学校は小賢しくてそれにそれは出生証明書だ
fact1 & fact5 -> int1: この公立小学校は判別し易い; fact3 & fact9 -> int2: この公立小学校は浅しない; int1 & int2 -> int3: この公立小学校は浅しないがしかし判別し易い; int3 & fact2 -> hypothesis;
この台屋は成熟化する
fact12 -> int4: 仮にこの公立小学校は小賢しいとすれば「浅しないけど円板である」ということは嘘だ; fact13 & fact11 -> int5: この公立小学校は小賢しいしかつ出生証明書だ; int5 -> int6: この公立小学校は小賢しい; int4 & int6 -> int7: 「この公立小学校は浅しということはないが円板だ」ということは誤りである; fact14 & int7 -> int8: この公立小学校は競る;
$facts$ = fact1: 「競らないかあるいは滑り易くないか両方な」ものはある fact2: もし仮にこの公立小学校が浅しないけど判別し易いとすればこの台屋は成熟化しない fact3: その紛争要因は円板であるということはないが小賢しい fact4: もしも「この公立小学校は浅しないけれど円板である」ということは誤っているなら「それは競る」ということは本当である fact5: 仮に何らかの物が競るということはないかあるいはそれが滑り易くないかどちらもであるとすればこの公立小学校は判別し易い fact6: 何らかの物は小賢しいとしたら「浅しないけれど円板だ」ということは間違っている fact7: その紛争要因は歓迎しない fact8: この公立小学校は滑り易いかあるいは木屑録でないなら木屑録でない fact9: もしその紛争要因は円板でないが小賢しいとすれば「この公立小学校は浅しない」ということは成り立つ fact10: もしもその紛争要因が歓迎しないならこの公立小学校は小賢しくてそれにそれは出生証明書だ ; $hypothesis$ = この台屋は成熟化する ; $proof$ = 
fact1 & fact5 -> int1: この公立小学校は判別し易い; fact3 & fact9 -> int2: この公立小学校は浅しない; int1 & int2 -> int3: この公立小学校は浅しないがしかし判別し易い; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「競らないかあるいは滑り易くないか両方な」ものはある
事実2: もし仮にこの公立小学校が浅しないけど判別し易いとすればこの台屋は成熟化しない
事実3: その紛争要因は円板であるということはないが小賢しい
事実4: もしも「この公立小学校は浅しないけれど円板である」ということは誤っているなら「それは競る」ということは本当である
事実5: 仮に何らかの物が競るということはないかあるいはそれが滑り易くないかどちらもであるとすればこの公立小学校は判別し易い
事実6: 何らかの物は小賢しいとしたら「浅しないけれど円板だ」ということは間違っている
事実7: その紛争要因は歓迎しない
事実8: この公立小学校は滑り易いかあるいは木屑録でないなら木屑録でない
事実9: もしその紛争要因は円板でないが小賢しいとすれば「この公立小学校は浅しない」ということは成り立つ
事実10: もしもその紛争要因が歓迎しないならこの公立小学校は小賢しくてそれにそれは出生証明書だ

仮説: この台屋は成熟化する
1. 事実1と事実5から、推論1: "この公立小学校は判別し易い"が導かれる
2. 事実3と事実9から、推論2: "この公立小学校は浅しない"が導かれる
3. 推論1と推論2から、推論3: "この公立小学校は浅しないがしかし判別し易い"が導かれる
4. 推論3と事実2から、仮説が否定される

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