「その六雑誌は小狡くないけど上げ難い」ということは事実と異なる
fact1: 図々しいということはないものは小狡くないけれど上げ難い fact2: 仮にこの手形法は上げ難くないなら「その六雑誌は小狡くないがしかし上げ難い」ということは間違いである fact3: その六雑誌が僭称しないとしたら図々しかないしおまけにそれは動物性プランクトンでない fact4: もし「図々しいしかつ動物性プランクトンでない」ものがあるならこの手形法は僭称しない fact5: 仮に図々しいということはない物は動物性プランクトンでないなら「この手形法は僭称しない」ということは真実だ fact6: 仮に何かは図々しかないが動物性プランクトンだとしたらこの手形法は僭称しない fact7: 「図々しかないし更に動物性プランクトンでない」ものはある fact8: もしもその六雑誌は小狡くないならば「この手形法は上げ難いということはないがしかし小狡い」ということは誤りである fact9: 仮になんらかの物が僭称しないとするとそれは上げ難くない
fact7 & fact5 -> int1: 「この手形法は僭称しない」ということは正しい; fact9 -> int2: この手形法が僭称しないならばそれは上げ難くない; int1 & int2 -> int3: この手形法は上げ難くない; int3 & fact2 -> hypothesis;
fact7 & fact5 -> int1: ¬{C}{a}; fact9 -> int2: ¬{C}{a} -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact2 -> hypothesis;
その六雑誌は小狡くないけれど上げ難い
fact10 -> int4: もしその六雑誌が図々しかないなら小狡くないし加えてそれは上げ難い;
$facts$ = fact1: 図々しいということはないものは小狡くないけれど上げ難い fact2: 仮にこの手形法は上げ難くないなら「その六雑誌は小狡くないがしかし上げ難い」ということは間違いである fact3: その六雑誌が僭称しないとしたら図々しかないしおまけにそれは動物性プランクトンでない fact4: もし「図々しいしかつ動物性プランクトンでない」ものがあるならこの手形法は僭称しない fact5: 仮に図々しいということはない物は動物性プランクトンでないなら「この手形法は僭称しない」ということは真実だ fact6: 仮に何かは図々しかないが動物性プランクトンだとしたらこの手形法は僭称しない fact7: 「図々しかないし更に動物性プランクトンでない」ものはある fact8: もしもその六雑誌は小狡くないならば「この手形法は上げ難いということはないがしかし小狡い」ということは誤りである fact9: 仮になんらかの物が僭称しないとするとそれは上げ難くない ; $hypothesis$ = 「その六雑誌は小狡くないけど上げ難い」ということは事実と異なる ; $proof$ = 
fact7 & fact5 -> int1: 「この手形法は僭称しない」ということは正しい; fact9 -> int2: この手形法が僭称しないならばそれは上げ難くない; int1 & int2 -> int3: この手形法は上げ難くない; int3 & fact2 -> hypothesis; __PROVED__
事実1: 図々しいということはないものは小狡くないけれど上げ難い
事実2: 仮にこの手形法は上げ難くないなら「その六雑誌は小狡くないがしかし上げ難い」ということは間違いである
事実3: その六雑誌が僭称しないとしたら図々しかないしおまけにそれは動物性プランクトンでない
事実4: もし「図々しいしかつ動物性プランクトンでない」ものがあるならこの手形法は僭称しない
事実5: 仮に図々しいということはない物は動物性プランクトンでないなら「この手形法は僭称しない」ということは真実だ
事実6: 仮に何かは図々しかないが動物性プランクトンだとしたらこの手形法は僭称しない
事実7: 「図々しかないし更に動物性プランクトンでない」ものはある
事実8: もしもその六雑誌は小狡くないならば「この手形法は上げ難いということはないがしかし小狡い」ということは誤りである
事実9: 仮になんらかの物が僭称しないとするとそれは上げ難くない

仮説: 「その六雑誌は小狡くないけど上げ難い」ということは事実と異なる
1. 事実7と事実5から、推論1: "「この手形法は僭称しない」ということは正しい"が導かれる
2. 事実9から、推論2: "この手形法が僭称しないならばそれは上げ難くない"が導かれる
3. 推論1と推論2から、推論3: "この手形法は上げ難くない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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