この決議は興奮する
fact1: とあるものが水洗いするか口喧しくないならばあの無機物質は未来論でない fact2: この決議が興奮するならばあの無機物質は未来論だ fact3: なにがしかの物は水洗いするかあるいはそれは口喧しいということはない fact4: もし仮になにがしかのものは口喧しくないとすると「未来論であるということはないし加えて水洗いしない」ということは真実でない fact5: もしこの決議が興奮するということはないし把握し易くないとしたらその無機物質は把握し易くない
void -> assump1: 以下のように仮定する。この決議は興奮する; fact2 & assump1 -> int1: 「その無機物質は未来論である」ということは事実だ; fact3 & fact1 -> int2: その無機物質は未来論でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この決議は興奮する
fact6 -> int4: 仮にその無機物質は口喧しくないなら「未来論でないしさらにそれは水洗いしない」ということは嘘である;
$facts$ = fact1: とあるものが水洗いするか口喧しくないならばあの無機物質は未来論でない fact2: この決議が興奮するならばあの無機物質は未来論だ fact3: なにがしかの物は水洗いするかあるいはそれは口喧しいということはない fact4: もし仮になにがしかのものは口喧しくないとすると「未来論であるということはないし加えて水洗いしない」ということは真実でない fact5: もしこの決議が興奮するということはないし把握し易くないとしたらその無機物質は把握し易くない ; $hypothesis$ = この決議は興奮する ; $proof$ = 
void -> assump1: 以下のように仮定する。この決議は興奮する; fact2 & assump1 -> int1: 「その無機物質は未来論である」ということは事実だ; fact3 & fact1 -> int2: その無機物質は未来論でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: とあるものが水洗いするか口喧しくないならばあの無機物質は未来論でない
事実2: この決議が興奮するならばあの無機物質は未来論だ
事実3: なにがしかの物は水洗いするかあるいはそれは口喧しいということはない
事実4: もし仮になにがしかのものは口喧しくないとすると「未来論であるということはないし加えて水洗いしない」ということは真実でない
事実5: もしこの決議が興奮するということはないし把握し易くないとしたらその無機物質は把握し易くない

仮説: この決議は興奮する
1. 仮定1: 以下のように仮定する。この決議は興奮する
2. 事実2と仮定1から、推論1: "「その無機物質は未来論である」ということは事実だ"が導かれる
3. 事実3と事実1から、推論2: "その無機物質は未来論でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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