この四角公園はＮ回である
fact1: 仮にこの四角公園が打診するとするとその霊性はＮ回である fact2: その霊性は期末考査である fact3: もしも「その霊性は期末考査でないかあるいはＮ回であるかまたは両方である」ということは間違いであるとすればこの四角公園はＮ回でない fact4: そのバカンラウニカウはＮ回だ fact5: 仮に「この四角公園は期末考査である」ということは本当だとすると「その霊性はＮ回である」ということは確かだ fact6: もしその霊性が期末考査でないとすればこの四角公園はＮ回でない fact7: もしも「その霊性はＮ回だ」ということは成り立つとするとそれは期末考査である fact8: その胸腔は打診する fact9: この四角公園は産生する fact10: あのＰＮ接合が金融支援であるならその霊性はアクセサリだ fact11: もしもこの四角公園が期末考査であるとするとその霊性は打診する fact12: もしもその霊性は期末考査であるならば「この四角公園は打診する」ということは成り立つ fact13: あのＰＮ接合は金融支援だ fact14: なにがしかの物は打診するとすると「Ｎ回である」ということは確かだ fact15: もしなにがしかの物が打診するとするとそれは期末考査だ fact16: 「もしもアクセサリは従兄弟達であるなら封筒レイアウトでない」ということは事実だ fact17: 耐え難いものは変化する fact18: 仮になんらかのものは封筒レイアウトでないなら打診するがしかし耐え難くない
fact12 & fact2 -> int1: この四角公園は打診する; fact14 -> int2: この四角公園は打診するなら「それはＮ回だ」ということは成り立つ; int1 & int2 -> hypothesis;
この四角公園はＮ回であるということはない
$facts$ = fact1: 仮にこの四角公園が打診するとするとその霊性はＮ回である fact2: その霊性は期末考査である fact3: もしも「その霊性は期末考査でないかあるいはＮ回であるかまたは両方である」ということは間違いであるとすればこの四角公園はＮ回でない fact4: そのバカンラウニカウはＮ回だ fact5: 仮に「この四角公園は期末考査である」ということは本当だとすると「その霊性はＮ回である」ということは確かだ fact6: もしその霊性が期末考査でないとすればこの四角公園はＮ回でない fact7: もしも「その霊性はＮ回だ」ということは成り立つとするとそれは期末考査である fact8: その胸腔は打診する fact9: この四角公園は産生する fact10: あのＰＮ接合が金融支援であるならその霊性はアクセサリだ fact11: もしもこの四角公園が期末考査であるとするとその霊性は打診する fact12: もしもその霊性は期末考査であるならば「この四角公園は打診する」ということは成り立つ fact13: あのＰＮ接合は金融支援だ fact14: なにがしかの物は打診するとすると「Ｎ回である」ということは確かだ fact15: もしなにがしかの物が打診するとするとそれは期末考査だ fact16: 「もしもアクセサリは従兄弟達であるなら封筒レイアウトでない」ということは事実だ fact17: 耐え難いものは変化する fact18: 仮になんらかのものは封筒レイアウトでないなら打診するがしかし耐え難くない ; $hypothesis$ = この四角公園はＮ回である ; $proof$ = 
fact12 & fact2 -> int1: この四角公園は打診する; fact14 -> int2: この四角公園は打診するなら「それはＮ回だ」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの四角公園が打診するとするとその霊性はＮ回である
事実2: その霊性は期末考査である
事実3: もしも「その霊性は期末考査でないかあるいはＮ回であるかまたは両方である」ということは間違いであるとすればこの四角公園はＮ回でない
事実4: そのバカンラウニカウはＮ回だ
事実5: 仮に「この四角公園は期末考査である」ということは本当だとすると「その霊性はＮ回である」ということは確かだ
事実6: もしその霊性が期末考査でないとすればこの四角公園はＮ回でない
事実7: もしも「その霊性はＮ回だ」ということは成り立つとするとそれは期末考査である
事実8: その胸腔は打診する
事実9: この四角公園は産生する
事実10: あのＰＮ接合が金融支援であるならその霊性はアクセサリだ
事実11: もしもこの四角公園が期末考査であるとするとその霊性は打診する
事実12: もしもその霊性は期末考査であるならば「この四角公園は打診する」ということは成り立つ
事実13: あのＰＮ接合は金融支援だ
事実14: なにがしかの物は打診するとすると「Ｎ回である」ということは確かだ
事実15: もしなにがしかの物が打診するとするとそれは期末考査だ
事実16: 「もしもアクセサリは従兄弟達であるなら封筒レイアウトでない」ということは事実だ
事実17: 耐え難いものは変化する
事実18: 仮になんらかのものは封筒レイアウトでないなら打診するがしかし耐え難くない

仮説: この四角公園はＮ回である
1. 事実12と事実2から、推論1: "この四角公園は打診する"が導かれる
2. 事実14から、推論2: "この四角公園は打診するなら「それはＮ回だ」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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