その烏兎経は休職する
fact1: その市町村優先が強化しないとしたらそれは信じ難い fact2: もし「その烏兎経は休職する一方で眠り続けない」ということは間違いであるとしたらこのマイホーム購入は御父でない fact3: 「もし仮に御父が眠り続けるとすれば休職しない」ということは確かである fact4: その烏兎経は眠り続ける fact5: その大静脈は休職する fact6: 「しつこくない」ものはある fact7: もしこの各衛星がしつこくないとしたらその烏兎経は誓い合わなくてしかもそれは離せらない fact8: 仮に「信じ難い」ものがあればその虐殺事件は見え辛いしかつ輻湊する fact9: その烏兎経は御嵩むしかつそれは愛し fact10: もしある物が排除出来ないとすればしつこいということはない fact11: もし仮になにがしかの物が甘酸っぱいならばそれは排除出来ないかもしくはそれは演算でない fact12: もしもなにかは見え辛いとするとこの各衛星は甘酸っぱい fact13: この印刷プレビューツールバーは眠り続ける fact14: 仮になんらかの物は誓い合うということはないならば「休職するがしかし眠り続けるということはない」ということは確かであるということはない fact15: そのＥＳＳ‐ＩＤは眠り続ける fact16: その烏兎経は御父だ fact17: その市町村優先は強化しない fact18: その烏兎経は操作し易いし窄める
fact16 & fact4 -> int1: その烏兎経は御父で加えて眠り続ける; fact3 -> int2: 仮にその烏兎経は御父だし眠り続けるとしたら「休職するということはない」ということは正しい; int1 & int2 -> hypothesis;
fact16 & fact4 -> int1: ({A}{a} & {B}{a}); fact3 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
このマイホーム購入は御父でない
fact20 -> int3: 仮にその烏兎経は誓い合わないとしたら「それは休職するしさらに眠り続けない」ということは誤りである; fact22 -> int4: もしもこの各衛星が甘酸っぱいならばそれは排除出来ないかそれは演算でないかもしくは両方だ; fact27 & fact26 -> int5: その市町村優先は信じ難い; int5 -> int6: 何かは信じ難い; int6 & fact19 -> int7: その虐殺事件は見え辛いしおまけにそれは輻湊する; int7 -> int8: その虐殺事件は見え辛い; int8 -> int9: 「見え辛い」ものはある; int9 & fact23 -> int10: この各衛星は甘酸っぱい; int4 & int10 -> int11: この各衛星は排除出来るということはないかそれは演算でないかまたは両方ともである; fact24 -> int12: 仮にこの各衛星が排除出来ないならばそれはしつこいということはない;
$facts$ = fact1: その市町村優先が強化しないとしたらそれは信じ難い fact2: もし「その烏兎経は休職する一方で眠り続けない」ということは間違いであるとしたらこのマイホーム購入は御父でない fact3: 「もし仮に御父が眠り続けるとすれば休職しない」ということは確かである fact4: その烏兎経は眠り続ける fact5: その大静脈は休職する fact6: 「しつこくない」ものはある fact7: もしこの各衛星がしつこくないとしたらその烏兎経は誓い合わなくてしかもそれは離せらない fact8: 仮に「信じ難い」ものがあればその虐殺事件は見え辛いしかつ輻湊する fact9: その烏兎経は御嵩むしかつそれは愛し fact10: もしある物が排除出来ないとすればしつこいということはない fact11: もし仮になにがしかの物が甘酸っぱいならばそれは排除出来ないかもしくはそれは演算でない fact12: もしもなにかは見え辛いとするとこの各衛星は甘酸っぱい fact13: この印刷プレビューツールバーは眠り続ける fact14: 仮になんらかの物は誓い合うということはないならば「休職するがしかし眠り続けるということはない」ということは確かであるということはない fact15: そのＥＳＳ‐ＩＤは眠り続ける fact16: その烏兎経は御父だ fact17: その市町村優先は強化しない fact18: その烏兎経は操作し易いし窄める ; $hypothesis$ = その烏兎経は休職する ; $proof$ = 
fact16 & fact4 -> int1: その烏兎経は御父で加えて眠り続ける; fact3 -> int2: 仮にその烏兎経は御父だし眠り続けるとしたら「休職するということはない」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その市町村優先が強化しないとしたらそれは信じ難い
事実2: もし「その烏兎経は休職する一方で眠り続けない」ということは間違いであるとしたらこのマイホーム購入は御父でない
事実3: 「もし仮に御父が眠り続けるとすれば休職しない」ということは確かである
事実4: その烏兎経は眠り続ける
事実5: その大静脈は休職する
事実6: 「しつこくない」ものはある
事実7: もしこの各衛星がしつこくないとしたらその烏兎経は誓い合わなくてしかもそれは離せらない
事実8: 仮に「信じ難い」ものがあればその虐殺事件は見え辛いしかつ輻湊する
事実9: その烏兎経は御嵩むしかつそれは愛し
事実10: もしある物が排除出来ないとすればしつこいということはない
事実11: もし仮になにがしかの物が甘酸っぱいならばそれは排除出来ないかもしくはそれは演算でない
事実12: もしもなにかは見え辛いとするとこの各衛星は甘酸っぱい
事実13: この印刷プレビューツールバーは眠り続ける
事実14: 仮になんらかの物は誓い合うということはないならば「休職するがしかし眠り続けるということはない」ということは確かであるということはない
事実15: そのＥＳＳ‐ＩＤは眠り続ける
事実16: その烏兎経は御父だ
事実17: その市町村優先は強化しない
事実18: その烏兎経は操作し易いし窄める

仮説: その烏兎経は休職する
1. 事実16と事実4から、推論1: "その烏兎経は御父で加えて眠り続ける"が導かれる
2. 事実3から、推論2: "仮にその烏兎経は御父だし眠り続けるとしたら「休職するということはない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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