「「「仮に柔いならば「投げ合わないかもしくは資産計上しない」ということは成り立たない」物はある」ということは真実だ」ということは成り立たない
fact1: 「もし仮に「柔い」ということは真実であるとしたら投げ合わないかあるいは資産計上しない」ものはある fact2: 仮にあのクロス張り替えは柔いならば「それは投げ合うかそれは資産計上しない」ということは成り立たない fact3: 「もしも「柔い」ということは真実だとすれば「投げ合わないかもしくは資産計上するかまたはどちらもである」ということは偽である」ものはある fact4: 「柔いならば「資産計上する」ということは本当な」ものはある fact5: もしもあのクロス張り替えは柔いとすれば「それは投げ合うということはないかまたは資産計上しないか両方ともだ」ということは成り立たない fact6: 「もし仮に馬車であるなら「立て掛けないかまたは限定出来ないかあるいは両方である」ということは事実と異なる」ものはある fact7: 「もしも柔いなら投げ合う」ものはある fact8: 「もし仮にタイムテーブルであるとすると荒っぽい」ものはある fact9: もしなにかは疎むとすれば「それは柔くないかあるいはそれは気高しないかどちらもである」ということは事実でない fact10: 「「もし行き難いならば「痛いかあるいはタイムテーブルでないかもしくは両方だ」ということは誤っている」ものはある」ということは真実だ
fact5 -> hypothesis;
もし仮にこのインサイダーは疎むとしたら「柔くないかあるいはそれは気高しない」ということは間違いである
fact11 -> hypothesis;
$facts$ = fact1: 「もし仮に「柔い」ということは真実であるとしたら投げ合わないかあるいは資産計上しない」ものはある fact2: 仮にあのクロス張り替えは柔いならば「それは投げ合うかそれは資産計上しない」ということは成り立たない fact3: 「もしも「柔い」ということは真実だとすれば「投げ合わないかもしくは資産計上するかまたはどちらもである」ということは偽である」ものはある fact4: 「柔いならば「資産計上する」ということは本当な」ものはある fact5: もしもあのクロス張り替えは柔いとすれば「それは投げ合うということはないかまたは資産計上しないか両方ともだ」ということは成り立たない fact6: 「もし仮に馬車であるなら「立て掛けないかまたは限定出来ないかあるいは両方である」ということは事実と異なる」ものはある fact7: 「もしも柔いなら投げ合う」ものはある fact8: 「もし仮にタイムテーブルであるとすると荒っぽい」ものはある fact9: もしなにかは疎むとすれば「それは柔くないかあるいはそれは気高しないかどちらもである」ということは事実でない fact10: 「「もし行き難いならば「痛いかあるいはタイムテーブルでないかもしくは両方だ」ということは誤っている」ものはある」ということは真実だ ; $hypothesis$ = 「「「仮に柔いならば「投げ合わないかもしくは資産計上しない」ということは成り立たない」物はある」ということは真実だ」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「柔い」ということは真実であるとしたら投げ合わないかあるいは資産計上しない」ものはある
事実2: 仮にあのクロス張り替えは柔いならば「それは投げ合うかそれは資産計上しない」ということは成り立たない
事実3: 「もしも「柔い」ということは真実だとすれば「投げ合わないかもしくは資産計上するかまたはどちらもである」ということは偽である」ものはある
事実4: 「柔いならば「資産計上する」ということは本当な」ものはある
事実5: もしもあのクロス張り替えは柔いとすれば「それは投げ合うということはないかまたは資産計上しないか両方ともだ」ということは成り立たない
事実6: 「もし仮に馬車であるなら「立て掛けないかまたは限定出来ないかあるいは両方である」ということは事実と異なる」ものはある
事実7: 「もしも柔いなら投げ合う」ものはある
事実8: 「もし仮にタイムテーブルであるとすると荒っぽい」ものはある
事実9: もしなにかは疎むとすれば「それは柔くないかあるいはそれは気高しないかどちらもである」ということは事実でない
事実10: 「「もし行き難いならば「痛いかあるいはタイムテーブルでないかもしくは両方だ」ということは誤っている」ものはある」ということは真実だ

仮説: 「「「仮に柔いならば「投げ合わないかもしくは資産計上しない」ということは成り立たない」物はある」ということは真実だ」ということは成り立たない
1. 事実5から、仮説が否定される

よって、仮説が否定されました。