この計算構造は充填する
fact1: この基礎梁等は一キログラム当たりでそれにおもろいとすればフル活用しない fact2: この計算構造は充填しないとしたら「この基礎梁等は災害応急対策だがしかしそれは盛り立てるということはない」ということは誤っている fact3: この基礎梁等はおもろくない fact4: この基礎梁等は災害応急対策だ fact5: この基礎梁等は世界全域だ一方で日生連でない fact6: この計算構造は握り易い fact7: この計算構造は災害応急対策である fact8: この計算構造は筋違い道でない fact9: もし「何らかのものは栽培する」ということは事実ならそれは充填するということはないかあるいはフル活用するかあるいはどちらもだ fact10: あの出訴期間は充填しない fact11: この情緒不安定は災害応急対策でない fact12: あのシェーディングは有り難い一方で充填しない fact13: この基礎梁等は充填しないとすれば「この計算構造は災害応急対策だけれどそれは盛り立てない」ということは間違っている fact14: あの肺門リンパ節腫脹は充填しない fact15: この基礎梁等は宇佐八幡だ fact16: この基礎梁等は盛り立てない fact17: あの俳号は災害応急対策であるがそれは蒸し暑くない fact18: この計算構造は打ち寄せない fact19: この計算構造は盛り立てる fact20: この計算構造は想定し難い
void -> assump1: 以下のように仮定する。この計算構造は充填しない; fact2 & assump1 -> int1: 「この基礎梁等は災害応急対策であるけど盛り立てない」ということは誤りである; fact4 & fact16 -> int2: この基礎梁等は災害応急対策だが盛り立てない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この胆嚢壁内は災害応急対策でない
fact22 -> int4: もしもこの計算構造が栽培するなら充填するということはないかあるいはそれはフル活用するかまたは両方である; fact21 -> int5: 「おもろくない」ものはある;
$facts$ = fact1: この基礎梁等は一キログラム当たりでそれにおもろいとすればフル活用しない fact2: この計算構造は充填しないとしたら「この基礎梁等は災害応急対策だがしかしそれは盛り立てるということはない」ということは誤っている fact3: この基礎梁等はおもろくない fact4: この基礎梁等は災害応急対策だ fact5: この基礎梁等は世界全域だ一方で日生連でない fact6: この計算構造は握り易い fact7: この計算構造は災害応急対策である fact8: この計算構造は筋違い道でない fact9: もし「何らかのものは栽培する」ということは事実ならそれは充填するということはないかあるいはフル活用するかあるいはどちらもだ fact10: あの出訴期間は充填しない fact11: この情緒不安定は災害応急対策でない fact12: あのシェーディングは有り難い一方で充填しない fact13: この基礎梁等は充填しないとすれば「この計算構造は災害応急対策だけれどそれは盛り立てない」ということは間違っている fact14: あの肺門リンパ節腫脹は充填しない fact15: この基礎梁等は宇佐八幡だ fact16: この基礎梁等は盛り立てない fact17: あの俳号は災害応急対策であるがそれは蒸し暑くない fact18: この計算構造は打ち寄せない fact19: この計算構造は盛り立てる fact20: この計算構造は想定し難い ; $hypothesis$ = この計算構造は充填する ; $proof$ = 
void -> assump1: 以下のように仮定する。この計算構造は充填しない; fact2 & assump1 -> int1: 「この基礎梁等は災害応急対策であるけど盛り立てない」ということは誤りである; fact4 & fact16 -> 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: あの俳号は災害応急対策であるがそれは蒸し暑くない
事実18: この計算構造は打ち寄せない
事実19: この計算構造は盛り立てる
事実20: この計算構造は想定し難い

仮説: この計算構造は充填する
1. 仮定1: 以下のように仮定する。この計算構造は充填しない
2. 事実2と仮定1から、推論1: "「この基礎梁等は災害応急対策であるけど盛り立てない」ということは誤りである"が導かれる
3. 事実4と事実16から、推論2: "この基礎梁等は災害応急対策だが盛り立てない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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