その横暴は流れ付く
fact1: 「流れ付く」ものはある fact2: なんらかのものはうんちしないならば「それが朗誦しないしさらに形しない」ということは間違っている fact3: もし仮に「何かは流れ付かないけど集め捲る」ということは偽であるなら集め捲らない fact4: もしも「なんらかの物は遊走しない」ということは確かであるとすると「愛しくてそれは申し訳無い」ということは間違っている fact5: もしも「「「朗誦しないしさらに形するということはない」ということは本当だ」ということは誤りな」物はあるとすると「その二年以内は思す」ということは成り立つ fact6: もし仮にその海牛は流れ付けば「その横暴は流れ付かない」ということは成り立たない fact7: 全ては遊走しない fact8: とある物は思すとすると「それは流れ付かなくて集め捲る」ということは事実と異なる fact9: もしその海牛が流れ付かないけどそれが見苦しいとしたらその横暴は思さない fact10: 「「追加指定する」ということは成り立つ」ものはある fact11: 仮に「集め捲る」物があるならその海牛は思さないが見苦しい fact12: あの周手術期看護は朗誦する fact13: 「その横暴は愛しくて申し訳無い」ということは成り立たないならばあの海牛はうんちしない fact14: この合同カンファレンスは見苦しくない一方で羨ましい fact15: 何らかの物が集め捲らないとするとそれは見苦しくなくてストップする fact16: 「その海牛は思さない」ということは本当である fact17: 何らかの物は集め捲る fact18: もし「集め捲る」物があればその海牛は思さない fact19: もし仮にその海牛が思さない一方でそれが見苦しいならばその横暴は流れ付かない fact20: もし仮にその海牛が思すし更に見苦しいとしたらその横暴は流れ付かない
fact17 & fact11 -> int1: その海牛は思さないが見苦しい; int1 & fact19 -> hypothesis;
fact17 & fact11 -> int1: (¬{B}{a} & {C}{a}); int1 & fact19 -> hypothesis;
その二年以内は見苦しくないがそれはストップする
fact23 -> int2: もしもその二年以内が集め捲らないなら見苦しいということはなくておまけにストップする; fact26 -> int3: もしその海牛はうんちしないならば「朗誦しなくて更に形しない」ということは事実と異なる; fact22 -> int4: もしその取得等は遊走しないならば「愛しいし申し訳無い」ということは偽である; fact21 -> int5: その取得等は遊走しない; int4 & int5 -> int6: 「「「その取得等は愛しいしさらに申し訳無い」ということは成り立つ」ということは誤っている」ということは本当である; int6 -> int7: 愛しいしまた申し訳無いものはない; int7 -> int8: 「その横暴は愛しくて更にそれは申し訳無い」ということは成り立たない; int8 & fact24 -> int9: その海牛はうんちするということはない; int3 & int9 -> int10: 「その海牛は朗誦しないしかつ形しない」ということは偽だ; int10 -> int11: 「「朗誦しないし形しない」ということは成り立たない」物はある; int11 & fact25 -> int12: その二年以内は思す; fact27 -> int13: 仮にその二年以内は思すとしたら「それは流れ付くということはないが集め捲る」ということは事実と異なる; int12 & int13 -> int14: 「その二年以内は流れ付かない一方でそれは集め捲る」ということは成り立たない; fact28 -> int15: 「その二年以内は流れ付かないけどそれは集め捲る」ということは間違っているとすればそれは集め捲らない; int14 & int15 -> int16: その二年以内は集め捲らない; int2 & int16 -> hypothesis;
$facts$ = fact1: 「流れ付く」ものはある fact2: なんらかのものはうんちしないならば「それが朗誦しないしさらに形しない」ということは間違っている fact3: もし仮に「何かは流れ付かないけど集め捲る」ということは偽であるなら集め捲らない fact4: もしも「なんらかの物は遊走しない」ということは確かであるとすると「愛しくてそれは申し訳無い」ということは間違っている fact5: もしも「「「朗誦しないしさらに形するということはない」ということは本当だ」ということは誤りな」物はあるとすると「その二年以内は思す」ということは成り立つ fact6: もし仮にその海牛は流れ付けば「その横暴は流れ付かない」ということは成り立たない fact7: 全ては遊走しない fact8: とある物は思すとすると「それは流れ付かなくて集め捲る」ということは事実と異なる fact9: もしその海牛が流れ付かないけどそれが見苦しいとしたらその横暴は思さない fact10: 「「追加指定する」ということは成り立つ」ものはある fact11: 仮に「集め捲る」物があるならその海牛は思さないが見苦しい fact12: あの周手術期看護は朗誦する fact13: 「その横暴は愛しくて申し訳無い」ということは成り立たないならばあの海牛はうんちしない fact14: この合同カンファレンスは見苦しくない一方で羨ましい fact15: 何らかの物が集め捲らないとするとそれは見苦しくなくてストップする fact16: 「その海牛は思さない」ということは本当である fact17: 何らかの物は集め捲る fact18: もし「集め捲る」物があればその海牛は思さない fact19: もし仮にその海牛が思さない一方でそれが見苦しいならばその横暴は流れ付かない fact20: もし仮にその海牛が思すし更に見苦しいとしたらその横暴は流れ付かない ; $hypothesis$ = その横暴は流れ付く ; $proof$ = 
fact17 & fact11 -> int1: その海牛は思さないが見苦しい; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: 「流れ付く」ものはある
事実2: なんらかのものはうんちしないならば「それが朗誦しないしさらに形しない」ということは間違っている
事実3: もし仮に「何かは流れ付かないけど集め捲る」ということは偽であるなら集め捲らない
事実4: もしも「なんらかの物は遊走しない」ということは確かであるとすると「愛しくてそれは申し訳無い」ということは間違っている
事実5: もしも「「「朗誦しないしさらに形するということはない」ということは本当だ」ということは誤りな」物はあるとすると「その二年以内は思す」ということは成り立つ
事実6: もし仮にその海牛は流れ付けば「その横暴は流れ付かない」ということは成り立たない
事実7: 全ては遊走しない
事実8: とある物は思すとすると「それは流れ付かなくて集め捲る」ということは事実と異なる
事実9: もしその海牛が流れ付かないけどそれが見苦しいとしたらその横暴は思さない
事実10: 「「追加指定する」ということは成り立つ」ものはある
事実11: 仮に「集め捲る」物があるならその海牛は思さないが見苦しい
事実12: あの周手術期看護は朗誦する
事実13: 「その横暴は愛しくて申し訳無い」ということは成り立たないならばあの海牛はうんちしない
事実14: この合同カンファレンスは見苦しくない一方で羨ましい
事実15: 何らかの物が集め捲らないとするとそれは見苦しくなくてストップする
事実16: 「その海牛は思さない」ということは本当である
事実17: 何らかの物は集め捲る
事実18: もし「集め捲る」物があればその海牛は思さない
事実19: もし仮にその海牛が思さない一方でそれが見苦しいならばその横暴は流れ付かない
事実20: もし仮にその海牛が思すし更に見苦しいとしたらその横暴は流れ付かない

仮説: その横暴は流れ付く
1. 事実17と事実11から、推論1: "その海牛は思さないが見苦しい"が導かれる
2. 推論1と事実19から、仮説が否定される

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