この共用品は略記しない
fact1: この未来市場規模は入浴出来ないか江戸弁であるか両方だ fact2: この未来市場規模は見合わせる fact3: この氷枕は見合わせる fact4: この未来市場規模は略記しないとすると「それは二百三号室だ」ということは確かだ fact5: もしもなにかは二百三号室でないしおまけに見合わせないとしたら略記しない fact6: この未来市場規模は両辺である fact7: この共用品が見合わせないかもしくは二百三号室であるかあるいは両方であるならばあの未来市場規模は略記しない fact8: もしもこの未来市場規模が二百三号室でないかあるいは見合わせるならこの共用品は持ち寄らない fact9: この未来市場規模は二百三号室であるかまたはそれは見合わせる fact10: もしもとある物が持ち寄らないとしたら略記する fact11: あの貸借関係は見合わせない fact12: 仮にこの未来市場規模が略記しないかあるいはそれが持ち寄るかあるいは両方ともであるならばこの共用品は二百三号室でない fact13: この未来市場規模は持ち寄らない
fact2 -> int1: この未来市場規模は二百三号室でないか見合わせるかまたは両方である; int1 & fact8 -> int2: この共用品は持ち寄らない; fact10 -> int3: この共用品が持ち寄らないとしたらそれは略記する; int2 & int3 -> hypothesis;
この共用品は略記するということはない
fact14 -> int4: この共用品は二百三号室でないし加えて見合わせるということはないならそれは略記しない;
$facts$ = fact1: この未来市場規模は入浴出来ないか江戸弁であるか両方だ fact2: この未来市場規模は見合わせる fact3: この氷枕は見合わせる fact4: この未来市場規模は略記しないとすると「それは二百三号室だ」ということは確かだ fact5: もしもなにかは二百三号室でないしおまけに見合わせないとしたら略記しない fact6: この未来市場規模は両辺である fact7: この共用品が見合わせないかもしくは二百三号室であるかあるいは両方であるならばあの未来市場規模は略記しない fact8: もしもこの未来市場規模が二百三号室でないかあるいは見合わせるならこの共用品は持ち寄らない fact9: この未来市場規模は二百三号室であるかまたはそれは見合わせる fact10: もしもとある物が持ち寄らないとしたら略記する fact11: あの貸借関係は見合わせない fact12: 仮にこの未来市場規模が略記しないかあるいはそれが持ち寄るかあるいは両方ともであるならばこの共用品は二百三号室でない fact13: この未来市場規模は持ち寄らない ; $hypothesis$ = この共用品は略記しない ; $proof$ = 
fact2 -> int1: この未来市場規模は二百三号室でないか見合わせるかまたは両方である; int1 & fact8 -> int2: この共用品は持ち寄らない; fact10 -> int3: この共用品が持ち寄らないとしたらそれは略記する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この未来市場規模は入浴出来ないか江戸弁であるか両方だ
事実2: この未来市場規模は見合わせる
事実3: この氷枕は見合わせる
事実4: この未来市場規模は略記しないとすると「それは二百三号室だ」ということは確かだ
事実5: もしもなにかは二百三号室でないしおまけに見合わせないとしたら略記しない
事実6: この未来市場規模は両辺である
事実7: この共用品が見合わせないかもしくは二百三号室であるかあるいは両方であるならばあの未来市場規模は略記しない
事実8: もしもこの未来市場規模が二百三号室でないかあるいは見合わせるならこの共用品は持ち寄らない
事実9: この未来市場規模は二百三号室であるかまたはそれは見合わせる
事実10: もしもとある物が持ち寄らないとしたら略記する
事実11: あの貸借関係は見合わせない
事実12: 仮にこの未来市場規模が略記しないかあるいはそれが持ち寄るかあるいは両方ともであるならばこの共用品は二百三号室でない
事実13: この未来市場規模は持ち寄らない

仮説: この共用品は略記しない
1. 事実2から、推論1: "この未来市場規模は二百三号室でないか見合わせるかまたは両方である"が導かれる
2. 推論1と事実8から、推論2: "この共用品は持ち寄らない"が導かれる
3. 事実10から、推論3: "この共用品が持ち寄らないとしたらそれは略記する"が導かれる
4. 推論2と推論3から、仮説が否定される

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