この歌読みは尽くす
fact1: もし仮にこの掃除係が理解し辛いとするとそれは分かり易い fact2: この掃除係は打ち難いし加えてすごーい fact3: この掃除係は理解し辛い fact4: 仮に「「この掃除係は理解し辛くないかそれは打ち難くないかどちらもである」ということは確かである」ということは成り立たないとするとこの金策は約四千人だ fact5: もしも分かり易いものが打ち難いとするとこの歌読みは尽くさない fact6: もしこの掃除係は尽くせば「それは理解し辛くないかもしくは打ち難いということはないか両方だ」ということは真実でない fact7: この金策はすごーいし分かり易い fact8: なにかはすごーい
fact1 & fact3 -> int1: この掃除係は分かり易い; fact2 -> int2: この掃除係は打ち難い; int1 & int2 -> int3: この掃除係は分かり易いし打ち難い; int3 -> int4: 「なにかは分かり易いし打ち難い」ということは正しい; int4 & fact5 -> hypothesis;
この金策は分かり易くてかつ約四千人である
fact10 -> int5: この金策は分かり易い;
$facts$ = fact1: もし仮にこの掃除係が理解し辛いとするとそれは分かり易い fact2: この掃除係は打ち難いし加えてすごーい fact3: この掃除係は理解し辛い fact4: 仮に「「この掃除係は理解し辛くないかそれは打ち難くないかどちらもである」ということは確かである」ということは成り立たないとするとこの金策は約四千人だ fact5: もしも分かり易いものが打ち難いとするとこの歌読みは尽くさない fact6: もしこの掃除係は尽くせば「それは理解し辛くないかもしくは打ち難いということはないか両方だ」ということは真実でない fact7: この金策はすごーいし分かり易い fact8: なにかはすごーい ; $hypothesis$ = この歌読みは尽くす ; $proof$ = 
fact1 & fact3 -> int1: この掃除係は分かり易い; fact2 -> int2: この掃除係は打ち難い; int1 & int2 -> int3: この掃除係は分かり易いし打ち難い; int3 -> int4: 「なにかは分かり易いし打ち難い」ということは正しい; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にこの掃除係が理解し辛いとするとそれは分かり易い
事実2: この掃除係は打ち難いし加えてすごーい
事実3: この掃除係は理解し辛い
事実4: 仮に「「この掃除係は理解し辛くないかそれは打ち難くないかどちらもである」ということは確かである」ということは成り立たないとするとこの金策は約四千人だ
事実5: もしも分かり易いものが打ち難いとするとこの歌読みは尽くさない
事実6: もしこの掃除係は尽くせば「それは理解し辛くないかもしくは打ち難いということはないか両方だ」ということは真実でない
事実7: この金策はすごーいし分かり易い
事実8: なにかはすごーい

仮説: この歌読みは尽くす
1. 事実1と事実3から、推論1: "この掃除係は分かり易い"が導かれる
2. 事実2から、推論2: "この掃除係は打ち難い"が導かれる
3. 推論1と推論2から、推論3: "この掃除係は分かり易いし打ち難い"が導かれる
4. 推論3から、推論4: "「なにかは分かり易いし打ち難い」ということは正しい"が導かれる
5. 推論4と事実5から、仮説が否定される

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