あの業態間は女らしい
fact1: あの業態間は禁煙出来るとすれば「介入出来ないけどしがない」ということは偽である fact2: 「あの業態間は禁煙出来る」ということは成り立つ fact3: もしもなにかはしがなくないとするとそれは女らしくない fact4: 「そのニッコウ黄菅は禁煙出来る」ということは成り立つ fact5: もし仮に「あるものは介入出来ないがしかししがない」ということは事実と異なるとすれば「女らしくない」ということは確かだ fact6: 何らかのものが禁煙出来ないなら女らしい
fact1 & fact2 -> int1: 「あの業態間は介入出来ないがそれはしがない」ということは誤りである; fact5 -> int2: もしも「あの業態間は介入出来ない一方でしがない」ということは事実でないならば「女らしいということはない」ということは成り立つ; int1 & int2 -> hypothesis;
あの業態間は女らしい
fact7 -> int3: 仮にあの業態間が禁煙出来ないとするとそれは女らしい;
$facts$ = fact1: あの業態間は禁煙出来るとすれば「介入出来ないけどしがない」ということは偽である fact2: 「あの業態間は禁煙出来る」ということは成り立つ fact3: もしもなにかはしがなくないとするとそれは女らしくない fact4: 「そのニッコウ黄菅は禁煙出来る」ということは成り立つ fact5: もし仮に「あるものは介入出来ないがしかししがない」ということは事実と異なるとすれば「女らしくない」ということは確かだ fact6: 何らかのものが禁煙出来ないなら女らしい ; $hypothesis$ = あの業態間は女らしい ; $proof$ = 
fact1 & fact2 -> int1: 「あの業態間は介入出来ないがそれはしがない」ということは誤りである; fact5 -> int2: もしも「あの業態間は介入出来ない一方でしがない」ということは事実でないならば「女らしいということはない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの業態間は禁煙出来るとすれば「介入出来ないけどしがない」ということは偽である
事実2: 「あの業態間は禁煙出来る」ということは成り立つ
事実3: もしもなにかはしがなくないとするとそれは女らしくない
事実4: 「そのニッコウ黄菅は禁煙出来る」ということは成り立つ
事実5: もし仮に「あるものは介入出来ないがしかししがない」ということは事実と異なるとすれば「女らしくない」ということは確かだ
事実6: 何らかのものが禁煙出来ないなら女らしい

仮説: あの業態間は女らしい
1. 事実1と事実2から、推論1: "「あの業態間は介入出来ないがそれはしがない」ということは誤りである"が導かれる
2. 事実5から、推論2: "もしも「あの業態間は介入出来ない一方でしがない」ということは事実でないならば「女らしいということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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