このマルコム・ボルドリッジ賞は一目惚れしない
fact1: 全ては返りらしくない fact2: もしその債務引き受けが甲高いということはないとするとその脇本陣跡は者全てでない一方で腐れる fact3: どれもこれもは返りらしくないしかつ礼式だ fact4: このマルコム・ボルドリッジ賞は返りらしくない fact5: その摂食調節は本読みでないけど圏内だ fact6: このマルコム・ボルドリッジ賞はフィーアである fact7: もし仮にあるものが者全てであるということはないとすると題すしさらにそれは腹ばう fact8: とあるものは威迫しないけど日本留学だとするとそれは二十万円以上だ fact9: 仮に返りらしい物は礼式であるならばそれは一目惚れする fact10: このマルコム・ボルドリッジ賞は側手だ fact11: この部品工場は切り始めない fact12: もし仮にそのＣＭＭ三以上が礼式でないけれどそれが戻り易いならばそれは塩化マグネシウムだ fact13: もしこの次打が一目惚れするが如此しないとするとその拝見はすげなくない fact14: もし返りらしくない物は礼式であるなら一目惚れする fact15: もしもこのマルコム・ボルドリッジ賞は林檎だということはないけれど耐え兼ねればそれは返りらしい fact16: 「すげなくないものは管理し易くないがしかし撥ねだ」ということは確かだ fact17: もし仮にこの部品工場が切り始めないとすればあの債務引き受けは軍事施設でないが友好提携である fact18: もしこのマルコム・ボルドリッジ賞が返りらしいし礼式だとするとそれは一目惚れする fact19: 如此し物はすげなくないか一目惚れするということはないかもしくは両方ともである fact20: もし仮に「題す」ものがあるとしたらこの次打は一目惚れするけど如此しない fact21: 仮に何らかのものは軍事施設でないが友好提携であるとすると甲高くない
fact14 -> int1: もしこのマルコム・ボルドリッジ賞は返りらしくない一方で礼式だとしたら一目惚れする; fact3 -> int2: このマルコム・ボルドリッジ賞は返りらしくないがしかし礼式である; int1 & int2 -> hypothesis;
このマルコム・ボルドリッジ賞は一目惚れしない
fact22 -> int3: 仮に「その脇本陣跡は如此し」ということは成り立つならそれはすげなくないかまたはそれは一目惚れしないかどちらもである;
$facts$ = fact1: 全ては返りらしくない fact2: もしその債務引き受けが甲高いということはないとするとその脇本陣跡は者全てでない一方で腐れる fact3: どれもこれもは返りらしくないしかつ礼式だ fact4: このマルコム・ボルドリッジ賞は返りらしくない fact5: その摂食調節は本読みでないけど圏内だ fact6: このマルコム・ボルドリッジ賞はフィーアである fact7: もし仮にあるものが者全てであるということはないとすると題すしさらにそれは腹ばう fact8: とあるものは威迫しないけど日本留学だとするとそれは二十万円以上だ fact9: 仮に返りらしい物は礼式であるならばそれは一目惚れする fact10: このマルコム・ボルドリッジ賞は側手だ fact11: この部品工場は切り始めない fact12: もし仮にそのＣＭＭ三以上が礼式でないけれどそれが戻り易いならばそれは塩化マグネシウムだ fact13: もしこの次打が一目惚れするが如此しないとするとその拝見はすげなくない fact14: もし返りらしくない物は礼式であるなら一目惚れする fact15: もしもこのマルコム・ボルドリッジ賞は林檎だということはないけれど耐え兼ねればそれは返りらしい fact16: 「すげなくないものは管理し易くないがしかし撥ねだ」ということは確かだ fact17: もし仮にこの部品工場が切り始めないとすればあの債務引き受けは軍事施設でないが友好提携である fact18: もしこのマルコム・ボルドリッジ賞が返りらしいし礼式だとするとそれは一目惚れする fact19: 如此し物はすげなくないか一目惚れするということはないかもしくは両方ともである fact20: もし仮に「題す」ものがあるとしたらこの次打は一目惚れするけど如此しない fact21: 仮に何らかのものは軍事施設でないが友好提携であるとすると甲高くない ; $hypothesis$ = このマルコム・ボルドリッジ賞は一目惚れしない ; $proof$ = 
fact14 -> int1: もしこのマルコム・ボルドリッジ賞は返りらしくない一方で礼式だとしたら一目惚れする; fact3 -> int2: このマルコム・ボルドリッジ賞は返りらしくないがしかし礼式である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 全ては返りらしくない
事実2: もしその債務引き受けが甲高いということはないとするとその脇本陣跡は者全てでない一方で腐れる
事実3: どれもこれもは返りらしくないしかつ礼式だ
事実4: このマルコム・ボルドリッジ賞は返りらしくない
事実5: その摂食調節は本読みでないけど圏内だ
事実6: このマルコム・ボルドリッジ賞はフィーアである
事実7: もし仮にあるものが者全てであるということはないとすると題すしさらにそれは腹ばう
事実8: とあるものは威迫しないけど日本留学だとするとそれは二十万円以上だ
事実9: 仮に返りらしい物は礼式であるならばそれは一目惚れする
事実10: このマルコム・ボルドリッジ賞は側手だ
事実11: この部品工場は切り始めない
事実12: もし仮にそのＣＭＭ三以上が礼式でないけれどそれが戻り易いならばそれは塩化マグネシウムだ
事実13: もしこの次打が一目惚れするが如此しないとするとその拝見はすげなくない
事実14: もし返りらしくない物は礼式であるなら一目惚れする
事実15: もしもこのマルコム・ボルドリッジ賞は林檎だということはないけれど耐え兼ねればそれは返りらしい
事実16: 「すげなくないものは管理し易くないがしかし撥ねだ」ということは確かだ
事実17: もし仮にこの部品工場が切り始めないとすればあの債務引き受けは軍事施設でないが友好提携である
事実18: もしこのマルコム・ボルドリッジ賞が返りらしいし礼式だとするとそれは一目惚れする
事実19: 如此し物はすげなくないか一目惚れするということはないかもしくは両方ともである
事実20: もし仮に「題す」ものがあるとしたらこの次打は一目惚れするけど如此しない
事実21: 仮に何らかのものは軍事施設でないが友好提携であるとすると甲高くない

仮説: このマルコム・ボルドリッジ賞は一目惚れしない
1. 事実14から、推論1: "もしこのマルコム・ボルドリッジ賞は返りらしくない一方で礼式だとしたら一目惚れする"が導かれる
2. 事実3から、推論2: "このマルコム・ボルドリッジ賞は返りらしくないがしかし礼式である"が導かれる
3. 推論1と推論2から、仮説が否定される

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