「もしも「見付け難くないしその上愛くるしくない」ということは成り立たないなら組み立てである」ものはある
fact1: 仮に「この錫杖は見付け難くないしさらに愛くるしいということはない」ということは本当でないとしたらそれは組み立てだ fact2: 「もし見付け難くないしさらに愛くるしくないならば組み立てな」ものはある fact3: 「もし「間近くない一方で真新しい」ということは成り立たないとすれば説明致す」物はある fact4: もしも「何らかの物は大窓でなくて光ちゃんであるということはない」ということは間違いであるとしたらそれはコンパイルだ fact5: 「愛くるしいなら組み立てである」物はある fact6: 「仮に「そびれないし加えて掻い摘まない」ということは偽なら漏水である」物はある fact7: この錫杖が見付け難くないし愛くるしくないならば「組み立てだ」ということは誤っていない fact8: もしもこの錫杖が愛くるしいとすれば組み立てである
fact1 -> hypothesis;
「もし「大窓だということはないし加えて光ちゃんであるということはない」ということは事実と異なるならコンパイルである」ものはある
fact9 -> int1: 「この国防意識は大窓でないし光ちゃんでない」ということは正しくないとすればコンパイルだ; int1 -> hypothesis;
$facts$ = fact1: 仮に「この錫杖は見付け難くないしさらに愛くるしいということはない」ということは本当でないとしたらそれは組み立てだ fact2: 「もし見付け難くないしさらに愛くるしくないならば組み立てな」ものはある fact3: 「もし「間近くない一方で真新しい」ということは成り立たないとすれば説明致す」物はある fact4: もしも「何らかの物は大窓でなくて光ちゃんであるということはない」ということは間違いであるとしたらそれはコンパイルだ fact5: 「愛くるしいなら組み立てである」物はある fact6: 「仮に「そびれないし加えて掻い摘まない」ということは偽なら漏水である」物はある fact7: この錫杖が見付け難くないし愛くるしくないならば「組み立てだ」ということは誤っていない fact8: もしもこの錫杖が愛くるしいとすれば組み立てである ; $hypothesis$ = 「もしも「見付け難くないしその上愛くるしくない」ということは成り立たないなら組み立てである」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「この錫杖は見付け難くないしさらに愛くるしいということはない」ということは本当でないとしたらそれは組み立てだ
事実2: 「もし見付け難くないしさらに愛くるしくないならば組み立てな」ものはある
事実3: 「もし「間近くない一方で真新しい」ということは成り立たないとすれば説明致す」物はある
事実4: もしも「何らかの物は大窓でなくて光ちゃんであるということはない」ということは間違いであるとしたらそれはコンパイルだ
事実5: 「愛くるしいなら組み立てである」物はある
事実6: 「仮に「そびれないし加えて掻い摘まない」ということは偽なら漏水である」物はある
事実7: この錫杖が見付け難くないし愛くるしくないならば「組み立てだ」ということは誤っていない
事実8: もしもこの錫杖が愛くるしいとすれば組み立てである

仮説: 「もしも「見付け難くないしその上愛くるしくない」ということは成り立たないなら組み立てである」ものはある
1. 事実1から、仮説が導かれる

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