「この糖蛋白は気持ち良くない」ということは本当である
fact1: もし仮に「この糖蛋白は深しがしかし揉み込まない」ということは成り立たないとするとあの病院医師は気持ち良い fact2: なにがしかのものは体形でないならそれは気持ち良くてそれに揉み込む fact3: あの最短コースは重たい fact4: もし「この再起は揉み込む一方で気持ち良くない」ということは成り立たないとしたらあの病院医師は重たい fact5: その納刀は揉み込まない fact6: この糖蛋白がＪＰＥＧ形式でないとすれば心身障害者である fact7: この再起は揉み込まないとすれば「あの病院医師は重たいけど深しない」ということは誤りだ fact8: もしなにがしかの物は揉み込むし体形であるなら気持ち良くない fact9: 厳くないものは心身障害者だ fact10: もしもこの再起は深しないとすると「あの病院医師は重たい一方で揉み込むということはない」ということは本当でない fact11: 「この再起は重たい物でありおまけに深しない」ということは本当でないとするとあの病院医師は揉み込む fact12: 「この糖蛋白はＪＰＥＧ形式でないかもしくはそれは厳くない」ということは事実である fact13: もしも「あの病院医師は重たいけれど深しない」ということは成り立たないならばこの糖蛋白は気持ち良い fact14: もし仮にこの糖蛋白が心身障害者ならばそれは揉み込む fact15: この糖蛋白はトレースしない fact16: 「この再起は安っぽくない」ということは正しい fact17: 「「あの病院医師は気持ち良いが揉み込まない」ということは正しい」ということは偽だとするとこの再起は重たい fact18: この再起は揉み込むということはない fact19: あの病院医師は揉み込まないとすると「この再起は深し一方で重たくない」ということは偽である fact20: もし仮にあの病院医師が重たくないとしたらこの糖蛋白は気持ち良い
fact7 & fact18 -> int1: 「「あの病院医師は重たいけれど深しない」ということは事実と異なる」ということは真実である; int1 & fact13 -> hypothesis;
fact7 & fact18 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact13 -> hypothesis;
このゼムストボ会議は気持ち良い
fact21 -> int2: もし仮にこのゼムストボ会議は体形でないとしたらそれは気持ち良くてかつ揉み込む;
$facts$ = fact1: もし仮に「この糖蛋白は深しがしかし揉み込まない」ということは成り立たないとするとあの病院医師は気持ち良い fact2: なにがしかのものは体形でないならそれは気持ち良くてそれに揉み込む fact3: あの最短コースは重たい fact4: もし「この再起は揉み込む一方で気持ち良くない」ということは成り立たないとしたらあの病院医師は重たい fact5: その納刀は揉み込まない fact6: この糖蛋白がＪＰＥＧ形式でないとすれば心身障害者である fact7: この再起は揉み込まないとすれば「あの病院医師は重たいけど深しない」ということは誤りだ fact8: もしなにがしかの物は揉み込むし体形であるなら気持ち良くない fact9: 厳くないものは心身障害者だ fact10: もしもこの再起は深しないとすると「あの病院医師は重たい一方で揉み込むということはない」ということは本当でない fact11: 「この再起は重たい物でありおまけに深しない」ということは本当でないとするとあの病院医師は揉み込む fact12: 「この糖蛋白はＪＰＥＧ形式でないかもしくはそれは厳くない」ということは事実である fact13: もしも「あの病院医師は重たいけれど深しない」ということは成り立たないならばこの糖蛋白は気持ち良い fact14: もし仮にこの糖蛋白が心身障害者ならばそれは揉み込む fact15: この糖蛋白はトレースしない fact16: 「この再起は安っぽくない」ということは正しい fact17: 「「あの病院医師は気持ち良いが揉み込まない」ということは正しい」ということは偽だとするとこの再起は重たい fact18: この再起は揉み込むということはない fact19: あの病院医師は揉み込まないとすると「この再起は深し一方で重たくない」ということは偽である fact20: もし仮にあの病院医師が重たくないとしたらこの糖蛋白は気持ち良い ; $hypothesis$ = 「この糖蛋白は気持ち良くない」ということは本当である ; $proof$ = 
fact7 & fact18 -> int1: 「「あの病院医師は重たいけれど深しない」ということは事実と異なる」ということは真実である; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮に「この糖蛋白は深しがしかし揉み込まない」ということは成り立たないとするとあの病院医師は気持ち良い
事実2: なにがしかのものは体形でないならそれは気持ち良くてそれに揉み込む
事実3: あの最短コースは重たい
事実4: もし「この再起は揉み込む一方で気持ち良くない」ということは成り立たないとしたらあの病院医師は重たい
事実5: その納刀は揉み込まない
事実6: この糖蛋白がＪＰＥＧ形式でないとすれば心身障害者である
事実7: この再起は揉み込まないとすれば「あの病院医師は重たいけど深しない」ということは誤りだ
事実8: もしなにがしかの物は揉み込むし体形であるなら気持ち良くない
事実9: 厳くないものは心身障害者だ
事実10: もしもこの再起は深しないとすると「あの病院医師は重たい一方で揉み込むということはない」ということは本当でない
事実11: 「この再起は重たい物でありおまけに深しない」ということは本当でないとするとあの病院医師は揉み込む
事実12: 「この糖蛋白はＪＰＥＧ形式でないかもしくはそれは厳くない」ということは事実である
事実13: もしも「あの病院医師は重たいけれど深しない」ということは成り立たないならばこの糖蛋白は気持ち良い
事実14: もし仮にこの糖蛋白が心身障害者ならばそれは揉み込む
事実15: この糖蛋白はトレースしない
事実16: 「この再起は安っぽくない」ということは正しい
事実17: 「「あの病院医師は気持ち良いが揉み込まない」ということは正しい」ということは偽だとするとこの再起は重たい
事実18: この再起は揉み込むということはない
事実19: あの病院医師は揉み込まないとすると「この再起は深し一方で重たくない」ということは偽である
事実20: もし仮にあの病院医師が重たくないとしたらこの糖蛋白は気持ち良い

仮説: 「この糖蛋白は気持ち良くない」ということは本当である
1. 事実7と事実18から、推論1: "「「あの病院医師は重たいけれど深しない」ということは事実と異なる」ということは真実である"が導かれる
2. 推論1と事実13から、仮説が否定される

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