「その仮設は其れっぽいものでかつ運び上げる」ということは成り立たない
fact1: その仮設は其れらしい fact2: この物質輸送が経済団体だとすれば第三譜でないし其れらしいということはない fact3: その仮設は第三譜である fact4: もし仮にその仮設は経済団体でないならば「それは其れっぽいしかつ運び上げる」ということは成り立たない fact5: もし「その仮設は其れらしいし第三譜だ」ということは成り立つとしたらそれは経済団体だということはない
fact1 & fact3 -> int1: その仮設は其れらしいしそれに第三譜だ; int1 & fact5 -> int2: その仮設は経済団体でない; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis;
その仮設は其れっぽくてそれは運び上げる
$facts$ = fact1: その仮設は其れらしい fact2: この物質輸送が経済団体だとすれば第三譜でないし其れらしいということはない fact3: その仮設は第三譜である fact4: もし仮にその仮設は経済団体でないならば「それは其れっぽいしかつ運び上げる」ということは成り立たない fact5: もし「その仮設は其れらしいし第三譜だ」ということは成り立つとしたらそれは経済団体だということはない ; $hypothesis$ = 「その仮設は其れっぽいものでかつ運び上げる」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: その仮設は其れらしいしそれに第三譜だ; int1 & fact5 -> int2: その仮設は経済団体でない; int2 & fact4 -> hypothesis; __PROVED__
事実1: その仮設は其れらしい
事実2: この物質輸送が経済団体だとすれば第三譜でないし其れらしいということはない
事実3: その仮設は第三譜である
事実4: もし仮にその仮設は経済団体でないならば「それは其れっぽいしかつ運び上げる」ということは成り立たない
事実5: もし「その仮設は其れらしいし第三譜だ」ということは成り立つとしたらそれは経済団体だということはない

仮説: 「その仮設は其れっぽいものでかつ運び上げる」ということは成り立たない
1. 事実1と事実3から、推論1: "その仮設は其れらしいしそれに第三譜だ"が導かれる
2. 推論1と事実5から、推論2: "その仮設は経済団体でない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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