「もし「「外科的切除であるということはなくて加えてＫＦＳでない」ということは本当である」ということは事実でないとすれば品目でない」物はある
fact1: もしも「なにかは泥パークでないしおまけに小規模宅地等でない」ということは成り立たないとすると「それは染み込み易くない」ということは事実だ fact2: 「「青っぽいけれど追い始めない」ということは嘘だとしたらズボン姿でない」物はある fact3: 仮にその電気炊飯器は外科的切除であるならば品目であるということはない fact4: もし「その電気炊飯器はＫＦＳであるということはないしその上保護出来るということはない」ということは間違いなら攪乱する fact5: その電気炊飯器が外科的切除でなくておまけにそれがＫＦＳでないとすればそれは品目でない fact6: 「その電気炊飯器は外科的切除であるということはなくてＫＦＳであるということはない」ということは偽であるとしたら品目であるということはない fact7: 仮にその巻き紙が吐き出せらなくてそれにＰＣＭ方式でないなら御早くない fact8: 「「合算額である一方でレンタカー屋でない」ということは嘘であるならば血腥くない」物はある fact9: もしも「その電気炊飯器はＲＯＡＤでないしそれに呟かない」ということは事実と異なればそれは遅い fact10: もし「その電気炊飯器は不開催でなくてしかも保護出来ない」ということは偽であるなら出易い fact11: 「「もし仮に心許ないとすると上げ得ない」物はある」ということは正しい fact12: 「仮に「着席しなくて極まりなくない」ということは成り立たないならば寝苦しい」物はある fact13: 「もしも「外科的切除でないしＫＦＳでない」ということは成り立つとしたら品目でない」物はある fact14: 「「もし「外科的切除である」ということは確かだとすると「品目でない」ということは確かである」物はある」ということは成り立つ fact15: 「「外科的切除であるということはないけれどＫＦＳだ」ということは間違っているとすると品目だということはない」ものはある fact16: 「もしも不開催であるとすれば馴れ馴れしいということはない」物はある
fact6 -> hypothesis;
「もし仮に「泥パークでなくて小規模宅地等でない」ということは間違っているとしたら染み込み易くない」物はある
fact17 -> int1: もし「その回路記号は泥パークでなくてかつそれは小規模宅地等でない」ということは誤りであるなら染み込み易くない; int1 -> hypothesis;
$facts$ = fact1: もしも「なにかは泥パークでないしおまけに小規模宅地等でない」ということは成り立たないとすると「それは染み込み易くない」ということは事実だ fact2: 「「青っぽいけれど追い始めない」ということは嘘だとしたらズボン姿でない」物はある fact3: 仮にその電気炊飯器は外科的切除であるならば品目であるということはない fact4: もし「その電気炊飯器はＫＦＳであるということはないしその上保護出来るということはない」ということは間違いなら攪乱する fact5: その電気炊飯器が外科的切除でなくておまけにそれがＫＦＳでないとすればそれは品目でない fact6: 「その電気炊飯器は外科的切除であるということはなくてＫＦＳであるということはない」ということは偽であるとしたら品目であるということはない fact7: 仮にその巻き紙が吐き出せらなくてそれにＰＣＭ方式でないなら御早くない fact8: 「「合算額である一方でレンタカー屋でない」ということは嘘であるならば血腥くない」物はある fact9: もしも「その電気炊飯器はＲＯＡＤでないしそれに呟かない」ということは事実と異なればそれは遅い fact10: もし「その電気炊飯器は不開催でなくてしかも保護出来ない」ということは偽であるなら出易い fact11: 「「もし仮に心許ないとすると上げ得ない」物はある」ということは正しい fact12: 「仮に「着席しなくて極まりなくない」ということは成り立たないならば寝苦しい」物はある fact13: 「もしも「外科的切除でないしＫＦＳでない」ということは成り立つとしたら品目でない」物はある fact14: 「「もし「外科的切除である」ということは確かだとすると「品目でない」ということは確かである」物はある」ということは成り立つ fact15: 「「外科的切除であるということはないけれどＫＦＳだ」ということは間違っているとすると品目だということはない」ものはある fact16: 「もしも不開催であるとすれば馴れ馴れしいということはない」物はある ; $hypothesis$ = 「もし「「外科的切除であるということはなくて加えてＫＦＳでない」ということは本当である」ということは事実でないとすれば品目でない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしも「なにかは泥パークでないしおまけに小規模宅地等でない」ということは成り立たないとすると「それは染み込み易くない」ということは事実だ
事実2: 「「青っぽいけれど追い始めない」ということは嘘だとしたらズボン姿でない」物はある
事実3: 仮にその電気炊飯器は外科的切除であるならば品目であるということはない
事実4: もし「その電気炊飯器はＫＦＳであるということはないしその上保護出来るということはない」ということは間違いなら攪乱する
事実5: その電気炊飯器が外科的切除でなくておまけにそれがＫＦＳでないとすればそれは品目でない
事実6: 「その電気炊飯器は外科的切除であるということはなくてＫＦＳであるということはない」ということは偽であるとしたら品目であるということはない
事実7: 仮にその巻き紙が吐き出せらなくてそれにＰＣＭ方式でないなら御早くない
事実8: 「「合算額である一方でレンタカー屋でない」ということは嘘であるならば血腥くない」物はある
事実9: もしも「その電気炊飯器はＲＯＡＤでないしそれに呟かない」ということは事実と異なればそれは遅い
事実10: もし「その電気炊飯器は不開催でなくてしかも保護出来ない」ということは偽であるなら出易い
事実11: 「「もし仮に心許ないとすると上げ得ない」物はある」ということは正しい
事実12: 「仮に「着席しなくて極まりなくない」ということは成り立たないならば寝苦しい」物はある
事実13: 「もしも「外科的切除でないしＫＦＳでない」ということは成り立つとしたら品目でない」物はある
事実14: 「「もし「外科的切除である」ということは確かだとすると「品目でない」ということは確かである」物はある」ということは成り立つ
事実15: 「「外科的切除であるということはないけれどＫＦＳだ」ということは間違っているとすると品目だということはない」ものはある
事実16: 「もしも不開催であるとすれば馴れ馴れしいということはない」物はある

仮説: 「もし「「外科的切除であるということはなくて加えてＫＦＳでない」ということは本当である」ということは事実でないとすれば品目でない」物はある
1. 事実6から、仮説が導かれる

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