あの建て替えは垂んとしない
fact1: もしも「でっかいということはない」物はあるとしたら「あの建て替えは垂んとする」ということは正しい fact2: 「「垂んとするがしかしでっかくない」ということは嘘である」物はある fact3: もし「「でっかくておまけに知り難くない」ということは成り立つということはない」物はあるとしたら「あの建て替えは垂んとする」ということは成り立つ fact4: 「「御待ちに成るし加えて人らしくない」ということは誤っている」ものはある fact5: でっかいし加えて知り難くないものはない fact6: 「そのスノーモビルは政治面だがしかしそれは垂んとしない」ということは誤りである
fact5 -> int1: 「そのＦＵはでっかいけど知り難くない」ということは成り立たない; int1 -> int2: 「「「でっかい一方で知り難くない」ということは本当だ」ということは間違っている」ものはある; int2 & fact3 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: もしも「でっかいということはない」物はあるとしたら「あの建て替えは垂んとする」ということは正しい fact2: 「「垂んとするがしかしでっかくない」ということは嘘である」物はある fact3: もし「「でっかくておまけに知り難くない」ということは成り立つということはない」物はあるとしたら「あの建て替えは垂んとする」ということは成り立つ fact4: 「「御待ちに成るし加えて人らしくない」ということは誤っている」ものはある fact5: でっかいし加えて知り難くないものはない fact6: 「そのスノーモビルは政治面だがしかしそれは垂んとしない」ということは誤りである ; $hypothesis$ = あの建て替えは垂んとしない ; $proof$ = 
fact5 -> int1: 「そのＦＵはでっかいけど知り難くない」ということは成り立たない; int1 -> int2: 「「「でっかい一方で知り難くない」ということは本当だ」ということは間違っている」ものはある; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも「でっかいということはない」物はあるとしたら「あの建て替えは垂んとする」ということは正しい
事実2: 「「垂んとするがしかしでっかくない」ということは嘘である」物はある
事実3: もし「「でっかくておまけに知り難くない」ということは成り立つということはない」物はあるとしたら「あの建て替えは垂んとする」ということは成り立つ
事実4: 「「御待ちに成るし加えて人らしくない」ということは誤っている」ものはある
事実5: でっかいし加えて知り難くないものはない
事実6: 「そのスノーモビルは政治面だがしかしそれは垂んとしない」ということは誤りである

仮説: あの建て替えは垂んとしない
1. 事実5から、推論1: "「そのＦＵはでっかいけど知り難くない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「「でっかい一方で知り難くない」ということは本当だ」ということは間違っている」ものはある"が導かれる
3. 推論2と事実3から、仮説が否定される

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