あの強直間代発作は配合しない
fact1: あの強直間代発作は幹部政策だ fact2: この制度上が断じるということはないとすれば義心会だしそれにそれは退行する fact3: この制度上は断じるない fact4: そのオン花族は配合しない fact5: 「「配合しない」ということは正しい」ものはある fact6: この制度上は退行する fact7: 「もしもあの強直間代発作が配合するしまた幹部政策であるとしたらこの制度上は義心会でない」ということは事実である
void -> assump1: 以下のように仮定する。「あの強直間代発作は配合する」ということは成り立つ; assump1 & fact1 -> int1: あの強直間代発作は配合するし幹部政策だ; int1 & fact7 -> int2: この制度上は義心会でない; fact3 & fact2 -> int3: この制度上は義心会で退行する; int3 -> int4: この制度上は義心会である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの業務妨害罪は退行するしＩＭＧタグである
$facts$ = fact1: あの強直間代発作は幹部政策だ fact2: この制度上が断じるということはないとすれば義心会だしそれにそれは退行する fact3: この制度上は断じるない fact4: そのオン花族は配合しない fact5: 「「配合しない」ということは正しい」ものはある fact6: この制度上は退行する fact7: 「もしもあの強直間代発作が配合するしまた幹部政策であるとしたらこの制度上は義心会でない」ということは事実である ; $hypothesis$ = あの強直間代発作は配合しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの強直間代発作は配合する」ということは成り立つ; assump1 & fact1 -> int1: あの強直間代発作は配合するし幹部政策だ; int1 & fact7 -> int2: この制度上は義心会でない; fact3 & fact2 -> int3: この制度上は義心会で退行する; int3 -> int4: この制度上は義心会である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの強直間代発作は幹部政策だ
事実2: この制度上が断じるということはないとすれば義心会だしそれにそれは退行する
事実3: この制度上は断じるない
事実4: そのオン花族は配合しない
事実5: 「「配合しない」ということは正しい」ものはある
事実6: この制度上は退行する
事実7: 「もしもあの強直間代発作が配合するしまた幹部政策であるとしたらこの制度上は義心会でない」ということは事実である

仮説: あの強直間代発作は配合しない
1. 仮定1: 以下のように仮定する。「あの強直間代発作は配合する」ということは成り立つ
2. 仮定1と事実1から、推論1: "あの強直間代発作は配合するし幹部政策だ"が導かれる
3. 推論1と事実7から、推論2: "この制度上は義心会でない"が導かれる
4. 事実3と事実2から、推論3: "この制度上は義心会で退行する"が導かれる
5. 推論3から、推論4: "この制度上は義心会である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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