「この陣笠は立派過ぎない」ということは嘘でない
fact1: 「その地区懇談会は御悪いし加えて立派過ぎる」ということは偽だ fact2: もし仮に「その拝借は精根尽き果てないししかも立派過ぎない」ということは事実と異なるとすれば「あの十九：零零サントリーホールは立派過ぎる」ということは真実だ fact3: 「この皮膚科疾患は投獄するけど併用しない」ということは間違いならばあの拝借は毟り取らない fact4: もしもなにがしかの物は毟り取らないとしたら「精根尽き果てないしさらに立派過ぎない」ということは偽である fact5: もし仮に「その拝借は投獄する」ということは成り立つとすれば「それはカラーコーディネーターでないし併用する」ということは成り立たない fact6: もし「何かはカラーコーディネーターでないけれど併用する」ということは嘘であるならば併用しない fact7: もしもとある物が併用しないとすれば毟り取るし精根尽き果てない fact8: その拝借は精根尽き果てる fact9: 「「飲み残すけれどダブルドリブルでない」ということは成り立たない」ものがあるならその拝借は精根尽き果てない fact10: 仮にその拝借が毟り取るとすると間諜である fact11: その拝借は立派過ぎる fact12: 「飲み残すがしかしダブルドリブルでない」ものはある fact13: 仮にとあるものは飲み残すけれどダブルドリブルでないならばそれは毟り取る fact14: もしもこの陣笠は毟り取るなら「それは立派過ぎる」ということは成り立つ fact15: 「「ダブルドリブルである一方で精根尽き果てない」ということは偽である」物はある
void -> assump1: 以下のように仮定する。「この陣笠は飲み残す一方でダブルドリブルでない」ということは嘘だ; assump1 -> int1: 「「飲み残すけどダブルドリブルでない」ということは成り立たない」ものはある; int1 & fact9 -> int2: その拝借は精根尽き果てない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: この陣笠は飲み残すがしかしダブルドリブルでない; fact13 -> int5: この陣笠は飲み残すけれどダブルドリブルでないとすればそれは毟り取る; int4 & int5 -> int6: この陣笠は毟り取る; int6 & fact14 -> hypothesis;
「あの十九：零零サントリーホールは立派過ぎる」ということは事実である
fact16 -> int7: その拝借は毟り取るということはないならば「精根尽き果てないし立派過ぎない」ということは誤りである;
$facts$ = fact1: 「その地区懇談会は御悪いし加えて立派過ぎる」ということは偽だ fact2: もし仮に「その拝借は精根尽き果てないししかも立派過ぎない」ということは事実と異なるとすれば「あの十九：零零サントリーホールは立派過ぎる」ということは真実だ fact3: 「この皮膚科疾患は投獄するけど併用しない」ということは間違いならばあの拝借は毟り取らない fact4: もしもなにがしかの物は毟り取らないとしたら「精根尽き果てないしさらに立派過ぎない」ということは偽である fact5: もし仮に「その拝借は投獄する」ということは成り立つとすれば「それはカラーコーディネーターでないし併用する」ということは成り立たない fact6: もし「何かはカラーコーディネーターでないけれど併用する」ということは嘘であるならば併用しない fact7: もしもとある物が併用しないとすれば毟り取るし精根尽き果てない fact8: その拝借は精根尽き果てる fact9: 「「飲み残すけれどダブルドリブルでない」ということは成り立たない」ものがあるならその拝借は精根尽き果てない fact10: 仮にその拝借が毟り取るとすると間諜である fact11: その拝借は立派過ぎる fact12: 「飲み残すがしかしダブルドリブルでない」ものはある fact13: 仮にとあるものは飲み残すけれどダブルドリブルでないならばそれは毟り取る fact14: もしもこの陣笠は毟り取るなら「それは立派過ぎる」ということは成り立つ fact15: 「「ダブルドリブルである一方で精根尽き果てない」ということは偽である」物はある ; $hypothesis$ = 「この陣笠は立派過ぎない」ということは嘘でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この陣笠は飲み残す一方でダブルドリブルでない」ということは嘘だ; assump1 -> int1: 「「飲み残すけどダブルドリブルでない」ということは成り立たない」ものはある; int1 & fact9 -> int2: その拝借は精根尽き果てない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: この陣笠は飲み残すがしかしダブルドリブルでない; fact13 -> int5: この陣笠は飲み残すけれどダブルドリブルでないとすればそれは毟り取る; int4 & int5 -> int6: この陣笠は毟り取る; int6 & fact14 -> hypothesis; __DISPROVED__
事実1: 「その地区懇談会は御悪いし加えて立派過ぎる」ということは偽だ
事実2: もし仮に「その拝借は精根尽き果てないししかも立派過ぎない」ということは事実と異なるとすれば「あの十九：零零サントリーホールは立派過ぎる」ということは真実だ
事実3: 「この皮膚科疾患は投獄するけど併用しない」ということは間違いならばあの拝借は毟り取らない
事実4: もしもなにがしかの物は毟り取らないとしたら「精根尽き果てないしさらに立派過ぎない」ということは偽である
事実5: もし仮に「その拝借は投獄する」ということは成り立つとすれば「それはカラーコーディネーターでないし併用する」ということは成り立たない
事実6: もし「何かはカラーコーディネーターでないけれど併用する」ということは嘘であるならば併用しない
事実7: もしもとある物が併用しないとすれば毟り取るし精根尽き果てない
事実8: その拝借は精根尽き果てる
事実9: 「「飲み残すけれどダブルドリブルでない」ということは成り立たない」ものがあるならその拝借は精根尽き果てない
事実10: 仮にその拝借が毟り取るとすると間諜である
事実11: その拝借は立派過ぎる
事実12: 「飲み残すがしかしダブルドリブルでない」ものはある
事実13: 仮にとあるものは飲み残すけれどダブルドリブルでないならばそれは毟り取る
事実14: もしもこの陣笠は毟り取るなら「それは立派過ぎる」ということは成り立つ
事実15: 「「ダブルドリブルである一方で精根尽き果てない」ということは偽である」物はある

仮説: 「この陣笠は立派過ぎない」ということは嘘でない
1. 仮定1: 以下のように仮定する。「この陣笠は飲み残す一方でダブルドリブルでない」ということは嘘だ
2. 仮定1から、推論1: "「「飲み残すけどダブルドリブルでない」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実9から、推論2: "その拝借は精根尽き果てない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この陣笠は飲み残すがしかしダブルドリブルでない"が導かれる
6. 事実13から、推論5: "この陣笠は飲み残すけれどダブルドリブルでないとすればそれは毟り取る"が導かれる
7. 推論4と推論5から、推論6: "この陣笠は毟り取る"が導かれる
8. 推論6と事実14から、仮説が否定される

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