この集団・組織は億劫がる
fact1: その二十世紀最大は大爆発する fact2: 取得し易いということはないものは気弱い fact3: この集団・組織は作業し易いということはないかもしくは実現し易くないか両方である fact4: この集団・組織は小煩くない fact5: 「この集団・組織は自然らしいしその上耄碌する」ということは正しい fact6: 市側は作業し易い fact7: もしこの集団・組織は市側であるし大爆発するなら億劫がらない fact8: なにがしかのものは市側でないとしたら「作業し易くないかまたはそれは実現し易くないかまたは両方ともである」ということは事実でない fact9: この集団・組織は大爆発する
fact8 -> int1: この集団・組織は市側でないとしたら「作業し易いということはないかあるいは実現し易くないかまたは両方ともである」ということは間違いである; void -> assump1: 以下のように仮定する。この集団・組織は市側でない; int1 & assump1 -> int2: 「この集団・組織は作業し易くないか実現し易くないかまたは両方ともだ」ということは偽である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: この集団・組織は市側だ; int4 & fact9 -> int5: この集団・組織が市側だしまた大爆発する; int5 & fact7 -> hypothesis;
その日周活動は作業し易い
fact10 -> int6: もしその日周活動が市側だとするとそれは作業し易い;
$facts$ = fact1: その二十世紀最大は大爆発する fact2: 取得し易いということはないものは気弱い fact3: この集団・組織は作業し易いということはないかもしくは実現し易くないか両方である fact4: この集団・組織は小煩くない fact5: 「この集団・組織は自然らしいしその上耄碌する」ということは正しい fact6: 市側は作業し易い fact7: もしこの集団・組織は市側であるし大爆発するなら億劫がらない fact8: なにがしかのものは市側でないとしたら「作業し易くないかまたはそれは実現し易くないかまたは両方ともである」ということは事実でない fact9: この集団・組織は大爆発する ; $hypothesis$ = この集団・組織は億劫がる ; $proof$ = 
fact8 -> int1: この集団・組織は市側でないとしたら「作業し易いということはないかあるいは実現し易くないかまたは両方ともである」ということは間違いである; void -> assump1: 以下のように仮定する。この集団・組織は市側でない; int1 & assump1 -> int2: 「この集団・組織は作業し易くないか実現し易くないかまたは両方ともだ」ということは偽である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: この集団・組織は市側だ; int4 & fact9 -> int5: この集団・組織が市側だしまた大爆発する; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: その二十世紀最大は大爆発する
事実2: 取得し易いということはないものは気弱い
事実3: この集団・組織は作業し易いということはないかもしくは実現し易くないか両方である
事実4: この集団・組織は小煩くない
事実5: 「この集団・組織は自然らしいしその上耄碌する」ということは正しい
事実6: 市側は作業し易い
事実7: もしこの集団・組織は市側であるし大爆発するなら億劫がらない
事実8: なにがしかのものは市側でないとしたら「作業し易くないかまたはそれは実現し易くないかまたは両方ともである」ということは事実でない
事実9: この集団・組織は大爆発する

仮説: この集団・組織は億劫がる
1. 事実8から、推論1: "この集団・組織は市側でないとしたら「作業し易いということはないかあるいは実現し易くないかまたは両方ともである」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。この集団・組織は市側でない
3. 推論1と仮定1から、推論2: "「この集団・組織は作業し易くないか実現し易くないかまたは両方ともだ」ということは偽である"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この集団・組織は市側だ"が導かれる
6. 推論4と事実9から、推論5: "この集団・組織が市側だしまた大爆発する"が導かれる
7. 推論5と事実7から、仮説が否定される

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