あの三期分はレンタル御姉さんだけれど切り離し難くない
fact1: もし仮にあの娘御が湧き出でるとしたらこの立法部は湧き出でない fact2: このゴルフ界はコントロールし易くない fact3: 仮になにがしかの物が閲覧出来るとするとそれは賑々しくない fact4: 「あの少腹は閲覧出来るし見過ごし難い」ということは間違いである fact5: もしも「なにかは閲覧出来ない一方で見過ごし難い」ということは成り立たないとすると賑々しくない fact6: もしあの少腹は賑々しいということはないとすれば「あの三期分はレンタル御姉さんであるししかも切り離し難い」ということは偽だ fact7: もしもあの少腹は賑々しくないなら「あの三期分がレンタル御姉さんだけど切り離し難くない」ということは成り立つということはない fact8: このゴルフ界がコントロールし易いとすればあの三期分はレンタル御姉さんであるが切り離し難くない fact9: 擽ったくない物は参画しなくて実用しない fact10: もし仮になんらかのものが切り離し難いとしたら賑々しい fact11: 「もし仮に「何かはコントロールし易い」ということは確かであるとすれば「それは命じるしそれはプロパティだということはない」ということは偽だ」ということは真実である fact12: もし「何らかの物は賑々しくないけれどコントロールし易い」ということは間違っていればレンタル御姉さんでない fact13: もしもこのゴルフ界はコントロールし易いということはないなら「あの少腹は閲覧出来るししかも見過ごし難い」ということは誤りだ fact14: 「あの三期分はレンタル御姉さんであるしそれは切り離し難い」ということは成り立たない fact15: もし仮にあの少腹が賑々しいとするとそれはコントロールし易い fact16: もし仮にあの少腹が閲覧出来れば賑々しいということはない fact17: もし仮にこのゴルフ界はコントロールし易くないとすると「あの少腹は閲覧出来ないけれど見過ごし難い」ということは成り立たない fact18: もし仮にこの立法部が湧き出でないとすればあのカナダ国旗は擽ったくないし更に徒らっぽくない fact19: あの少腹が参画しないし実用しないとしたらこのゴルフ界は研究授業であるということはない fact20: 「あの少腹は賑々しくてさらにレンタル御姉さんである」ということは誤っている fact21: もしもあのカナダ国旗が擽ったくないし更に徒らっぽいということはないとすればあの少腹は擽ったくない fact22: もしとある物が研究授業でないならばそれはコントロールし易いししかも賑々しい
fact17 & fact2 -> int1: 「あの少腹は閲覧出来ないけれど見過ごし難い」ということは成り立たない; fact5 -> int2: 「あの少腹は閲覧出来ないがしかしそれは見過ごし難い」ということは嘘であるなら賑々しくない; int1 & int2 -> int3: あの少腹は賑々しくない; int3 & fact7 -> hypothesis;
fact17 & fact2 -> int1: ¬(¬{AA}{b} & {AB}{b}); fact5 -> int2: ¬(¬{AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; int3 & fact7 -> hypothesis;
あの三期分はレンタル御姉さんであるが切り離し難くない
fact25 -> int4: 仮にこのゴルフ界は研究授業でないとするとそれはコントロールし易くて賑々しい; fact27 -> int5: もし仮にあの少腹が擽ったくないとすれば参画しなくて実用するということはない;
$facts$ = fact1: もし仮にあの娘御が湧き出でるとしたらこの立法部は湧き出でない fact2: このゴルフ界はコントロールし易くない fact3: 仮になにがしかの物が閲覧出来るとするとそれは賑々しくない fact4: 「あの少腹は閲覧出来るし見過ごし難い」ということは間違いである fact5: もしも「なにかは閲覧出来ない一方で見過ごし難い」ということは成り立たないとすると賑々しくない fact6: もしあの少腹は賑々しいということはないとすれば「あの三期分はレンタル御姉さんであるししかも切り離し難い」ということは偽だ fact7: もしもあの少腹は賑々しくないなら「あの三期分がレンタル御姉さんだけど切り離し難くない」ということは成り立つということはない fact8: このゴルフ界がコントロールし易いとすればあの三期分はレンタル御姉さんであるが切り離し難くない fact9: 擽ったくない物は参画しなくて実用しない fact10: もし仮になんらかのものが切り離し難いとしたら賑々しい fact11: 「もし仮に「何かはコントロールし易い」ということは確かであるとすれば「それは命じるしそれはプロパティだということはない」ということは偽だ」ということは真実である fact12: もし「何らかの物は賑々しくないけれどコントロールし易い」ということは間違っていればレンタル御姉さんでない fact13: もしもこのゴルフ界はコントロールし易いということはないなら「あの少腹は閲覧出来るししかも見過ごし難い」ということは誤りだ fact14: 「あの三期分はレンタル御姉さんであるしそれは切り離し難い」ということは成り立たない fact15: もし仮にあの少腹が賑々しいとするとそれはコントロールし易い fact16: もし仮にあの少腹が閲覧出来れば賑々しいということはない fact17: もし仮にこのゴルフ界はコントロールし易くないとすると「あの少腹は閲覧出来ないけれど見過ごし難い」ということは成り立たない fact18: もし仮にこの立法部が湧き出でないとすればあのカナダ国旗は擽ったくないし更に徒らっぽくない fact19: あの少腹が参画しないし実用しないとしたらこのゴルフ界は研究授業であるということはない fact20: 「あの少腹は賑々しくてさらにレンタル御姉さんである」ということは誤っている fact21: もしもあのカナダ国旗が擽ったくないし更に徒らっぽいということはないとすればあの少腹は擽ったくない fact22: もしとある物が研究授業でないならばそれはコントロールし易いししかも賑々しい ; $hypothesis$ = あの三期分はレンタル御姉さんだけれど切り離し難くない ; $proof$ = 
fact17 & fact2 -> int1: 「あの少腹は閲覧出来ないけれど見過ごし難い」ということは成り立たない; fact5 -> int2: 「あの少腹は閲覧出来ないがしかしそれは見過ごし難い」ということは嘘であるなら賑々しくない; int1 & int2 -> int3: あの少腹は賑々しくない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの娘御が湧き出でるとしたらこの立法部は湧き出でない
事実2: このゴルフ界はコントロールし易くない
事実3: 仮になにがしかの物が閲覧出来るとするとそれは賑々しくない
事実4: 「あの少腹は閲覧出来るし見過ごし難い」ということは間違いである
事実5: もしも「なにかは閲覧出来ない一方で見過ごし難い」ということは成り立たないとすると賑々しくない
事実6: もしあの少腹は賑々しいということはないとすれば「あの三期分はレンタル御姉さんであるししかも切り離し難い」ということは偽だ
事実7: もしもあの少腹は賑々しくないなら「あの三期分がレンタル御姉さんだけど切り離し難くない」ということは成り立つということはない
事実8: このゴルフ界がコントロールし易いとすればあの三期分はレンタル御姉さんであるが切り離し難くない
事実9: 擽ったくない物は参画しなくて実用しない
事実10: もし仮になんらかのものが切り離し難いとしたら賑々しい
事実11: 「もし仮に「何かはコントロールし易い」ということは確かであるとすれば「それは命じるしそれはプロパティだということはない」ということは偽だ」ということは真実である
事実12: もし「何らかの物は賑々しくないけれどコントロールし易い」ということは間違っていればレンタル御姉さんでない
事実13: もしもこのゴルフ界はコントロールし易いということはないなら「あの少腹は閲覧出来るししかも見過ごし難い」ということは誤りだ
事実14: 「あの三期分はレンタル御姉さんであるしそれは切り離し難い」ということは成り立たない
事実15: もし仮にあの少腹が賑々しいとするとそれはコントロールし易い
事実16: もし仮にあの少腹が閲覧出来れば賑々しいということはない
事実17: もし仮にこのゴルフ界はコントロールし易くないとすると「あの少腹は閲覧出来ないけれど見過ごし難い」ということは成り立たない
事実18: もし仮にこの立法部が湧き出でないとすればあのカナダ国旗は擽ったくないし更に徒らっぽくない
事実19: あの少腹が参画しないし実用しないとしたらこのゴルフ界は研究授業であるということはない
事実20: 「あの少腹は賑々しくてさらにレンタル御姉さんである」ということは誤っている
事実21: もしもあのカナダ国旗が擽ったくないし更に徒らっぽいということはないとすればあの少腹は擽ったくない
事実22: もしとある物が研究授業でないならばそれはコントロールし易いししかも賑々しい

仮説: あの三期分はレンタル御姉さんだけれど切り離し難くない
1. 事実17と事実2から、推論1: "「あの少腹は閲覧出来ないけれど見過ごし難い」ということは成り立たない"が導かれる
2. 事実5から、推論2: "「あの少腹は閲覧出来ないがしかしそれは見過ごし難い」ということは嘘であるなら賑々しくない"が導かれる
3. 推論1と推論2から、推論3: "あの少腹は賑々しくない"が導かれる
4. 推論3と事実7から、仮説が否定される

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