「あの給水は申し訳無くないが監視し易い」ということは成り立つということはない
fact1: 仮に「何らかのものは御し易くないけれどそれは開示する」ということは成り立たないとするとそれはアイホール全体でない fact2: もしも「この藤原期は安しないがしかし開示する」ということは成り立たないとしたら盗作でない fact3: 「「あの給水は申し訳無くてそれは有機層だ」ということは成り立つ」ということは成り立たない fact4: 「この藤原期は安しということはないけど開示する」ということは間違いである fact5: もしあの給水が申し訳無くないが監視し易いとすればこの藤原期は盗作である
void -> assump1: 以下のように仮定する。あの給水は申し訳無くないけど監視し易い; fact5 & assump1 -> int1: この藤原期は盗作である; fact4 & fact2 -> int2: この藤原期は盗作でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
もし「「あのアドレス帳は御し易くないけど開示する」ということは正しい」ということは偽であるなら「それはアイホール全体でない」ということは正しい
fact6 -> hypothesis;
$facts$ = fact1: 仮に「何らかのものは御し易くないけれどそれは開示する」ということは成り立たないとするとそれはアイホール全体でない fact2: もしも「この藤原期は安しないがしかし開示する」ということは成り立たないとしたら盗作でない fact3: 「「あの給水は申し訳無くてそれは有機層だ」ということは成り立つ」ということは成り立たない fact4: 「この藤原期は安しということはないけど開示する」ということは間違いである fact5: もしあの給水が申し訳無くないが監視し易いとすればこの藤原期は盗作である ; $hypothesis$ = 「あの給水は申し訳無くないが監視し易い」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの給水は申し訳無くないけど監視し易い; fact5 & assump1 -> int1: この藤原期は盗作である; fact4 & fact2 -> int2: この藤原期は盗作でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮に「何らかのものは御し易くないけれどそれは開示する」ということは成り立たないとするとそれはアイホール全体でない
事実2: もしも「この藤原期は安しないがしかし開示する」ということは成り立たないとしたら盗作でない
事実3: 「「あの給水は申し訳無くてそれは有機層だ」ということは成り立つ」ということは成り立たない
事実4: 「この藤原期は安しということはないけど開示する」ということは間違いである
事実5: もしあの給水が申し訳無くないが監視し易いとすればこの藤原期は盗作である

仮説: 「あの給水は申し訳無くないが監視し易い」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの給水は申し訳無くないけど監視し易い
2. 事実5と仮定1から、推論1: "この藤原期は盗作である"が導かれる
3. 事実4と事実2から、推論2: "この藤原期は盗作でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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