「「空恐ろしくないしそれに現中受直でない」ということは間違っている」物はある
fact1: 「あの偽情報はでかくないしおまけに土車でない」ということは嘘だ fact2: 「その正倉院文書は空恐ろしくなくて現中受直でない」ということは誤りだ fact3: 「「空恐ろしくない一方で現中受直だ」ということは間違いである」物はある fact4: 「開店当時でないしさらに起こり難くない」物はある fact5: この美学はパスする fact6: もしも何らかのものは挫折でないとすれば「一巡するしさらに双璧である」ということは本当でない fact7: 「膠質浸透圧でないしその上天分でない」ものはある fact8: もしもこの美学はパスするなら「二塁打でないが挫折だ」ということは嘘だ fact9: 「その正倉院文書は忍び難くないしまたそれは出頭しない」ということは成り立たない fact10: 「その正倉院文書は蓄積され易いけど空恐ろしくない」ということは成り立たない fact11: もしある物は双璧でないとすると「それはでかくないしかつ後らしくない」ということは成り立たない fact12: 「その正倉院文書は実行しないけど空恐ろしい」ということは偽である
fact2 -> hypothesis;
fact2 -> hypothesis;
「その不可逆性がでかくないしさらにそれは後らしいということはない」ということは誤りである
fact14 -> int1: 仮にその不可逆性は双璧でないとすると「それはでかくないしその上それは後らしいということはない」ということは偽だ; fact15 -> int2: このブルゴーニュ公は挫折でないなら「一巡するし双璧である」ということは誤っている; fact16 & fact13 -> int3: 「「この美学は二塁打でないけど挫折である」ということは真実だ」ということは成り立たない; int3 -> int4: 「「二塁打だということはないけど挫折だ」ということは偽な」ものはある;
$facts$ = fact1: 「あの偽情報はでかくないしおまけに土車でない」ということは嘘だ fact2: 「その正倉院文書は空恐ろしくなくて現中受直でない」ということは誤りだ fact3: 「「空恐ろしくない一方で現中受直だ」ということは間違いである」物はある fact4: 「開店当時でないしさらに起こり難くない」物はある fact5: この美学はパスする fact6: もしも何らかのものは挫折でないとすれば「一巡するしさらに双璧である」ということは本当でない fact7: 「膠質浸透圧でないしその上天分でない」ものはある fact8: もしもこの美学はパスするなら「二塁打でないが挫折だ」ということは嘘だ fact9: 「その正倉院文書は忍び難くないしまたそれは出頭しない」ということは成り立たない fact10: 「その正倉院文書は蓄積され易いけど空恐ろしくない」ということは成り立たない fact11: もしある物は双璧でないとすると「それはでかくないしかつ後らしくない」ということは成り立たない fact12: 「その正倉院文書は実行しないけど空恐ろしい」ということは偽である ; $hypothesis$ = 「「空恐ろしくないしそれに現中受直でない」ということは間違っている」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「あの偽情報はでかくないしおまけに土車でない」ということは嘘だ
事実2: 「その正倉院文書は空恐ろしくなくて現中受直でない」ということは誤りだ
事実3: 「「空恐ろしくない一方で現中受直だ」ということは間違いである」物はある
事実4: 「開店当時でないしさらに起こり難くない」物はある
事実5: この美学はパスする
事実6: もしも何らかのものは挫折でないとすれば「一巡するしさらに双璧である」ということは本当でない
事実7: 「膠質浸透圧でないしその上天分でない」ものはある
事実8: もしもこの美学はパスするなら「二塁打でないが挫折だ」ということは嘘だ
事実9: 「その正倉院文書は忍び難くないしまたそれは出頭しない」ということは成り立たない
事実10: 「その正倉院文書は蓄積され易いけど空恐ろしくない」ということは成り立たない
事実11: もしある物は双璧でないとすると「それはでかくないしかつ後らしくない」ということは成り立たない
事実12: 「その正倉院文書は実行しないけど空恐ろしい」ということは偽である

仮説: 「「空恐ろしくないしそれに現中受直でない」ということは間違っている」物はある
1. 事実2から、仮説が導かれる

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