あの流通系クレジット会社は取り辛い
fact1: なんらかの物は酸化し難いということはない fact2: その幾何学的図形は酸化し難いということはないとすれば「この成熟毒素は酸化し難くない」ということは正しい fact3: もし仮になんらかの物が横付けするがしかし酸化し難くないとするとあの流通系クレジット会社は取り辛い fact4: 仮に「この成熟毒素は横付けしないがそれは必修である」ということは成り立たないとしたらそれは酸化し難いということはない fact5: なんらかのものが横付けするししかも酸化し難いならばあの流通系クレジット会社は取り辛い fact6: もしその幾何学的図形が酸化し難くないとするとこの成熟毒素は横付けする一方でそれは酸化し難くない fact7: その幾何学的図形は塩辛いし加えてそれは付け難い fact8: このレボリューションは柔らか過ぎる fact9: 塩辛いものは付け難いか取り辛くないかまたは両方だ fact10: その幾何学的図形は柔らか過ぎるしかつ付け難いとすればそれは酸化し難くない fact11: この成熟毒素は酸化し難くない fact12: その幾何学的図形は塩辛い fact13: その幾何学的図形は柔らか過ぎる
fact7 -> int1: 「その幾何学的図形は付け難い」ということは事実だ; int1 & fact13 -> int2: その幾何学的図形は柔らか過ぎるし付け難い; int2 & fact10 -> int3: 「その幾何学的図形は酸化し難くない」ということは本当である; int3 & fact6 -> int4: この成熟毒素は横付けするがしかしそれは酸化し難いということはない; int4 -> int5: 「横付けする一方で酸化し難くない」物はある; int5 & fact3 -> hypothesis;
あの流通系クレジット会社は取り辛いということはない
fact14 -> int6: 仮に「その幾何学的図形は塩辛い」ということは本当であるとしたら付け難いか取り辛くないかどちらもである;
$facts$ = fact1: なんらかの物は酸化し難いということはない fact2: その幾何学的図形は酸化し難いということはないとすれば「この成熟毒素は酸化し難くない」ということは正しい fact3: もし仮になんらかの物が横付けするがしかし酸化し難くないとするとあの流通系クレジット会社は取り辛い fact4: 仮に「この成熟毒素は横付けしないがそれは必修である」ということは成り立たないとしたらそれは酸化し難いということはない fact5: なんらかのものが横付けするししかも酸化し難いならばあの流通系クレジット会社は取り辛い fact6: もしその幾何学的図形が酸化し難くないとするとこの成熟毒素は横付けする一方でそれは酸化し難くない fact7: その幾何学的図形は塩辛いし加えてそれは付け難い fact8: このレボリューションは柔らか過ぎる fact9: 塩辛いものは付け難いか取り辛くないかまたは両方だ fact10: その幾何学的図形は柔らか過ぎるしかつ付け難いとすればそれは酸化し難くない fact11: この成熟毒素は酸化し難くない fact12: その幾何学的図形は塩辛い fact13: その幾何学的図形は柔らか過ぎる ; $hypothesis$ = あの流通系クレジット会社は取り辛い ; $proof$ = 
fact7 -> int1: 「その幾何学的図形は付け難い」ということは事実だ; int1 & fact13 -> int2: その幾何学的図形は柔らか過ぎるし付け難い; int2 & fact10 -> int3: 「その幾何学的図形は酸化し難くない」ということは本当である; int3 & fact6 -> int4: この成熟毒素は横付けするがしかしそれは酸化し難いということはない; int4 -> int5: 「横付けする一方で酸化し難くない」物はある; int5 & fact3 -> hypothesis; __PROVED__
事実1: なんらかの物は酸化し難いということはない
事実2: その幾何学的図形は酸化し難いということはないとすれば「この成熟毒素は酸化し難くない」ということは正しい
事実3: もし仮になんらかの物が横付けするがしかし酸化し難くないとするとあの流通系クレジット会社は取り辛い
事実4: 仮に「この成熟毒素は横付けしないがそれは必修である」ということは成り立たないとしたらそれは酸化し難いということはない
事実5: なんらかのものが横付けするししかも酸化し難いならばあの流通系クレジット会社は取り辛い
事実6: もしその幾何学的図形が酸化し難くないとするとこの成熟毒素は横付けする一方でそれは酸化し難くない
事実7: その幾何学的図形は塩辛いし加えてそれは付け難い
事実8: このレボリューションは柔らか過ぎる
事実9: 塩辛いものは付け難いか取り辛くないかまたは両方だ
事実10: その幾何学的図形は柔らか過ぎるしかつ付け難いとすればそれは酸化し難くない
事実11: この成熟毒素は酸化し難くない
事実12: その幾何学的図形は塩辛い
事実13: その幾何学的図形は柔らか過ぎる

仮説: あの流通系クレジット会社は取り辛い
1. 事実7から、推論1: "「その幾何学的図形は付け難い」ということは事実だ"が導かれる
2. 推論1と事実13から、推論2: "その幾何学的図形は柔らか過ぎるし付け難い"が導かれる
3. 推論2と事実10から、推論3: "「その幾何学的図形は酸化し難くない」ということは本当である"が導かれる
4. 推論3と事実6から、推論4: "この成熟毒素は横付けするがしかしそれは酸化し難いということはない"が導かれる
5. 推論4から、推論5: "「横付けする一方で酸化し難くない」物はある"が導かれる
6. 推論5と事実3から、仮説が導かれる

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