あの実際面は見られ易いし見極め難い
fact1: もし仮にその一団体平均は成績不振でないとしたら「二十二日生まれでないしそれにストレス解消でない」ということは間違っている fact2: もし「その一団体平均は近世初期であるし二十二日生まれだ」ということは間違いだとするとあのスクレーパは成績不振でない fact3: 「二十二日生まれでない」物はある fact4: 仮にあのスクレーパは舐らないなら「視覚化しないしそれは離れ難い」ということは誤っている fact5: あのスクレーパは舐るということはない fact6: 「その一団体平均は二十二日生まれであるということはないけどそれはストレス解消である」ということは成り立つということはない fact7: 「あのスクレーパは二十二日生まれでなくてまた視覚化しない」ということは成り立たない fact8: 仮に「あのスクレーパは視覚化するということはないけど離れ難い」ということは成り立たないとしたらその一団体平均は心地良い fact9: もしもこの担保化は見られ易くないならば「あの実際面は見られ易いししかも見極め難い」ということは誤りだ fact10: 仮に「何らかの物は二十二日生まれでなくてストレス解消でない」ということは成り立たないとすればそれはストレス解消である fact11: もしあるものが心地良くておまけにストレス解消だとすればこの担保化は見られ易いということはない fact12: その一団体平均は成績不振でない fact13: 「「二十二日生まれでない」ということは成り立つ」ものはあるとしたら「その一団体平均が近世初期だししかもそれは二十二日生まれだ」ということは事実と異なる fact14: 「心地良い」ものはある fact15: そのマリノフカ団地避難民は舐るということはない
fact4 & fact5 -> int1: 「あのスクレーパは視覚化しないけれど離れ難い」ということは間違いだ; int1 & fact8 -> int2: その一団体平均は心地良い; fact10 -> int3: 「もし仮に「その一団体平均は二十二日生まれでなくてストレス解消でない」ということは成り立たないならばその一団体平均はストレス解消である」ということは確かである; fact1 & fact12 -> int4: 「その一団体平均は二十二日生まれでなくてそれはストレス解消でない」ということは確かでない; int3 & int4 -> int5: その一団体平均はストレス解消である; int2 & int5 -> int6: その一団体平均は心地良くてまたストレス解消である; int6 -> int7: 「心地良くてまたストレス解消である」物はある; int7 & fact11 -> int8: この担保化は見られ易くない; int8 & fact9 -> hypothesis;
あの実際面は見られ易いししかも見極め難い
fact16 & fact17 -> int9: 「その一団体平均は近世初期でその上二十二日生まれである」ということは偽だ; fact18 & int9 -> int10: あのスクレーパは成績不振であるということはない;
$facts$ = fact1: もし仮にその一団体平均は成績不振でないとしたら「二十二日生まれでないしそれにストレス解消でない」ということは間違っている fact2: もし「その一団体平均は近世初期であるし二十二日生まれだ」ということは間違いだとするとあのスクレーパは成績不振でない fact3: 「二十二日生まれでない」物はある fact4: 仮にあのスクレーパは舐らないなら「視覚化しないしそれは離れ難い」ということは誤っている fact5: あのスクレーパは舐るということはない fact6: 「その一団体平均は二十二日生まれであるということはないけどそれはストレス解消である」ということは成り立つということはない fact7: 「あのスクレーパは二十二日生まれでなくてまた視覚化しない」ということは成り立たない fact8: 仮に「あのスクレーパは視覚化するということはないけど離れ難い」ということは成り立たないとしたらその一団体平均は心地良い fact9: もしもこの担保化は見られ易くないならば「あの実際面は見られ易いししかも見極め難い」ということは誤りだ fact10: 仮に「何らかの物は二十二日生まれでなくてストレス解消でない」ということは成り立たないとすればそれはストレス解消である fact11: もしあるものが心地良くておまけにストレス解消だとすればこの担保化は見られ易いということはない fact12: その一団体平均は成績不振でない fact13: 「「二十二日生まれでない」ということは成り立つ」ものはあるとしたら「その一団体平均が近世初期だししかもそれは二十二日生まれだ」ということは事実と異なる fact14: 「心地良い」ものはある fact15: そのマリノフカ団地避難民は舐るということはない ; $hypothesis$ = あの実際面は見られ易いし見極め難い ; $proof$ = 
fact4 & fact5 -> int1: 「あのスクレーパは視覚化しないけれど離れ難い」ということは間違いだ; int1 & fact8 -> int2: その一団体平均は心地良い; fact10 -> int3: 「もし仮に「その一団体平均は二十二日生まれでなくてストレス解消でない」ということは成り立たないならばその一団体平均はストレス解消である」ということは確かである; fact1 & fact12 -> int4: 「その一団体平均は二十二日生まれでなくてそれはストレス解消でない」ということは確かでない; int3 & int4 -> int5: その一団体平均はストレス解消である; int2 & int5 -> int6: その一団体平均は心地良くてまたストレス解消である; int6 -> int7: 「心地良くてまたストレス解消である」物はある; int7 & fact11 -> int8: この担保化は見られ易くない; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮にその一団体平均は成績不振でないとしたら「二十二日生まれでないしそれにストレス解消でない」ということは間違っている
事実2: もし「その一団体平均は近世初期であるし二十二日生まれだ」ということは間違いだとするとあのスクレーパは成績不振でない
事実3: 「二十二日生まれでない」物はある
事実4: 仮にあのスクレーパは舐らないなら「視覚化しないしそれは離れ難い」ということは誤っている
事実5: あのスクレーパは舐るということはない
事実6: 「その一団体平均は二十二日生まれであるということはないけどそれはストレス解消である」ということは成り立つということはない
事実7: 「あのスクレーパは二十二日生まれでなくてまた視覚化しない」ということは成り立たない
事実8: 仮に「あのスクレーパは視覚化するということはないけど離れ難い」ということは成り立たないとしたらその一団体平均は心地良い
事実9: もしもこの担保化は見られ易くないならば「あの実際面は見られ易いししかも見極め難い」ということは誤りだ
事実10: 仮に「何らかの物は二十二日生まれでなくてストレス解消でない」ということは成り立たないとすればそれはストレス解消である
事実11: もしあるものが心地良くておまけにストレス解消だとすればこの担保化は見られ易いということはない
事実12: その一団体平均は成績不振でない
事実13: 「「二十二日生まれでない」ということは成り立つ」ものはあるとしたら「その一団体平均が近世初期だししかもそれは二十二日生まれだ」ということは事実と異なる
事実14: 「心地良い」ものはある
事実15: そのマリノフカ団地避難民は舐るということはない

仮説: あの実際面は見られ易いし見極め難い
1. 事実4と事実5から、推論1: "「あのスクレーパは視覚化しないけれど離れ難い」ということは間違いだ"が導かれる
2. 推論1と事実8から、推論2: "その一団体平均は心地良い"が導かれる
3. 事実10から、推論3: "「もし仮に「その一団体平均は二十二日生まれでなくてストレス解消でない」ということは成り立たないならばその一団体平均はストレス解消である」ということは確かである"が導かれる
4. 事実1と事実12から、推論4: "「その一団体平均は二十二日生まれでなくてそれはストレス解消でない」ということは確かでない"が導かれる
5. 推論3と推論4から、推論5: "その一団体平均はストレス解消である"が導かれる
6. 推論2と推論5から、推論6: "その一団体平均は心地良くてまたストレス解消である"が導かれる
7. 推論6から、推論7: "「心地良くてまたストレス解消である」物はある"が導かれる
8. 推論7と事実11から、推論8: "この担保化は見られ易くない"が導かれる
9. 推論8と事実9から、仮説が否定される

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