この姉妹共存巣は得難し一方で横滑りしない
fact1: 「この表彰式は横滑りしないがしかしそれは働き難い」ということは間違いである fact2: 仮にある物が色っぽくないならそれは得難しししかも横滑りしない fact3: 「この表彰式は働き難くない一方で幅広い」ということは成り立たない fact4: もし何らかの物は思い知らすとしたら「それは得難ししそれは色っぽいということはない」ということは成り立たない fact5: 仮に「この姉妹共存巣は得難しない一方で横滑りする」ということは成り立たないとしたら「働き難いということはない」ということは本当だ fact6: もしも「この姉妹共存巣は働き難くないけど横滑りする」ということは誤りなら幅広くない fact7: 「この表彰式は働き難いしさらにそれは幅広い」ということは成り立たない fact8: もしも「この表彰式は働き難くないがしかしそれは幅広い」ということは誤りならば色っぽくない fact9: もしも「この姉妹共存巣は横滑りするということはない一方で色っぽい」ということは誤っているとすると「働き難くない」ということは成り立つ fact10: もし仮にこの表彰式は色っぽくないとすれば「この姉妹共存巣は得難しけれど横滑りするということはない」ということは間違っている fact11: あの群れ型が分析評価でなくて加えて抗し切れないとすればこのブラックボックスは抗し切れるということはない fact12: 「この姉妹共存巣は得難ししさらに横滑りする」ということは成り立たない fact13: もし仮に「この表彰式は色っぽくない」ということは嘘でないとすると「この姉妹共存巣は得難しし横滑りする」ということは確かでない fact14: もしこの表彰式は横滑りしないとしたら「あの安全レベルは成長出来ないけど移住出来る」ということは誤りだ fact15: もし仮にこの表彰式は得難しないならば「この姉妹共存巣は幅広いがしかし横滑りしない」ということは成り立たない fact16: 仮に「この表彰式は働き難い」ということは本当ならば色っぽくない fact17: このブラックボックスは抗し切れないとすれば「この姉妹共存巣は思い知らさないがしかし安息日だ」ということは誤りだ fact18: あの群れ型が煮立てないとしたら雑居するしかつ用意出来る fact19: 「この表彰式は横滑りしないがしかし幅広い」ということは誤っている fact20: もし仮に「なにがしかのものは思い知らさないが安息日である」ということは成り立たないなら思い知らす fact21: あの群れ型が用意出来ればそれは分析評価でないしさらに抗し切れない
fact8 & fact3 -> int1: この表彰式は色っぽくない; int1 & fact10 -> hypothesis;
「あの安全レベルは成長出来ないがしかし移住出来る」ということは真実でない
fact28 -> int2: この姉妹共存巣は思い知らすとしたら「得難しけど色っぽくない」ということは誤っている; fact27 -> int3: もしも「この姉妹共存巣は思い知らさない一方で安息日だ」ということは成り立たないとすればそれは思い知らす;
$facts$ = fact1: 「この表彰式は横滑りしないがしかしそれは働き難い」ということは間違いである fact2: 仮にある物が色っぽくないならそれは得難しししかも横滑りしない fact3: 「この表彰式は働き難くない一方で幅広い」ということは成り立たない fact4: もし何らかの物は思い知らすとしたら「それは得難ししそれは色っぽいということはない」ということは成り立たない fact5: 仮に「この姉妹共存巣は得難しない一方で横滑りする」ということは成り立たないとしたら「働き難いということはない」ということは本当だ fact6: もしも「この姉妹共存巣は働き難くないけど横滑りする」ということは誤りなら幅広くない fact7: 「この表彰式は働き難いしさらにそれは幅広い」ということは成り立たない fact8: もしも「この表彰式は働き難くないがしかしそれは幅広い」ということは誤りならば色っぽくない fact9: もしも「この姉妹共存巣は横滑りするということはない一方で色っぽい」ということは誤っているとすると「働き難くない」ということは成り立つ fact10: もし仮にこの表彰式は色っぽくないとすれば「この姉妹共存巣は得難しけれど横滑りするということはない」ということは間違っている fact11: あの群れ型が分析評価でなくて加えて抗し切れないとすればこのブラックボックスは抗し切れるということはない fact12: 「この姉妹共存巣は得難ししさらに横滑りする」ということは成り立たない fact13: もし仮に「この表彰式は色っぽくない」ということは嘘でないとすると「この姉妹共存巣は得難しし横滑りする」ということは確かでない fact14: もしこの表彰式は横滑りしないとしたら「あの安全レベルは成長出来ないけど移住出来る」ということは誤りだ fact15: もし仮にこの表彰式は得難しないならば「この姉妹共存巣は幅広いがしかし横滑りしない」ということは成り立たない fact16: 仮に「この表彰式は働き難い」ということは本当ならば色っぽくない fact17: このブラックボックスは抗し切れないとすれば「この姉妹共存巣は思い知らさないがしかし安息日だ」ということは誤りだ fact18: あの群れ型が煮立てないとしたら雑居するしかつ用意出来る fact19: 「この表彰式は横滑りしないがしかし幅広い」ということは誤っている fact20: もし仮に「なにがしかのものは思い知らさないが安息日である」ということは成り立たないなら思い知らす fact21: あの群れ型が用意出来ればそれは分析評価でないしさらに抗し切れない ; $hypothesis$ = この姉妹共存巣は得難し一方で横滑りしない ; $proof$ = 
fact8 & fact3 -> int1: この表彰式は色っぽくない; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 「この表彰式は横滑りしないがしかしそれは働き難い」ということは間違いである
事実2: 仮にある物が色っぽくないならそれは得難しししかも横滑りしない
事実3: 「この表彰式は働き難くない一方で幅広い」ということは成り立たない
事実4: もし何らかの物は思い知らすとしたら「それは得難ししそれは色っぽいということはない」ということは成り立たない
事実5: 仮に「この姉妹共存巣は得難しない一方で横滑りする」ということは成り立たないとしたら「働き難いということはない」ということは本当だ
事実6: もしも「この姉妹共存巣は働き難くないけど横滑りする」ということは誤りなら幅広くない
事実7: 「この表彰式は働き難いしさらにそれは幅広い」ということは成り立たない
事実8: もしも「この表彰式は働き難くないがしかしそれは幅広い」ということは誤りならば色っぽくない
事実9: もしも「この姉妹共存巣は横滑りするということはない一方で色っぽい」ということは誤っているとすると「働き難くない」ということは成り立つ
事実10: もし仮にこの表彰式は色っぽくないとすれば「この姉妹共存巣は得難しけれど横滑りするということはない」ということは間違っている
事実11: あの群れ型が分析評価でなくて加えて抗し切れないとすればこのブラックボックスは抗し切れるということはない
事実12: 「この姉妹共存巣は得難ししさらに横滑りする」ということは成り立たない
事実13: もし仮に「この表彰式は色っぽくない」ということは嘘でないとすると「この姉妹共存巣は得難しし横滑りする」ということは確かでない
事実14: もしこの表彰式は横滑りしないとしたら「あの安全レベルは成長出来ないけど移住出来る」ということは誤りだ
事実15: もし仮にこの表彰式は得難しないならば「この姉妹共存巣は幅広いがしかし横滑りしない」ということは成り立たない
事実16: 仮に「この表彰式は働き難い」ということは本当ならば色っぽくない
事実17: このブラックボックスは抗し切れないとすれば「この姉妹共存巣は思い知らさないがしかし安息日だ」ということは誤りだ
事実18: あの群れ型が煮立てないとしたら雑居するしかつ用意出来る
事実19: 「この表彰式は横滑りしないがしかし幅広い」ということは誤っている
事実20: もし仮に「なにがしかのものは思い知らさないが安息日である」ということは成り立たないなら思い知らす
事実21: あの群れ型が用意出来ればそれは分析評価でないしさらに抗し切れない

仮説: この姉妹共存巣は得難し一方で横滑りしない
1. 事実8と事実3から、推論1: "この表彰式は色っぽくない"が導かれる
2. 推論1と事実10から、仮説が否定される

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