あのピンポン玉は見難くない
fact1: そのライターは仏訳だがフェイドアウトしない fact2: この識字は起訴するということはない fact3: あのピンポン玉が出会い易くないとすればそれはへこたれない fact4: 仮にこの雑居ビルが騒がしくてさらに守り易いならあのピンポン玉は入居出来ない fact5: あのピンポン玉は出会い易くない fact6: もしも「この識字は起訴しない」ということは成り立つとしたらこの雑居ビルは比例制御帯でない fact7: この衆ＷＴＯ特委は起訴するということはない fact8: もしもこの雑居ビルが比例制御帯でないし加えて仏訳でないとすると騒がしい fact9: この雑居ビルは守り易い fact10: 「仮にあのピンポン玉が入居出来ないしさらにへこたれないとするとあのピンポン玉は見難い」ということは成り立つ fact11: もし仮に「そのライターは仏訳だけれどフェイドアウトしない」ということは成り立てばこの雑居ビルは仏訳でない
fact6 & fact2 -> int1: 「この雑居ビルは比例制御帯でない」ということは確かだ; fact11 & fact1 -> int2: この雑居ビルは仏訳でない; int1 & int2 -> int3: この雑居ビルは比例制御帯でないし仏訳でない; int3 & fact8 -> int4: この雑居ビルは騒がしい; int4 & fact9 -> int5: この雑居ビルは騒がしくて守り易い; int5 & fact4 -> int6: あのピンポン玉は入居出来ない; fact3 & fact5 -> int7: あのピンポン玉はへこたれない; int6 & int7 -> int8: あのピンポン玉は入居出来なくてしかもそれはへこたれない; int8 & fact10 -> hypothesis;
$facts$ = fact1: そのライターは仏訳だがフェイドアウトしない fact2: この識字は起訴するということはない fact3: あのピンポン玉が出会い易くないとすればそれはへこたれない fact4: 仮にこの雑居ビルが騒がしくてさらに守り易いならあのピンポン玉は入居出来ない fact5: あのピンポン玉は出会い易くない fact6: もしも「この識字は起訴しない」ということは成り立つとしたらこの雑居ビルは比例制御帯でない fact7: この衆ＷＴＯ特委は起訴するということはない fact8: もしもこの雑居ビルが比例制御帯でないし加えて仏訳でないとすると騒がしい fact9: この雑居ビルは守り易い fact10: 「仮にあのピンポン玉が入居出来ないしさらにへこたれないとするとあのピンポン玉は見難い」ということは成り立つ fact11: もし仮に「そのライターは仏訳だけれどフェイドアウトしない」ということは成り立てばこの雑居ビルは仏訳でない ; $hypothesis$ = あのピンポン玉は見難くない ; $proof$ = 
fact6 & fact2 -> int1: 「この雑居ビルは比例制御帯でない」ということは確かだ; fact11 & fact1 -> int2: この雑居ビルは仏訳でない; int1 & int2 -> int3: この雑居ビルは比例制御帯でないし仏訳でない; int3 & fact8 -> int4: この雑居ビルは騒がしい; int4 & fact9 -> int5: この雑居ビルは騒がしくて守り易い; int5 & fact4 -> int6: あのピンポン玉は入居出来ない; fact3 & fact5 -> int7: あのピンポン玉はへこたれない; int6 & int7 -> int8: あのピンポン玉は入居出来なくてしかもそれはへこたれない; int8 & fact10 -> hypothesis; __DISPROVED__
事実1: そのライターは仏訳だがフェイドアウトしない
事実2: この識字は起訴するということはない
事実3: あのピンポン玉が出会い易くないとすればそれはへこたれない
事実4: 仮にこの雑居ビルが騒がしくてさらに守り易いならあのピンポン玉は入居出来ない
事実5: あのピンポン玉は出会い易くない
事実6: もしも「この識字は起訴しない」ということは成り立つとしたらこの雑居ビルは比例制御帯でない
事実7: この衆ＷＴＯ特委は起訴するということはない
事実8: もしもこの雑居ビルが比例制御帯でないし加えて仏訳でないとすると騒がしい
事実9: この雑居ビルは守り易い
事実10: 「仮にあのピンポン玉が入居出来ないしさらにへこたれないとするとあのピンポン玉は見難い」ということは成り立つ
事実11: もし仮に「そのライターは仏訳だけれどフェイドアウトしない」ということは成り立てばこの雑居ビルは仏訳でない

仮説: あのピンポン玉は見難くない
1. 事実6と事実2から、推論1: "「この雑居ビルは比例制御帯でない」ということは確かだ"が導かれる
2. 事実11と事実1から、推論2: "この雑居ビルは仏訳でない"が導かれる
3. 推論1と推論2から、推論3: "この雑居ビルは比例制御帯でないし仏訳でない"が導かれる
4. 推論3と事実8から、推論4: "この雑居ビルは騒がしい"が導かれる
5. 推論4と事実9から、推論5: "この雑居ビルは騒がしくて守り易い"が導かれる
6. 推論5と事実4から、推論6: "あのピンポン玉は入居出来ない"が導かれる
7. 事実3と事実5から、推論7: "あのピンポン玉はへこたれない"が導かれる
8. 推論6と推論7から、推論8: "あのピンポン玉は入居出来なくてしかもそれはへこたれない"が導かれる
9. 推論8と事実10から、仮説が否定される

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