「もし「滾つけど売れ残らない」ということは事実と異なるとしたら掴み難い」ものはある
fact1: 「もし仮に滾つということはないとすると掴み難い」物はある fact2: もし「この矢田川流域は滾つ一方で売れ残らない」ということは成り立たないとすると掴み難い fact3: 仮に「この矢田川流域は変わり果てるし加えてそれは程近い」ということは嘘であるとしたら滾つ fact4: 「もしも引っ越すがしかし集まり易くないならボストン・シンフォニーな」物はある fact5: 「この矢田川流域は売れ残るししかもそれは途絶える」ということは成り立たないとするとそれはちらつき始める fact6: 「仮に剥がれ易いけれど可笑しということはないとすれば散らす」ものはある fact7: 「もしこの矢田川流域が滾つ一方で売れ残るということはないならこの矢田川流域は掴み難い」ということは成り立つ fact8: もし仮に「何らかのものは滾つが規律しない」ということは偽であるとすると動作確認だ fact9: もし仮に「その会計技法は無くてかつ婦人アパレル部門である」ということは誤っていればそれは滾つ fact10: 「売れ残れば掴み難い」物はある fact11: 「「脅かすしさらに二重床だ」ということは偽だとしたら確定申告する」ものはある
fact2 -> hypothesis;
仮に「このノーベル医学生理学賞は滾つがしかしそれは規律しない」ということは嘘であるならば「動作確認だ」ということは本当である
fact12 -> hypothesis;
$facts$ = fact1: 「もし仮に滾つということはないとすると掴み難い」物はある fact2: もし「この矢田川流域は滾つ一方で売れ残らない」ということは成り立たないとすると掴み難い fact3: 仮に「この矢田川流域は変わり果てるし加えてそれは程近い」ということは嘘であるとしたら滾つ fact4: 「もしも引っ越すがしかし集まり易くないならボストン・シンフォニーな」物はある fact5: 「この矢田川流域は売れ残るししかもそれは途絶える」ということは成り立たないとするとそれはちらつき始める fact6: 「仮に剥がれ易いけれど可笑しということはないとすれば散らす」ものはある fact7: 「もしこの矢田川流域が滾つ一方で売れ残るということはないならこの矢田川流域は掴み難い」ということは成り立つ fact8: もし仮に「何らかのものは滾つが規律しない」ということは偽であるとすると動作確認だ fact9: もし仮に「その会計技法は無くてかつ婦人アパレル部門である」ということは誤っていればそれは滾つ fact10: 「売れ残れば掴み難い」物はある fact11: 「「脅かすしさらに二重床だ」ということは偽だとしたら確定申告する」ものはある ; $hypothesis$ = 「もし「滾つけど売れ残らない」ということは事実と異なるとしたら掴み難い」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に滾つということはないとすると掴み難い」物はある
事実2: もし「この矢田川流域は滾つ一方で売れ残らない」ということは成り立たないとすると掴み難い
事実3: 仮に「この矢田川流域は変わり果てるし加えてそれは程近い」ということは嘘であるとしたら滾つ
事実4: 「もしも引っ越すがしかし集まり易くないならボストン・シンフォニーな」物はある
事実5: 「この矢田川流域は売れ残るししかもそれは途絶える」ということは成り立たないとするとそれはちらつき始める
事実6: 「仮に剥がれ易いけれど可笑しということはないとすれば散らす」ものはある
事実7: 「もしこの矢田川流域が滾つ一方で売れ残るということはないならこの矢田川流域は掴み難い」ということは成り立つ
事実8: もし仮に「何らかのものは滾つが規律しない」ということは偽であるとすると動作確認だ
事実9: もし仮に「その会計技法は無くてかつ婦人アパレル部門である」ということは誤っていればそれは滾つ
事実10: 「売れ残れば掴み難い」物はある
事実11: 「「脅かすしさらに二重床だ」ということは偽だとしたら確定申告する」ものはある

仮説: 「もし「滾つけど売れ残らない」ということは事実と異なるとしたら掴み難い」ものはある
1. 事実2から、仮説が導かれる

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