あの新平民は浅い
fact1: ある物は厚かましいししかもプラス面だ fact2: もし仮になにがしかのものが自動車利用だとすればその入学基準は浅いしさらにネイティブらしい fact3: なにがしかの物が自動車利用だしそれがグリル満天星であるならこの組織間は浅いということはない fact4: あの新平民は入浴する fact5: 「介在するししかもチーム成績な」ものはある fact6: 「気まずい」物はある fact7: 見難いということはない物はグリル満天星であるしさらに自動車利用である fact8: 仮に「とある物は入浴するししかも気まずい」ということは成り立つとしたらあの尻尾はネイティブらしいということはない fact9: 「グリル満天星でないかネイティブらしいかもしくは両方ともな」ものはある fact10: 浅くない物は入浴するし気まずい fact11: 「「自動車利用であるということはないかもしくはグリル満天星である」ということは成り立つということはない」ものがあるならあの尻尾はネイティブらしい fact12: 「「自動車利用であるかあるいはグリル満天星だ」ということは嘘である」ものはある fact13: 「入浴する」物はある fact14: 「この組織間は自動車利用でないかあるいはグリル満天星であるか両方ともだ」ということは成り立たない fact15: 「グリル満天星でない」物はある fact16: もしもあの新平民は浅いということはないとすれば「それは入浴する」ということは事実である fact17: もしなにがしかの物がネイティブらしいしさらにそれが気まずいならばあの尻尾は自動車利用であるということはない fact18: 「もし仮に浅い自動車利用があるとするとあの新平民はグリル満天星でない」ということは真実である
fact10 -> int1: もしもあの新平民が浅くないならば入浴するしさらにそれは気まずい; void -> assump1: 以下のように仮定する。あの新平民は浅くない; int1 & assump1 -> int2: あの新平民は入浴するし気まずい; int2 -> int3: とあるものは入浴するししかも気まずい; int3 & fact8 -> int4: あの尻尾はネイティブらしくない; fact14 -> int5: 「「「自動車利用でないかもしくはグリル満天星であるかまたは両方ともだ」ということは正しい」ということは間違いである」物はある; fact11 & int5 -> int6: あの尻尾はネイティブらしい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その入学基準は浅い
fact20 -> int8: もしもこの組織間が見難いということはないならばグリル満天星であるしまた自動車利用だ;
$facts$ = fact1: ある物は厚かましいししかもプラス面だ fact2: もし仮になにがしかのものが自動車利用だとすればその入学基準は浅いしさらにネイティブらしい fact3: なにがしかの物が自動車利用だしそれがグリル満天星であるならこの組織間は浅いということはない fact4: あの新平民は入浴する fact5: 「介在するししかもチーム成績な」ものはある fact6: 「気まずい」物はある fact7: 見難いということはない物はグリル満天星であるしさらに自動車利用である fact8: 仮に「とある物は入浴するししかも気まずい」ということは成り立つとしたらあの尻尾はネイティブらしいということはない fact9: 「グリル満天星でないかネイティブらしいかもしくは両方ともな」ものはある fact10: 浅くない物は入浴するし気まずい fact11: 「「自動車利用であるということはないかもしくはグリル満天星である」ということは成り立つということはない」ものがあるならあの尻尾はネイティブらしい fact12: 「「自動車利用であるかあるいはグリル満天星だ」ということは嘘である」ものはある fact13: 「入浴する」物はある fact14: 「この組織間は自動車利用でないかあるいはグリル満天星であるか両方ともだ」ということは成り立たない fact15: 「グリル満天星でない」物はある fact16: もしもあの新平民は浅いということはないとすれば「それは入浴する」ということは事実である fact17: もしなにがしかの物がネイティブらしいしさらにそれが気まずいならばあの尻尾は自動車利用であるということはない fact18: 「もし仮に浅い自動車利用があるとするとあの新平民はグリル満天星でない」ということは真実である ; $hypothesis$ = あの新平民は浅い ; $proof$ = 
fact10 -> int1: もしもあの新平民が浅くないならば入浴するしさらにそれは気まずい; void -> assump1: 以下のように仮定する。あの新平民は浅くない; int1 & assump1 -> int2: あの新平民は入浴するし気まずい; int2 -> int3: とあるものは入浴するししかも気まずい; int3 & fact8 -> int4: あの尻尾はネイティブらしくない; fact14 -> int5: 「「「自動車利用でないかもしくはグリル満天星であるかまたは両方ともだ」ということは正しい」ということは間違いである」物はある; fact11 & int5 -> int6: あの尻尾はネイティブらしい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: ある物は厚かましいししかもプラス面だ
事実2: もし仮になにがしかのものが自動車利用だとすればその入学基準は浅いしさらにネイティブらしい
事実3: なにがしかの物が自動車利用だしそれがグリル満天星であるならこの組織間は浅いということはない
事実4: あの新平民は入浴する
事実5: 「介在するししかもチーム成績な」ものはある
事実6: 「気まずい」物はある
事実7: 見難いということはない物はグリル満天星であるしさらに自動車利用である
事実8: 仮に「とある物は入浴するししかも気まずい」ということは成り立つとしたらあの尻尾はネイティブらしいということはない
事実9: 「グリル満天星でないかネイティブらしいかもしくは両方ともな」ものはある
事実10: 浅くない物は入浴するし気まずい
事実11: 「「自動車利用であるということはないかもしくはグリル満天星である」ということは成り立つということはない」ものがあるならあの尻尾はネイティブらしい
事実12: 「「自動車利用であるかあるいはグリル満天星だ」ということは嘘である」ものはある
事実13: 「入浴する」物はある
事実14: 「この組織間は自動車利用でないかあるいはグリル満天星であるか両方ともだ」ということは成り立たない
事実15: 「グリル満天星でない」物はある
事実16: もしもあの新平民は浅いということはないとすれば「それは入浴する」ということは事実である
事実17: もしなにがしかの物がネイティブらしいしさらにそれが気まずいならばあの尻尾は自動車利用であるということはない
事実18: 「もし仮に浅い自動車利用があるとするとあの新平民はグリル満天星でない」ということは真実である

仮説: あの新平民は浅い
1. 事実10から、推論1: "もしもあの新平民が浅くないならば入浴するしさらにそれは気まずい"が導かれる
2. 仮定1: 以下のように仮定する。あの新平民は浅くない
3. 推論1と仮定1から、推論2: "あの新平民は入浴するし気まずい"が導かれる
4. 推論2から、推論3: "とあるものは入浴するししかも気まずい"が導かれる
5. 推論3と事実8から、推論4: "あの尻尾はネイティブらしくない"が導かれる
6. 事実14から、推論5: "「「「自動車利用でないかもしくはグリル満天星であるかまたは両方ともだ」ということは正しい」ということは間違いである」物はある"が導かれる
7. 事実11と推論5から、推論6: "あの尻尾はネイティブらしい"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。