この高校生達はみっともなくない
fact1: 仮に何らかのものが突き当たらないとしたらそれは雪深いかもしくは因り難くないかまたはどちらもである fact2: 「何らかのものは因り難くないがしかし突き当たる」ということは事実と異なるとすればみっともない fact3: 仮に「ハチェットでないかまたは存在出来る」物があるとしたらその死産は突き当たらない fact4: 「雪深い」物はあるとすると「この高校生達は因り難くないがしかし突き当たる」ということは事実でない fact5: 雪深いものはみっともない fact6: この高校生達は存在出来る fact7: 「雪深い」物はある fact8: 仮に「何かは存在出来るしそれに因り難い」ということは成り立たないとすれば因り難くない
fact7 & fact4 -> int1: 「「この高校生達は因り難いということはない一方で突き当たる」ということは成り立つ」ということは事実と異なる; fact2 -> int2: 「この高校生達は因り難くない一方で突き当たる」ということは偽だとすると「みっともない」ということは本当である; int1 & int2 -> hypothesis;
この高校生達はみっともないということはない
fact9 -> int3: もし「この高校生達は存在出来るし因り難い」ということは誤っているなら「それは因り難くない」ということは本当である;
$facts$ = fact1: 仮に何らかのものが突き当たらないとしたらそれは雪深いかもしくは因り難くないかまたはどちらもである fact2: 「何らかのものは因り難くないがしかし突き当たる」ということは事実と異なるとすればみっともない fact3: 仮に「ハチェットでないかまたは存在出来る」物があるとしたらその死産は突き当たらない fact4: 「雪深い」物はあるとすると「この高校生達は因り難くないがしかし突き当たる」ということは事実でない fact5: 雪深いものはみっともない fact6: この高校生達は存在出来る fact7: 「雪深い」物はある fact8: 仮に「何かは存在出来るしそれに因り難い」ということは成り立たないとすれば因り難くない ; $hypothesis$ = この高校生達はみっともなくない ; $proof$ = 
fact7 & fact4 -> int1: 「「この高校生達は因り難いということはない一方で突き当たる」ということは成り立つ」ということは事実と異なる; fact2 -> int2: 「この高校生達は因り難くない一方で突き当たる」ということは偽だとすると「みっともない」ということは本当である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものが突き当たらないとしたらそれは雪深いかもしくは因り難くないかまたはどちらもである
事実2: 「何らかのものは因り難くないがしかし突き当たる」ということは事実と異なるとすればみっともない
事実3: 仮に「ハチェットでないかまたは存在出来る」物があるとしたらその死産は突き当たらない
事実4: 「雪深い」物はあるとすると「この高校生達は因り難くないがしかし突き当たる」ということは事実でない
事実5: 雪深いものはみっともない
事実6: この高校生達は存在出来る
事実7: 「雪深い」物はある
事実8: 仮に「何かは存在出来るしそれに因り難い」ということは成り立たないとすれば因り難くない

仮説: この高校生達はみっともなくない
1. 事実7と事実4から、推論1: "「「この高校生達は因り難いということはない一方で突き当たる」ということは成り立つ」ということは事実と異なる"が導かれる
2. 事実2から、推論2: "「この高校生達は因り難くない一方で突き当たる」ということは偽だとすると「みっともない」ということは本当である"が導かれる
3. 推論1と推論2から、仮説が否定される

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