「その右弓歩は情け深いけれどそれは通しボルトであるということはない」ということは嘘だ
fact1: 春日杯は空恐ろしくないがしかし具備する fact2: もし仮にあのレベラーは具備するとすると「そのリカーショップは誓い合わなくて瞠目すらない」ということは成り立たない fact3: もし仮にあの請求人夫婦が起き始めないとすればあのリカーショップは研究チームであるし天狗らしい fact4: 心細くない物は和田式勉強術であるかまたは踏み均すかどちらもである fact5: もし「なんらかのものは誓い合わないししかも瞠目すらない」ということは誤っているとすればそれは瞠目す fact6: もしもあの血液中が春日杯だとすればあの偽薬は春日杯である fact7: もしもそのリカーショップが研究チームであるし更に瞠目すとするとあの被膜剤は心細くない fact8: それは情け深くて更に通しボルトだというものはない fact9: あの愛情表現は酸いけれど切り取らない fact10: それは情け深いけれど通しボルトでないという物はない fact11: あの血液中が影響され易いとするとあの偽薬は春日杯である fact12: もしもあの偽薬が空恐ろしくない一方で具備するとするとあのレベラーは具備する fact13: 仮にあの被膜剤が和田式勉強術であるとすればその小松基地は出し切れない fact14: 「その右弓歩は情け深いし通しボルトだ」ということは本当でない fact15: すべては春日杯であるかもしくは影響され易い fact16: 「酸くてさらに切り取らない」ものがあるとするとあの請求人夫婦は起き始めない fact17: もしもある物は出し切れるということはないとすれば「通しボルトであるしかつ賢しということはない」ということは嘘だ
fact10 -> hypothesis;
fact10 -> hypothesis;
「その小松基地は通しボルトだけれどそれは賢しない」ということは偽だ
fact18 -> int1: 仮にその小松基地は出し切れないとすれば「通しボルトであるし加えてそれは賢しということはない」ということは間違いだ; fact31 -> int2: 仮にあの被膜剤が心細くないとしたら和田式勉強術であるかあるいはそれは踏み均す; fact26 -> int3: 「「酸くてそれに切り取らない」ものはある」ということは成り立つ; int3 & fact27 -> int4: あの請求人夫婦は起き始めるということはない; fact30 & int4 -> int5: そのリカーショップは研究チームであるし加えて天狗らしい; int5 -> int6: そのリカーショップは研究チームである; fact21 -> int7: もしも「そのリカーショップは誓い合わなくてそれに瞠目すらない」ということは嘘だとすれば瞠目す; fact24 -> int8: もし仮にあの偽薬が春日杯だとすればそれは空恐ろしいということはないけれど具備する; fact23 -> int9: あの血液中は春日杯であるか影響され易い; int9 & fact19 & fact22 -> int10: あの偽薬は春日杯だ; int8 & int10 -> int11: あの偽薬は空恐ろしくないけど具備する; fact25 & int11 -> int12: あのレベラーは具備する; fact29 & int12 -> int13: 「そのリカーショップは誓い合うということはなくて更に瞠目すらない」ということは成り立たない; int7 & int13 -> int14: そのリカーショップは瞠目す; int6 & int14 -> int15: そのリカーショップは研究チームであるしそれに瞠目す; fact20 & int15 -> int16: あの被膜剤は心細くない; int2 & int16 -> int17: あの被膜剤は和田式勉強術であるかもしくは踏み均すかあるいは両方ともである;
$facts$ = fact1: 春日杯は空恐ろしくないがしかし具備する fact2: もし仮にあのレベラーは具備するとすると「そのリカーショップは誓い合わなくて瞠目すらない」ということは成り立たない fact3: もし仮にあの請求人夫婦が起き始めないとすればあのリカーショップは研究チームであるし天狗らしい fact4: 心細くない物は和田式勉強術であるかまたは踏み均すかどちらもである fact5: もし「なんらかのものは誓い合わないししかも瞠目すらない」ということは誤っているとすればそれは瞠目す fact6: もしもあの血液中が春日杯だとすればあの偽薬は春日杯である fact7: もしもそのリカーショップが研究チームであるし更に瞠目すとするとあの被膜剤は心細くない fact8: それは情け深くて更に通しボルトだというものはない fact9: あの愛情表現は酸いけれど切り取らない fact10: それは情け深いけれど通しボルトでないという物はない fact11: あの血液中が影響され易いとするとあの偽薬は春日杯である fact12: もしもあの偽薬が空恐ろしくない一方で具備するとするとあのレベラーは具備する fact13: 仮にあの被膜剤が和田式勉強術であるとすればその小松基地は出し切れない fact14: 「その右弓歩は情け深いし通しボルトだ」ということは本当でない fact15: すべては春日杯であるかもしくは影響され易い fact16: 「酸くてさらに切り取らない」ものがあるとするとあの請求人夫婦は起き始めない fact17: もしもある物は出し切れるということはないとすれば「通しボルトであるしかつ賢しということはない」ということは嘘だ ; $hypothesis$ = 「その右弓歩は情け深いけれどそれは通しボルトであるということはない」ということは嘘だ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 春日杯は空恐ろしくないがしかし具備する
事実2: もし仮にあのレベラーは具備するとすると「そのリカーショップは誓い合わなくて瞠目すらない」ということは成り立たない
事実3: もし仮にあの請求人夫婦が起き始めないとすればあのリカーショップは研究チームであるし天狗らしい
事実4: 心細くない物は和田式勉強術であるかまたは踏み均すかどちらもである
事実5: もし「なんらかのものは誓い合わないししかも瞠目すらない」ということは誤っているとすればそれは瞠目す
事実6: もしもあの血液中が春日杯だとすればあの偽薬は春日杯である
事実7: もしもそのリカーショップが研究チームであるし更に瞠目すとするとあの被膜剤は心細くない
事実8: それは情け深くて更に通しボルトだというものはない
事実9: あの愛情表現は酸いけれど切り取らない
事実10: それは情け深いけれど通しボルトでないという物はない
事実11: あの血液中が影響され易いとするとあの偽薬は春日杯である
事実12: もしもあの偽薬が空恐ろしくない一方で具備するとするとあのレベラーは具備する
事実13: 仮にあの被膜剤が和田式勉強術であるとすればその小松基地は出し切れない
事実14: 「その右弓歩は情け深いし通しボルトだ」ということは本当でない
事実15: すべては春日杯であるかもしくは影響され易い
事実16: 「酸くてさらに切り取らない」ものがあるとするとあの請求人夫婦は起き始めない
事実17: もしもある物は出し切れるということはないとすれば「通しボルトであるしかつ賢しということはない」ということは嘘だ

仮説: 「その右弓歩は情け深いけれどそれは通しボルトであるということはない」ということは嘘だ
1. 事実10から、仮説が導かれる

よって、仮説が証明されました。