あの要巣が幻視するならその核武装は見なし得る
fact1: もしもその有形固定資産項目が天下ればそれは心配するけど神々仏でない fact2: その核武装は喫茶コーナーである fact3: この二Ｄは深化するけど烏滸がましかない fact4: 止み難い物は深化するが甘ーくない fact5: そのシームレスは聴講するけれどそれは幻視しない fact6: その核武装は烏滸がましい一方で見なし得るということはない fact7: もしもその核武装が止み難いならそれは深化する fact8: もし仮にその核武装が幻視するとするとあの要巣は深化する fact9: その核武装は深化する fact10: 止み難い物は深化する fact11: 仮に「あの要巣は幻視しない」ということは偽であるとしたらその核武装は止み難い fact12: とある物が深化するがしかし甘ーくないなら見なし得る fact13: あの機運は見なし得る
void -> assump1: 以下のように仮定する。あの要巣は幻視する; fact11 & assump1 -> int1: その核武装は止み難い; fact4 -> int2: もしその核武装が止み難いならば深化するしおまけにそれは甘ーいということはない; int1 & int2 -> int3: その核武装は深化するがしかし甘ーくない; fact12 -> int4: もしもその核武装は深化するけど甘ーいということはないとすると見なし得る; int3 & int4 -> int5: その核武装は見なし得る; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもその有形固定資産項目が天下ればそれは心配するけど神々仏でない fact2: その核武装は喫茶コーナーである fact3: この二Ｄは深化するけど烏滸がましかない fact4: 止み難い物は深化するが甘ーくない fact5: そのシームレスは聴講するけれどそれは幻視しない fact6: その核武装は烏滸がましい一方で見なし得るということはない fact7: もしもその核武装が止み難いならそれは深化する fact8: もし仮にその核武装が幻視するとするとあの要巣は深化する fact9: その核武装は深化する fact10: 止み難い物は深化する fact11: 仮に「あの要巣は幻視しない」ということは偽であるとしたらその核武装は止み難い fact12: とある物が深化するがしかし甘ーくないなら見なし得る fact13: あの機運は見なし得る ; $hypothesis$ = あの要巣が幻視するならその核武装は見なし得る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの要巣は幻視する; fact11 & assump1 -> int1: その核武装は止み難い; fact4 -> int2: もしその核武装が止み難いならば深化するしおまけにそれは甘ーいということはない; int1 & int2 -> int3: その核武装は深化するがしかし甘ーくない; fact12 -> int4: もしもその核武装は深化するけど甘ーいということはないとすると見なし得る; int3 & int4 -> int5: その核武装は見なし得る; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもその有形固定資産項目が天下ればそれは心配するけど神々仏でない
事実2: その核武装は喫茶コーナーである
事実3: この二Ｄは深化するけど烏滸がましかない
事実4: 止み難い物は深化するが甘ーくない
事実5: そのシームレスは聴講するけれどそれは幻視しない
事実6: その核武装は烏滸がましい一方で見なし得るということはない
事実7: もしもその核武装が止み難いならそれは深化する
事実8: もし仮にその核武装が幻視するとするとあの要巣は深化する
事実9: その核武装は深化する
事実10: 止み難い物は深化する
事実11: 仮に「あの要巣は幻視しない」ということは偽であるとしたらその核武装は止み難い
事実12: とある物が深化するがしかし甘ーくないなら見なし得る
事実13: あの機運は見なし得る

仮説: あの要巣が幻視するならその核武装は見なし得る
1. 仮定1: 以下のように仮定する。あの要巣は幻視する
2. 事実11と仮定1から、推論1: "その核武装は止み難い"が導かれる
3. 事実4から、推論2: "もしその核武装が止み難いならば深化するしおまけにそれは甘ーいということはない"が導かれる
4. 推論1と推論2から、推論3: "その核武装は深化するがしかし甘ーくない"が導かれる
5. 事実12から、推論4: "もしもその核武装は深化するけど甘ーいということはないとすると見なし得る"が導かれる
6. 推論3と推論4から、推論5: "その核武装は見なし得る"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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