この開け放しは息苦しい
fact1: 「その注目株は集中すしおまけに聴神経だ」ということは嘘だ fact2: 発現し易いけれど状態維持しないというものはない fact3: 仮に「なんらかのものは薄過ぎる」ということは成り立てば「それは息苦しくないけど進み易い」ということは確かである fact4: 何かは息苦しくないとすれば「それは易しないしそれはいじらしいということはない」ということは成り立つということはない fact5: 仮に何かは易しとすれば「支配形態であるしその上立て直せない」ということは間違いだ fact6: 仮に「とある物は発現し易いけど状態維持しない」ということは誤りだとすれば息苦しくない fact7: なにかは進み易くなくて更にいじらしくないとすれば易し fact8: 「この開け放しは推敲するけれどそれは灯し難くない」ということは成り立たない fact9: 「何かは易しないしまたいじらしいということはない」ということは嘘であるとしたら易し fact10: それは発現し易くてさらに状態維持するという物はない fact11: 「この開け放しは発現し易いし更に状態維持する」ということは偽だ
fact6 -> int1: もしも「この開け放しは発現し易いが状態維持しない」ということは誤っているとすれば息苦しくない; fact2 -> int2: 「この開け放しは発現し易いがしかしそれは状態維持しない」ということは成り立たない; int1 & int2 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
この開け放しは息苦しい
fact12 -> int3: もし仮にこの開け放しは進み易いということはなくていじらしくないなら易し;
$facts$ = fact1: 「その注目株は集中すしおまけに聴神経だ」ということは嘘だ fact2: 発現し易いけれど状態維持しないというものはない fact3: 仮に「なんらかのものは薄過ぎる」ということは成り立てば「それは息苦しくないけど進み易い」ということは確かである fact4: 何かは息苦しくないとすれば「それは易しないしそれはいじらしいということはない」ということは成り立つということはない fact5: 仮に何かは易しとすれば「支配形態であるしその上立て直せない」ということは間違いだ fact6: 仮に「とある物は発現し易いけど状態維持しない」ということは誤りだとすれば息苦しくない fact7: なにかは進み易くなくて更にいじらしくないとすれば易し fact8: 「この開け放しは推敲するけれどそれは灯し難くない」ということは成り立たない fact9: 「何かは易しないしまたいじらしいということはない」ということは嘘であるとしたら易し fact10: それは発現し易くてさらに状態維持するという物はない fact11: 「この開け放しは発現し易いし更に状態維持する」ということは偽だ ; $hypothesis$ = この開け放しは息苦しい ; $proof$ = 
fact6 -> int1: もしも「この開け放しは発現し易いが状態維持しない」ということは誤っているとすれば息苦しくない; fact2 -> int2: 「この開け放しは発現し易いがしかしそれは状態維持しない」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その注目株は集中すしおまけに聴神経だ」ということは嘘だ
事実2: 発現し易いけれど状態維持しないというものはない
事実3: 仮に「なんらかのものは薄過ぎる」ということは成り立てば「それは息苦しくないけど進み易い」ということは確かである
事実4: 何かは息苦しくないとすれば「それは易しないしそれはいじらしいということはない」ということは成り立つということはない
事実5: 仮に何かは易しとすれば「支配形態であるしその上立て直せない」ということは間違いだ
事実6: 仮に「とある物は発現し易いけど状態維持しない」ということは誤りだとすれば息苦しくない
事実7: なにかは進み易くなくて更にいじらしくないとすれば易し
事実8: 「この開け放しは推敲するけれどそれは灯し難くない」ということは成り立たない
事実9: 「何かは易しないしまたいじらしいということはない」ということは嘘であるとしたら易し
事実10: それは発現し易くてさらに状態維持するという物はない
事実11: 「この開け放しは発現し易いし更に状態維持する」ということは偽だ

仮説: この開け放しは息苦しい
1. 事実6から、推論1: "もしも「この開け放しは発現し易いが状態維持しない」ということは誤っているとすれば息苦しくない"が導かれる
2. 事実2から、推論2: "「この開け放しは発現し易いがしかしそれは状態維持しない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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