「仮にあの口呼吸がくすむとすればこの貯金通帳はふとするかまたは微笑ましくらない」ということは間違いだ
fact1: 仮にあの口呼吸が兼業するかまたはくすむかもしくはどちらもならそのダイニングルームはふとしない fact2: そのダイニングルームは微笑ましい fact3: もし「あの口呼吸はくすむ」ということは真実だとするとこの貯金通帳は微笑ましいかそれは兼業しない fact4: もし仮にとある物がくすむということはないならそれはふとするか兼業するかまたは両方ともである fact5: もし「そのダイニングルームは歯科技工士である」ということは真実だとするとそれは塩味する fact6: そのダイニングルームはくすむかふとするということはない fact7: もしあの口呼吸は微笑ましいかあるいは兼業するとすればあの貯金通帳はくすまない fact8: 仮に「あの口呼吸はくすむ」ということは確かであるとしたらこの貯金通帳はふとするかまたはそれは微笑ましい fact9: 「この貯金通帳は調べ易い」ということは本当だとすれば「そのダイニングルームは微笑ましくらない」ということは真実である fact10: 「そのダイニングルームは兼業しない」ということは間違っていない fact11: この貯金通帳は借り易いかそれは加工し易いかあるいは両方である fact12: 仮にこの貯金通帳がふとしないとすればあの口呼吸はふとするかまたはくすむということはないかあるいは両方ともである fact13: そのダイニングルームは微笑ましいかまたは完敗でないかあるいはどちらもである fact14: そのダイニングルームがふとしないとすればあの貯金通帳はふとするかもしくは微笑ましかない fact15: そのダイニングルームは歯科技工士だ fact16: もしあの口呼吸が兼業するかもしくは微笑ましいかもしくは両方だとしたらこの貯金通帳はふとしない fact17: この貯金通帳はふとするかあるいは微笑ましいかまたはどちらもだ fact18: あの背景データは微笑ましい fact19: もしもこの貯金通帳が微笑ましくらないとしたらそのダイニングルームは微笑ましいかふとしないかまたは両方だ fact20: もしそのダイニングルームがふとしないとすればこの貯金通帳はふとするかもしくは微笑ましい fact21: 仮にあの口呼吸が兼業するとするとそのダイニングルームはふとしない fact22: もし「この貯金通帳はくすまない」ということは成り立つならあの口呼吸はくすむかもしくはふとするということはないかもしくは両方だ
void -> assump1: 以下のように仮定する。あの口呼吸はくすむ; assump1 -> int1: 「あの口呼吸は兼業するかもしくはそれはくすむかまたはどちらもだ」ということは成り立つ; int1 & fact1 -> int2: そのダイニングルームはふとしない; int2 & fact14 -> int3: この貯金通帳はふとするかもしくはそれは微笑ましかない; [assump1] & int3 -> hypothesis;
あの二言はふとしない
fact24 -> int4: あの口呼吸はくすまないならそれはふとするかもしくはそれは兼業する; fact23 & fact26 -> 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$ = 
void -> assump1: 以下のように仮定する。あの口呼吸はくすむ; assump1 -> int1: 「あの口呼吸は兼業するかもしくはそれはくすむかまたはどちらもだ」ということは成り立つ; int1 & fact1 -> int2: そのダイニングルームはふとしない; int2 & fact14 -> int3: この貯金通帳はふとするかもしくはそれは微笑ましかない; [assump1] & int3 -> 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. 仮定1: 以下のように仮定する。あの口呼吸はくすむ
2. 仮定1から、推論1: "「あの口呼吸は兼業するかもしくはそれはくすむかまたはどちらもだ」ということは成り立つ"が導かれる
3. 推論1と事実1から、推論2: "そのダイニングルームはふとしない"が導かれる
4. 推論2と事実14から、推論3: "この貯金通帳はふとするかもしくはそれは微笑ましかない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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