「もしも「仲間らしくないし省かない」ということは成り立たないとすれば書き難い」ものはある
fact1: もし仮に「なにかは政治でないしさらに仲間らしいということはない」ということは成り立たないとすると暗し fact2: 「もし仮に仲間らしくないし加えて省かないなら書き難い」ものはある fact3: 仮に「この水圧機は浅黒くないし更に書き難くない」ということは誤っているとすれば進み易い fact4: 仮に「その層厚比は偏り易くないしかつそれは二層ＦＰＣでない」ということは間違いならば可能解である fact5: 「もし仮に「仲間らしいが省かない」ということは成り立たないとしたら書き難い」物はある fact6: 「その層厚比は残留しないしかつ運送しない」ということは嘘であるとすればそれは書き難い fact7: 仮に「あるものは住み易くないし残留しない」ということは間違いであるとすればそれは返還請求出来る fact8: 「その層厚比は書き難くないしその上罷らない」ということは事実と異なるとしたら活動し易い fact9: 「「もし省くなら書き難い」ものはある」ということは成り立つ fact10: その層厚比が省くとするとそれは書き難い fact11: 「もしも「誓約しないしその上自然らしいない」ということは成り立つということはないとすればしゃぶしゃぶな」ものはある fact12: 「もしも「武蔵野台地でなくてしかも殺伐であるということはない」ということは成り立たないとしたら埋め込みグラフな」ものはある fact13: もし「その層厚比は仲間らしくないしそれは省かない」ということは真実であるということはないなら書き難い fact14: もし「その一試論は省かないしさらに卵膜内層でない」ということは誤りであるならそれは諸経費である fact15: 「もし仮に「仲間らしくないしかつ省く」ということは間違いであるならば書き難い」ものはある fact16: 「もしもその層厚比が仲間らしくないしその上省くということはないならその層厚比は書き難い」ということは間違いでない fact17: 「もし仮に仲間らしいとすると書き難い」物はある fact18: 「もし「製品群でなくて冷め易くない」ということは間違っているなら解し難い」物はある fact19: 「仮に「悔しくなくておまけに敢闘であるということはない」ということは誤りなら馴染み深い」物はある fact20: 「その層厚比は仲間らしい一方で省かない」ということは成り立たないならそれは書き難い
fact13 -> hypothesis;
fact13 -> hypothesis;
「もし仮に「住み易くないし残留しない」ということは間違いならば返還請求出来る」ものはある
fact21 -> int1: 「その再版は住み易くないし加えてそれは残留しない」ということは事実でないならそれは返還請求出来る; int1 -> hypothesis;
$facts$ = fact1: もし仮に「なにかは政治でないしさらに仲間らしいということはない」ということは成り立たないとすると暗し fact2: 「もし仮に仲間らしくないし加えて省かないなら書き難い」ものはある fact3: 仮に「この水圧機は浅黒くないし更に書き難くない」ということは誤っているとすれば進み易い fact4: 仮に「その層厚比は偏り易くないしかつそれは二層ＦＰＣでない」ということは間違いならば可能解である fact5: 「もし仮に「仲間らしいが省かない」ということは成り立たないとしたら書き難い」物はある fact6: 「その層厚比は残留しないしかつ運送しない」ということは嘘であるとすればそれは書き難い fact7: 仮に「あるものは住み易くないし残留しない」ということは間違いであるとすればそれは返還請求出来る fact8: 「その層厚比は書き難くないしその上罷らない」ということは事実と異なるとしたら活動し易い fact9: 「「もし省くなら書き難い」ものはある」ということは成り立つ fact10: その層厚比が省くとするとそれは書き難い fact11: 「もしも「誓約しないしその上自然らしいない」ということは成り立つということはないとすればしゃぶしゃぶな」ものはある fact12: 「もしも「武蔵野台地でなくてしかも殺伐であるということはない」ということは成り立たないとしたら埋め込みグラフな」ものはある fact13: もし「その層厚比は仲間らしくないしそれは省かない」ということは真実であるということはないなら書き難い fact14: もし「その一試論は省かないしさらに卵膜内層でない」ということは誤りであるならそれは諸経費である fact15: 「もし仮に「仲間らしくないしかつ省く」ということは間違いであるならば書き難い」ものはある fact16: 「もしもその層厚比が仲間らしくないしその上省くということはないならその層厚比は書き難い」ということは間違いでない fact17: 「もし仮に仲間らしいとすると書き難い」物はある fact18: 「もし「製品群でなくて冷め易くない」ということは間違っているなら解し難い」物はある fact19: 「仮に「悔しくなくておまけに敢闘であるということはない」ということは誤りなら馴染み深い」物はある fact20: 「その層厚比は仲間らしい一方で省かない」ということは成り立たないならそれは書き難い ; $hypothesis$ = 「もしも「仲間らしくないし省かない」ということは成り立たないとすれば書き難い」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは政治でないしさらに仲間らしいということはない」ということは成り立たないとすると暗し
事実2: 「もし仮に仲間らしくないし加えて省かないなら書き難い」ものはある
事実3: 仮に「この水圧機は浅黒くないし更に書き難くない」ということは誤っているとすれば進み易い
事実4: 仮に「その層厚比は偏り易くないしかつそれは二層ＦＰＣでない」ということは間違いならば可能解である
事実5: 「もし仮に「仲間らしいが省かない」ということは成り立たないとしたら書き難い」物はある
事実6: 「その層厚比は残留しないしかつ運送しない」ということは嘘であるとすればそれは書き難い
事実7: 仮に「あるものは住み易くないし残留しない」ということは間違いであるとすればそれは返還請求出来る
事実8: 「その層厚比は書き難くないしその上罷らない」ということは事実と異なるとしたら活動し易い
事実9: 「「もし省くなら書き難い」ものはある」ということは成り立つ
事実10: その層厚比が省くとするとそれは書き難い
事実11: 「もしも「誓約しないしその上自然らしいない」ということは成り立つということはないとすればしゃぶしゃぶな」ものはある
事実12: 「もしも「武蔵野台地でなくてしかも殺伐であるということはない」ということは成り立たないとしたら埋め込みグラフな」ものはある
事実13: もし「その層厚比は仲間らしくないしそれは省かない」ということは真実であるということはないなら書き難い
事実14: もし「その一試論は省かないしさらに卵膜内層でない」ということは誤りであるならそれは諸経費である
事実15: 「もし仮に「仲間らしくないしかつ省く」ということは間違いであるならば書き難い」ものはある
事実16: 「もしもその層厚比が仲間らしくないしその上省くということはないならその層厚比は書き難い」ということは間違いでない
事実17: 「もし仮に仲間らしいとすると書き難い」物はある
事実18: 「もし「製品群でなくて冷め易くない」ということは間違っているなら解し難い」物はある
事実19: 「仮に「悔しくなくておまけに敢闘であるということはない」ということは誤りなら馴染み深い」物はある
事実20: 「その層厚比は仲間らしい一方で省かない」ということは成り立たないならそれは書き難い

仮説: 「もしも「仲間らしくないし省かない」ということは成り立たないとすれば書き難い」ものはある
1. 事実13から、仮説が導かれる

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