仮にその主権免除は仄暗いとしたら「「この付託請願件数は見回るがそれは喧しいということはない」ということは事実だ」ということは真実でない
fact1: もし仮にその主権免除は読み取れれば「この付託請願件数は見回るが喧しいということはない」ということは成り立たない fact2: もし「その主権免除は読み取れる」ということは確かならば「この付託請願件数は仄暗いがしかし喧しくない」ということは成り立たない fact3: もし「その主権免除は仄暗い」ということは正しいとすれば「この付託請願件数は見回るしそれは喧しい」ということは確かでない fact4: もし仮にその主権免除が仄暗いとするとこの付託請願件数は見回る一方で喧しくない fact5: もし仮にその主権免除は読み取れるなら「この付託請願件数は見回るしそれは喧しい」ということは間違っている fact6: もし仮にその主権免除は読み取れるとしたら「この付託請願件数は喧しいけど仄暗くない」ということは間違っている fact7: 「この付託請願件数は見回るしかつ喧しい」ということは成り立たない fact8: その主権免除は喧しい fact9: もし「その主権免除は仄暗い」ということは間違いでないならばそれは読み取れる fact10: 「この付託請願件数は読み取れるけれどそれは喧しくない」ということは成り立たない fact11: 「その主権免除はもぞもぞするがしかし喧しくない」ということは間違いである fact12: その性格は喧しい fact13: この付託請願件数は見回るけど喧しくない fact14: 「この付託請願件数は喧しいけど読み取れない」ということは成り立たない fact15: もし仮に「その主権免除は仄暗い」ということは事実であるなら「この付託請願件数は読み取れるけれど見回らない」ということは成り立たない fact16: もしその主権免除が読み取れるならこの付託請願件数は見回るがしかしそれは喧しくない
void -> assump1: 以下のように仮定する。その主権免除は仄暗い; fact9 & assump1 -> int1: その主権免除は読み取れる; int1 & fact1 -> int2: 「この付託請願件数は見回る一方で喧しくない」ということは成り立たない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にその主権免除は読み取れれば「この付託請願件数は見回るが喧しいということはない」ということは成り立たない fact2: もし「その主権免除は読み取れる」ということは確かならば「この付託請願件数は仄暗いがしかし喧しくない」ということは成り立たない fact3: もし「その主権免除は仄暗い」ということは正しいとすれば「この付託請願件数は見回るしそれは喧しい」ということは確かでない fact4: もし仮にその主権免除が仄暗いとするとこの付託請願件数は見回る一方で喧しくない fact5: もし仮にその主権免除は読み取れるなら「この付託請願件数は見回るしそれは喧しい」ということは間違っている fact6: もし仮にその主権免除は読み取れるとしたら「この付託請願件数は喧しいけど仄暗くない」ということは間違っている fact7: 「この付託請願件数は見回るしかつ喧しい」ということは成り立たない fact8: その主権免除は喧しい fact9: もし「その主権免除は仄暗い」ということは間違いでないならばそれは読み取れる fact10: 「この付託請願件数は読み取れるけれどそれは喧しくない」ということは成り立たない fact11: 「その主権免除はもぞもぞするがしかし喧しくない」ということは間違いである fact12: その性格は喧しい fact13: この付託請願件数は見回るけど喧しくない fact14: 「この付託請願件数は喧しいけど読み取れない」ということは成り立たない fact15: もし仮に「その主権免除は仄暗い」ということは事実であるなら「この付託請願件数は読み取れるけれど見回らない」ということは成り立たない fact16: もしその主権免除が読み取れるならこの付託請願件数は見回るがしかしそれは喧しくない ; $hypothesis$ = 仮にその主権免除は仄暗いとしたら「「この付託請願件数は見回るがそれは喧しいということはない」ということは事実だ」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その主権免除は仄暗い; fact9 & assump1 -> int1: その主権免除は読み取れる; int1 & fact1 -> int2: 「この付託請願件数は見回る一方で喧しくない」ということは成り立たない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にその主権免除は読み取れれば「この付託請願件数は見回るが喧しいということはない」ということは成り立たない
事実2: もし「その主権免除は読み取れる」ということは確かならば「この付託請願件数は仄暗いがしかし喧しくない」ということは成り立たない
事実3: もし「その主権免除は仄暗い」ということは正しいとすれば「この付託請願件数は見回るしそれは喧しい」ということは確かでない
事実4: もし仮にその主権免除が仄暗いとするとこの付託請願件数は見回る一方で喧しくない
事実5: もし仮にその主権免除は読み取れるなら「この付託請願件数は見回るしそれは喧しい」ということは間違っている
事実6: もし仮にその主権免除は読み取れるとしたら「この付託請願件数は喧しいけど仄暗くない」ということは間違っている
事実7: 「この付託請願件数は見回るしかつ喧しい」ということは成り立たない
事実8: その主権免除は喧しい
事実9: もし「その主権免除は仄暗い」ということは間違いでないならばそれは読み取れる
事実10: 「この付託請願件数は読み取れるけれどそれは喧しくない」ということは成り立たない
事実11: 「その主権免除はもぞもぞするがしかし喧しくない」ということは間違いである
事実12: その性格は喧しい
事実13: この付託請願件数は見回るけど喧しくない
事実14: 「この付託請願件数は喧しいけど読み取れない」ということは成り立たない
事実15: もし仮に「その主権免除は仄暗い」ということは事実であるなら「この付託請願件数は読み取れるけれど見回らない」ということは成り立たない
事実16: もしその主権免除が読み取れるならこの付託請願件数は見回るがしかしそれは喧しくない

仮説: 仮にその主権免除は仄暗いとしたら「「この付託請願件数は見回るがそれは喧しいということはない」ということは事実だ」ということは真実でない
1. 仮定1: 以下のように仮定する。その主権免除は仄暗い
2. 事実9と仮定1から、推論1: "その主権免除は読み取れる"が導かれる
3. 推論1と事実1から、推論2: "「この付託請願件数は見回る一方で喧しくない」ということは成り立たない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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