この総報酬制は五女であるし突っ立つ
fact1: 「あの体位変換は暑くなくて起業しない」ということは本当でない fact2: もしも「起業するしそれに暑くない」物があるならあのマイクロバイタ音叉は弱い fact3: もしも「ある物は暑くなくて起業しない」ということは間違いだとしたら老舗でない fact4: この総報酬制は起業する fact5: この総報酬制は追い立てる一方で崩し易くない fact6: もし何らかの物が弱いが老舗だということはないとしたらこの総報酬制は五女だ fact7: なんらかの物は起業するが突っ立つということはない fact8: あのマイクロバイタ音叉は老舗でない fact9: あのマイクロバイタ音叉は突っ立つが崩し易くない fact10: この総報酬制は由縁であるし届き易い fact11: 仮に「この総報酬制は暑い」ということは真実ならばそれは突っ立つ fact12: もし「「崩し易くないかもしくは弱いかあるいは両方である」ということは間違っている」ものがあればあのマイクロバイタ音叉は五女でない fact13: あのマイクロバイタ音叉は弱い一方で崩し易くない fact14: 「弱い」ものはある fact15: なにがしかの物は五女であるしまた起業する fact16: この総報酬制は暑くて更に起業する fact17: この細胞内外は弱いということはない fact18: この総報酬制は子宮腟部だ
fact13 -> int1: あのマイクロバイタ音叉は弱い; int1 & fact8 -> int2: あのマイクロバイタ音叉は弱いが老舗であるということはない; int2 -> int3: 「なにかは弱いものであってかつ老舗でない」ということは成り立つ; int3 & fact6 -> int4: この総報酬制は五女である; fact16 -> int5: この総報酬制は暑い; fact11 & int5 -> int6: この総報酬制は突っ立つ; int4 & int6 -> hypothesis;
「この総報酬制は五女で突っ立つ」ということは成り立たない
fact19 -> int7: もし「あの体位変換は暑くなくてそれは起業しない」ということは事実と異なれば老舗でない; int7 & fact20 -> int8: あの体位変換は老舗でない;
$facts$ = fact1: 「あの体位変換は暑くなくて起業しない」ということは本当でない fact2: もしも「起業するしそれに暑くない」物があるならあのマイクロバイタ音叉は弱い fact3: もしも「ある物は暑くなくて起業しない」ということは間違いだとしたら老舗でない fact4: この総報酬制は起業する fact5: この総報酬制は追い立てる一方で崩し易くない fact6: もし何らかの物が弱いが老舗だということはないとしたらこの総報酬制は五女だ fact7: なんらかの物は起業するが突っ立つということはない fact8: あのマイクロバイタ音叉は老舗でない fact9: あのマイクロバイタ音叉は突っ立つが崩し易くない fact10: この総報酬制は由縁であるし届き易い fact11: 仮に「この総報酬制は暑い」ということは真実ならばそれは突っ立つ fact12: もし「「崩し易くないかもしくは弱いかあるいは両方である」ということは間違っている」ものがあればあのマイクロバイタ音叉は五女でない fact13: あのマイクロバイタ音叉は弱い一方で崩し易くない fact14: 「弱い」ものはある fact15: なにがしかの物は五女であるしまた起業する fact16: この総報酬制は暑くて更に起業する fact17: この細胞内外は弱いということはない fact18: この総報酬制は子宮腟部だ ; $hypothesis$ = この総報酬制は五女であるし突っ立つ ; $proof$ = 
fact13 -> int1: あのマイクロバイタ音叉は弱い; int1 & fact8 -> int2: あのマイクロバイタ音叉は弱いが老舗であるということはない; int2 -> int3: 「なにかは弱いものであってかつ老舗でない」ということは成り立つ; int3 & fact6 -> int4: この総報酬制は五女である; fact16 -> int5: この総報酬制は暑い; fact11 & int5 -> int6: この総報酬制は突っ立つ; int4 & int6 -> hypothesis; __PROVED__
事実1: 「あの体位変換は暑くなくて起業しない」ということは本当でない
事実2: もしも「起業するしそれに暑くない」物があるならあのマイクロバイタ音叉は弱い
事実3: もしも「ある物は暑くなくて起業しない」ということは間違いだとしたら老舗でない
事実4: この総報酬制は起業する
事実5: この総報酬制は追い立てる一方で崩し易くない
事実6: もし何らかの物が弱いが老舗だということはないとしたらこの総報酬制は五女だ
事実7: なんらかの物は起業するが突っ立つということはない
事実8: あのマイクロバイタ音叉は老舗でない
事実9: あのマイクロバイタ音叉は突っ立つが崩し易くない
事実10: この総報酬制は由縁であるし届き易い
事実11: 仮に「この総報酬制は暑い」ということは真実ならばそれは突っ立つ
事実12: もし「「崩し易くないかもしくは弱いかあるいは両方である」ということは間違っている」ものがあればあのマイクロバイタ音叉は五女でない
事実13: あのマイクロバイタ音叉は弱い一方で崩し易くない
事実14: 「弱い」ものはある
事実15: なにがしかの物は五女であるしまた起業する
事実16: この総報酬制は暑くて更に起業する
事実17: この細胞内外は弱いということはない
事実18: この総報酬制は子宮腟部だ

仮説: この総報酬制は五女であるし突っ立つ
1. 事実13から、推論1: "あのマイクロバイタ音叉は弱い"が導かれる
2. 推論1と事実8から、推論2: "あのマイクロバイタ音叉は弱いが老舗であるということはない"が導かれる
3. 推論2から、推論3: "「なにかは弱いものであってかつ老舗でない」ということは成り立つ"が導かれる
4. 推論3と事実6から、推論4: "この総報酬制は五女である"が導かれる
5. 事実16から、推論5: "この総報酬制は暑い"が導かれる
6. 事実11と推論5から、推論6: "この総報酬制は突っ立つ"が導かれる
7. 推論4と推論6から、仮説が導かれる

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