この某所は全官公であるということはない
fact1: 仮になんらかの物は癖しないとすると「全官公であるということはなくておまけに身内審査でない」ということは誤りだ fact2: もしもその大画面が入り込めるとすればこの某所は癖するということはないか願い上げ奉るということはない fact3: もしこの某所が身内審査であるならその大画面は全官公だ fact4: この某所が全官公であるとしたらその大画面は癖する fact5: その大画面は運び込む fact6: 仮にあるものはアドバイザーでないならばそれは願い上げ奉るしその上手酷い fact7: その大画面は身内審査だ fact8: その大画面は癖するということはないけど身内審査だ fact9: もしも何かは願い上げ奉るなら入り込める fact10: 「この某所は狭苦しくないがしかしそれは拾い集める」ということは成り立つ fact11: 「この某所は身内審査でない」ということは成り立つ fact12: その絹鎖は癖しない fact13: この内容紹介文は零れない一方で癖する fact14: この某所はアドバイザーでないかまたはエグゾーストであるかまたは両方ともならばそれはアドバイザーでない fact15: もし「なにかは全官公でないしおまけに身内審査でない」ということは嘘ならそれは全官公である fact16: もしこの某所は入り込めるなら「それは癖しない」ということは確かだ fact17: もしも何らかのものが癖しないとしたら身内審査であるししかも全官公である
void -> assump1: 以下のように仮定する。この某所は全官公だ; fact4 & assump1 -> int1: その大画面は癖する; fact8 -> int2: その大画面は癖しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その補助刺激は身内審査だ」ということは事実だ
fact19 -> int4: 仮に「その補助刺激は癖しない」ということは成り立つなら身内審査だし加えて全官公である;
$facts$ = fact1: 仮になんらかの物は癖しないとすると「全官公であるということはなくておまけに身内審査でない」ということは誤りだ fact2: もしもその大画面が入り込めるとすればこの某所は癖するということはないか願い上げ奉るということはない fact3: もしこの某所が身内審査であるならその大画面は全官公だ fact4: この某所が全官公であるとしたらその大画面は癖する fact5: その大画面は運び込む fact6: 仮にあるものはアドバイザーでないならばそれは願い上げ奉るしその上手酷い fact7: その大画面は身内審査だ fact8: その大画面は癖するということはないけど身内審査だ fact9: もしも何かは願い上げ奉るなら入り込める fact10: 「この某所は狭苦しくないがしかしそれは拾い集める」ということは成り立つ fact11: 「この某所は身内審査でない」ということは成り立つ fact12: その絹鎖は癖しない fact13: この内容紹介文は零れない一方で癖する fact14: この某所はアドバイザーでないかまたはエグゾーストであるかまたは両方ともならばそれはアドバイザーでない fact15: もし「なにかは全官公でないしおまけに身内審査でない」ということは嘘ならそれは全官公である fact16: もしこの某所は入り込めるなら「それは癖しない」ということは確かだ fact17: もしも何らかのものが癖しないとしたら身内審査であるししかも全官公である ; $hypothesis$ = この某所は全官公であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この某所は全官公だ; fact4 & assump1 -> int1: その大画面は癖する; fact8 -> int2: その大画面は癖しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は癖しないとすると「全官公であるということはなくておまけに身内審査でない」ということは誤りだ
事実2: もしもその大画面が入り込めるとすればこの某所は癖するということはないか願い上げ奉るということはない
事実3: もしこの某所が身内審査であるならその大画面は全官公だ
事実4: この某所が全官公であるとしたらその大画面は癖する
事実5: その大画面は運び込む
事実6: 仮にあるものはアドバイザーでないならばそれは願い上げ奉るしその上手酷い
事実7: その大画面は身内審査だ
事実8: その大画面は癖するということはないけど身内審査だ
事実9: もしも何かは願い上げ奉るなら入り込める
事実10: 「この某所は狭苦しくないがしかしそれは拾い集める」ということは成り立つ
事実11: 「この某所は身内審査でない」ということは成り立つ
事実12: その絹鎖は癖しない
事実13: この内容紹介文は零れない一方で癖する
事実14: この某所はアドバイザーでないかまたはエグゾーストであるかまたは両方ともならばそれはアドバイザーでない
事実15: もし「なにかは全官公でないしおまけに身内審査でない」ということは嘘ならそれは全官公である
事実16: もしこの某所は入り込めるなら「それは癖しない」ということは確かだ
事実17: もしも何らかのものが癖しないとしたら身内審査であるししかも全官公である

仮説: この某所は全官公であるということはない
1. 仮定1: 以下のように仮定する。この某所は全官公だ
2. 事実4と仮定1から、推論1: "その大画面は癖する"が導かれる
3. 事実8から、推論2: "その大画面は癖しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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