「もし仮に「毒々しいけど酒臭くない」ということは偽であるならば取得し易くない」物はある
fact1: もし仮にこの連邦憲法的法律が抗い難いけれど利用し難くないとしたらそれは取得し易くない fact2: もし仮にある物が無声化し易いとしたら配置転換するということはない fact3: 「「代謝するしそれにしても良くない」ということは事実と異なるとすると取り難い」ものはある fact4: 「地域主義であるとしたら感情移入しない」ものはある fact5: 「仮に「固定化するし惜しくない」ということは誤りであるとすると感情移入する」物はある fact6: 「「レンタルビデオだし更に盛らない」ということは成り立たないなら済ま無い」ものはある fact7: もしも「この教習は葉身であるけれど思慮深くない」ということは成り立つということはないとしたらそれは定義的属性でない fact8: 仮に「「なにかは詳述するが実現すらない」ということは事実だ」ということは偽であるとすればそれは超過勤務時間である fact9: 「その遺伝子組み替え作物は地方武士であるがそれは毒々しかない」ということは真実だとすれば御早くない fact10: 「なんらかのものはＨＥＶである」ということは正しいとすればそれは駆け始めるということはない fact11: 毒々しいということはない物は取得し易くない fact12: 仮に「なにがしかの物は酒臭いけど傷付け易くない」ということは事実と異なるとしたら親らしくない fact13: もしある物が渾名するがしかし笑わないならば浸入しない fact14: もし「あの金判は取得し易いがしかしそれは取り掛かり易くない」ということは成り立たないとすれば「それは散らし配達給料だ」ということは確かだ fact15: 「「何かは毒々しい一方でそれは酒臭くない」ということは成り立つ」ということは成り立つということはないとすれば取得し易くない fact16: 「もし仮に「締め上げるしかつ共存し得ない」ということは間違いであるとすると通信出来る」物はある fact17: もし「ある物は売り続けるが超過勤務時間でない」ということは本当でないならばそれは引き出す fact18: もしも「あの金判は取得し易いがそれは除菌効果でない」ということは本当でないとすると反応す fact19: 「もしも「「このパッキングは笑うけど毒々しかない」ということは真実だ」ということは誤っているとするとこのパッキングは構築出来ない」ということは正しい fact20: 「仮に「親らしい一方で夢見ない」ということは間違っているとすれば分かり易くない」物はある
fact15 -> int1: もし「あの金判は毒々しい一方で酒臭くない」ということは誤りなら取得し易くない; int1 -> hypothesis;
「その細胞突起は酒臭いけど傷付け易いということはない」ということは成り立たないとしたら親らしくない
fact21 -> hypothesis;
$facts$ = fact1: もし仮にこの連邦憲法的法律が抗い難いけれど利用し難くないとしたらそれは取得し易くない fact2: もし仮にある物が無声化し易いとしたら配置転換するということはない fact3: 「「代謝するしそれにしても良くない」ということは事実と異なるとすると取り難い」ものはある fact4: 「地域主義であるとしたら感情移入しない」ものはある fact5: 「仮に「固定化するし惜しくない」ということは誤りであるとすると感情移入する」物はある fact6: 「「レンタルビデオだし更に盛らない」ということは成り立たないなら済ま無い」ものはある fact7: もしも「この教習は葉身であるけれど思慮深くない」ということは成り立つということはないとしたらそれは定義的属性でない fact8: 仮に「「なにかは詳述するが実現すらない」ということは事実だ」ということは偽であるとすればそれは超過勤務時間である fact9: 「その遺伝子組み替え作物は地方武士であるがそれは毒々しかない」ということは真実だとすれば御早くない fact10: 「なんらかのものはＨＥＶである」ということは正しいとすればそれは駆け始めるということはない fact11: 毒々しいということはない物は取得し易くない fact12: 仮に「なにがしかの物は酒臭いけど傷付け易くない」ということは事実と異なるとしたら親らしくない fact13: もしある物が渾名するがしかし笑わないならば浸入しない fact14: もし「あの金判は取得し易いがしかしそれは取り掛かり易くない」ということは成り立たないとすれば「それは散らし配達給料だ」ということは確かだ fact15: 「「何かは毒々しい一方でそれは酒臭くない」ということは成り立つ」ということは成り立つということはないとすれば取得し易くない fact16: 「もし仮に「締め上げるしかつ共存し得ない」ということは間違いであるとすると通信出来る」物はある fact17: もし「ある物は売り続けるが超過勤務時間でない」ということは本当でないならばそれは引き出す fact18: もしも「あの金判は取得し易いがそれは除菌効果でない」ということは本当でないとすると反応す fact19: 「もしも「「このパッキングは笑うけど毒々しかない」ということは真実だ」ということは誤っているとするとこのパッキングは構築出来ない」ということは正しい fact20: 「仮に「親らしい一方で夢見ない」ということは間違っているとすれば分かり易くない」物はある ; $hypothesis$ = 「もし仮に「毒々しいけど酒臭くない」ということは偽であるならば取得し易くない」物はある ; $proof$ = 
fact15 -> int1: もし「あの金判は毒々しい一方で酒臭くない」ということは誤りなら取得し易くない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの連邦憲法的法律が抗い難いけれど利用し難くないとしたらそれは取得し易くない
事実2: もし仮にある物が無声化し易いとしたら配置転換するということはない
事実3: 「「代謝するしそれにしても良くない」ということは事実と異なるとすると取り難い」ものはある
事実4: 「地域主義であるとしたら感情移入しない」ものはある
事実5: 「仮に「固定化するし惜しくない」ということは誤りであるとすると感情移入する」物はある
事実6: 「「レンタルビデオだし更に盛らない」ということは成り立たないなら済ま無い」ものはある
事実7: もしも「この教習は葉身であるけれど思慮深くない」ということは成り立つということはないとしたらそれは定義的属性でない
事実8: 仮に「「なにかは詳述するが実現すらない」ということは事実だ」ということは偽であるとすればそれは超過勤務時間である
事実9: 「その遺伝子組み替え作物は地方武士であるがそれは毒々しかない」ということは真実だとすれば御早くない
事実10: 「なんらかのものはＨＥＶである」ということは正しいとすればそれは駆け始めるということはない
事実11: 毒々しいということはない物は取得し易くない
事実12: 仮に「なにがしかの物は酒臭いけど傷付け易くない」ということは事実と異なるとしたら親らしくない
事実13: もしある物が渾名するがしかし笑わないならば浸入しない
事実14: もし「あの金判は取得し易いがしかしそれは取り掛かり易くない」ということは成り立たないとすれば「それは散らし配達給料だ」ということは確かだ
事実15: 「「何かは毒々しい一方でそれは酒臭くない」ということは成り立つ」ということは成り立つということはないとすれば取得し易くない
事実16: 「もし仮に「締め上げるしかつ共存し得ない」ということは間違いであるとすると通信出来る」物はある
事実17: もし「ある物は売り続けるが超過勤務時間でない」ということは本当でないならばそれは引き出す
事実18: もしも「あの金判は取得し易いがそれは除菌効果でない」ということは本当でないとすると反応す
事実19: 「もしも「「このパッキングは笑うけど毒々しかない」ということは真実だ」ということは誤っているとするとこのパッキングは構築出来ない」ということは正しい
事実20: 「仮に「親らしい一方で夢見ない」ということは間違っているとすれば分かり易くない」物はある

仮説: 「もし仮に「毒々しいけど酒臭くない」ということは偽であるならば取得し易くない」物はある
1. 事実15から、推論1: "もし「あの金判は毒々しい一方で酒臭くない」ということは誤りなら取得し易くない"が導かれる
2. 推論1から、仮説が導かれる

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