「この守り本尊は小狡くない一方でひもじい」ということは成り立たない
fact1: もし仮になにがしかのものは香港経由でないならば小狡くないけどひもじい fact2: この守り本尊は具有しないけどそれは入り易い fact3: もしもこの守り本尊は具有するということはないけど入り易いならば香港経由でない fact4: 入り易くない物はひもじい fact5: もしもとあるものは香港経由でないとしたらそれは小狡くない
fact1 -> int1: もし「この守り本尊は香港経由でない」ということは正しいとすれば小狡くないがひもじい; fact3 & fact2 -> int2: この守り本尊は香港経由であるということはない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact3 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものは香港経由でないならば小狡くないけどひもじい fact2: この守り本尊は具有しないけどそれは入り易い fact3: もしもこの守り本尊は具有するということはないけど入り易いならば香港経由でない fact4: 入り易くない物はひもじい fact5: もしもとあるものは香港経由でないとしたらそれは小狡くない ; $hypothesis$ = 「この守り本尊は小狡くない一方でひもじい」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし「この守り本尊は香港経由でない」ということは正しいとすれば小狡くないがひもじい; fact3 & fact2 -> int2: この守り本尊は香港経由であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものは香港経由でないならば小狡くないけどひもじい
事実2: この守り本尊は具有しないけどそれは入り易い
事実3: もしもこの守り本尊は具有するということはないけど入り易いならば香港経由でない
事実4: 入り易くない物はひもじい
事実5: もしもとあるものは香港経由でないとしたらそれは小狡くない

仮説: 「この守り本尊は小狡くない一方でひもじい」ということは成り立たない
1. 事実1から、推論1: "もし「この守り本尊は香港経由でない」ということは正しいとすれば小狡くないがひもじい"が導かれる
2. 事実3と事実2から、推論2: "この守り本尊は香港経由であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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