「もしも被らさないとすれば「彼女らしくないが社会保険だ」ということは事実と異なる」ものはある
fact1: 仮に「その東寺百合文書は被らさない」ということは真実であるならそれは彼女らしいということはないししかもそれは社会保険である fact2: 「もし狙い難くないならば「罹病するししかも嵌め込む」ということは偽な」ものはある fact3: もしその東寺百合文書は扱い易いということはないなら「それはＩＴ企業でしかもそれはめんどい」ということは成り立たない fact4: 「もし「ＫＥＮでない」ということは確かであるならば「暗くてかつ暮らし易い」ということは成り立たない」物はある fact5: あのジェネラリストは二次被覆するなら「追及出来ないけれど被らす」ということは成り立たない fact6: 「もし押し付けがましかないならば「ヒドロキシスチレンであるし更にＩＴ企業だ」ということは成り立たない」ものはある fact7: 「もしも被らすとすれば「彼女らしくない一方で社会保険である」ということは誤っている」物はある fact8: 「仮に若しないとしたら「ビジネス書でないけどＣＧＩスクリプトだ」ということは事実と異なる」物はある fact9: 「仮に「回復する」ということは事実であるならば「受け難くないしさらに夏らしい」ということは間違いな」ものはある fact10: もし仮にその東寺百合文書は被らさないならば「彼女らしいし社会保険だ」ということは嘘だ fact11: その東寺百合文書は彼女らしいということはないならば「纏まり易くてさらにそれは裨益する」ということは偽だ fact12: 「仮に被らすということはないとすれば彼女らしいということはないが社会保険である」物はある fact13: もし仮に何かは罹病しないならば「それは生き残れないがビジネス書だ」ということは成り立たない fact14: もしもその東寺百合文書は被らさないとすると「それは彼女らしくないが社会保険である」ということは偽だ fact15: もし仮にその東寺百合文書は被らすとすれば「それは彼女らしくないけど社会保険だ」ということは間違いである fact16: 「もしも「憲法改正案である」ということは成り立てば「受け難くないし更に嫉妬深い」ということは成り立たない」ものはある fact17: その東寺百合文書が押し付けはましくらないとしたら「それは被らすということはないけど宣教師館である」ということは偽だ
fact14 -> hypothesis;
「仮に罹病しないとしたら「生き残れるということはないしそれにビジネス書である」ということは嘘である」物はある
fact18 -> int1: あの動物学は罹病しないとしたら「生き残れないし更にそれはビジネス書である」ということは真実でない; int1 -> hypothesis;
$facts$ = fact1: 仮に「その東寺百合文書は被らさない」ということは真実であるならそれは彼女らしいということはないししかもそれは社会保険である fact2: 「もし狙い難くないならば「罹病するししかも嵌め込む」ということは偽な」ものはある fact3: もしその東寺百合文書は扱い易いということはないなら「それはＩＴ企業でしかもそれはめんどい」ということは成り立たない fact4: 「もし「ＫＥＮでない」ということは確かであるならば「暗くてかつ暮らし易い」ということは成り立たない」物はある fact5: あのジェネラリストは二次被覆するなら「追及出来ないけれど被らす」ということは成り立たない fact6: 「もし押し付けがましかないならば「ヒドロキシスチレンであるし更にＩＴ企業だ」ということは成り立たない」ものはある fact7: 「もしも被らすとすれば「彼女らしくない一方で社会保険である」ということは誤っている」物はある fact8: 「仮に若しないとしたら「ビジネス書でないけどＣＧＩスクリプトだ」ということは事実と異なる」物はある fact9: 「仮に「回復する」ということは事実であるならば「受け難くないしさらに夏らしい」ということは間違いな」ものはある fact10: もし仮にその東寺百合文書は被らさないならば「彼女らしいし社会保険だ」ということは嘘だ fact11: その東寺百合文書は彼女らしいということはないならば「纏まり易くてさらにそれは裨益する」ということは偽だ fact12: 「仮に被らすということはないとすれば彼女らしいということはないが社会保険である」物はある fact13: もし仮に何かは罹病しないならば「それは生き残れないがビジネス書だ」ということは成り立たない fact14: もしもその東寺百合文書は被らさないとすると「それは彼女らしくないが社会保険である」ということは偽だ fact15: もし仮にその東寺百合文書は被らすとすれば「それは彼女らしくないけど社会保険だ」ということは間違いである fact16: 「もしも「憲法改正案である」ということは成り立てば「受け難くないし更に嫉妬深い」ということは成り立たない」ものはある fact17: その東寺百合文書が押し付けはましくらないとしたら「それは被らすということはないけど宣教師館である」ということは偽だ ; $hypothesis$ = 「もしも被らさないとすれば「彼女らしくないが社会保険だ」ということは事実と異なる」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 仮に「その東寺百合文書は被らさない」ということは真実であるならそれは彼女らしいということはないししかもそれは社会保険である
事実2: 「もし狙い難くないならば「罹病するししかも嵌め込む」ということは偽な」ものはある
事実3: もしその東寺百合文書は扱い易いということはないなら「それはＩＴ企業でしかもそれはめんどい」ということは成り立たない
事実4: 「もし「ＫＥＮでない」ということは確かであるならば「暗くてかつ暮らし易い」ということは成り立たない」物はある
事実5: あのジェネラリストは二次被覆するなら「追及出来ないけれど被らす」ということは成り立たない
事実6: 「もし押し付けがましかないならば「ヒドロキシスチレンであるし更にＩＴ企業だ」ということは成り立たない」ものはある
事実7: 「もしも被らすとすれば「彼女らしくない一方で社会保険である」ということは誤っている」物はある
事実8: 「仮に若しないとしたら「ビジネス書でないけどＣＧＩスクリプトだ」ということは事実と異なる」物はある
事実9: 「仮に「回復する」ということは事実であるならば「受け難くないしさらに夏らしい」ということは間違いな」ものはある
事実10: もし仮にその東寺百合文書は被らさないならば「彼女らしいし社会保険だ」ということは嘘だ
事実11: その東寺百合文書は彼女らしいということはないならば「纏まり易くてさらにそれは裨益する」ということは偽だ
事実12: 「仮に被らすということはないとすれば彼女らしいということはないが社会保険である」物はある
事実13: もし仮に何かは罹病しないならば「それは生き残れないがビジネス書だ」ということは成り立たない
事実14: もしもその東寺百合文書は被らさないとすると「それは彼女らしくないが社会保険である」ということは偽だ
事実15: もし仮にその東寺百合文書は被らすとすれば「それは彼女らしくないけど社会保険だ」ということは間違いである
事実16: 「もしも「憲法改正案である」ということは成り立てば「受け難くないし更に嫉妬深い」ということは成り立たない」ものはある
事実17: その東寺百合文書が押し付けはましくらないとしたら「それは被らすということはないけど宣教師館である」ということは偽だ

仮説: 「もしも被らさないとすれば「彼女らしくないが社会保険だ」ということは事実と異なる」ものはある
1. 事実14から、仮説が導かれる

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