「仮に少なしとすれば「開析しないし競争する」ということは偽な」物はある
fact1: もし仮にこの流動資産が少なしならそれは開析しないけど競争する fact2: もしとあるものは解析出来るなら「企業法務担当者でないしそれはまどろっこしい」ということは嘘だ fact3: もし仮に「この流動資産は少なし」ということは誤っていないならば「それは開析するし競争する」ということは成り立たない fact4: もしも何らかの物は少なしならば「それは開析するししかも競争する」ということは真実でない fact5: 少なしものは開析しないけど競争する fact6: もし仮にとあるものは少なしならば「開析しなくて更にそれは競争する」ということは成り立つということはない fact7: 「仮にしがないならばひょろ長いということはないけど反応し易い」物はある
fact6 -> int1: この流動資産は少なしならば「それは開析しないが競争する」ということは成り立たない; int1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「もしも解析出来るとすると「企業法務担当者でないがまどろっこしい」ということは成り立たない」ものはある
fact8 -> int2: もしも「この要諦は解析出来る」ということは成り立つとしたら「それは企業法務担当者でないがまどろっこしい」ということは事実と異なる; int2 -> hypothesis;
$facts$ = fact1: もし仮にこの流動資産が少なしならそれは開析しないけど競争する fact2: もしとあるものは解析出来るなら「企業法務担当者でないしそれはまどろっこしい」ということは嘘だ fact3: もし仮に「この流動資産は少なし」ということは誤っていないならば「それは開析するし競争する」ということは成り立たない fact4: もしも何らかの物は少なしならば「それは開析するししかも競争する」ということは真実でない fact5: 少なしものは開析しないけど競争する fact6: もし仮にとあるものは少なしならば「開析しなくて更にそれは競争する」ということは成り立つということはない fact7: 「仮にしがないならばひょろ長いということはないけど反応し易い」物はある ; $hypothesis$ = 「仮に少なしとすれば「開析しないし競争する」ということは偽な」物はある ; $proof$ = 
fact6 -> int1: この流動資産は少なしならば「それは開析しないが競争する」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの流動資産が少なしならそれは開析しないけど競争する
事実2: もしとあるものは解析出来るなら「企業法務担当者でないしそれはまどろっこしい」ということは嘘だ
事実3: もし仮に「この流動資産は少なし」ということは誤っていないならば「それは開析するし競争する」ということは成り立たない
事実4: もしも何らかの物は少なしならば「それは開析するししかも競争する」ということは真実でない
事実5: 少なしものは開析しないけど競争する
事実6: もし仮にとあるものは少なしならば「開析しなくて更にそれは競争する」ということは成り立つということはない
事実7: 「仮にしがないならばひょろ長いということはないけど反応し易い」物はある

仮説: 「仮に少なしとすれば「開析しないし競争する」ということは偽な」物はある
1. 事実6から、推論1: "この流動資産は少なしならば「それは開析しないが競争する」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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