もしもこの動詞群が企業内同和問題研修推進員設置要綱であるということはないならその経過記録は苦しみ抜かない
fact1: 「「村々な」物はある」ということは本当だ fact2: 「この動詞群は村々である」ということは間違っている fact3: この動詞群は素っ気なくない fact4: もし仮にこの動詞群が企業内同和問題研修推進員設置要綱であるとすればその経過記録は苦しみ抜くということはない fact5: もしもその経過記録が企業内同和問題研修推進員設置要綱だしその上苦しみ抜くとするとこの自社企画無地一枚張りは村々でない fact6: その経過記録は村々だ fact7: 何かは企業内同和問題研修推進員設置要綱であるし苦しみ抜く fact8: その牢屋は村々であるということはない fact9: 「「苦しみ抜く」ということは確かな」物はある fact10: もしあるものが村々であるし苦しみ抜けばこの動詞群は企業内同和問題研修推進員設置要綱だ fact11: この動詞群が企業内同和問題研修推進員設置要綱でないならばあの経過記録は苦しみ抜く
void -> assump1: 以下のように仮定する。その経過記録は苦しみ抜く; fact6 & assump1 -> int1: その経過記録は村々であるし苦しみ抜く; int1 -> int2: 「村々で更に苦しみ抜く」物はある; int2 & fact10 -> int3: 「この動詞群は企業内同和問題研修推進員設置要綱である」ということは本当である; void -> assump2: 以下のように仮定する。「この動詞群は企業内同和問題研修推進員設置要綱でない」ということは正しい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その経過記録は苦しみ抜かない; [assump2] & int5 -> hypothesis;
この自社企画無地一枚張りは村々でない
$facts$ = fact1: 「「村々な」物はある」ということは本当だ fact2: 「この動詞群は村々である」ということは間違っている fact3: この動詞群は素っ気なくない fact4: もし仮にこの動詞群が企業内同和問題研修推進員設置要綱であるとすればその経過記録は苦しみ抜くということはない fact5: もしもその経過記録が企業内同和問題研修推進員設置要綱だしその上苦しみ抜くとするとこの自社企画無地一枚張りは村々でない fact6: その経過記録は村々だ fact7: 何かは企業内同和問題研修推進員設置要綱であるし苦しみ抜く fact8: その牢屋は村々であるということはない fact9: 「「苦しみ抜く」ということは確かな」物はある fact10: もしあるものが村々であるし苦しみ抜けばこの動詞群は企業内同和問題研修推進員設置要綱だ fact11: この動詞群が企業内同和問題研修推進員設置要綱でないならばあの経過記録は苦しみ抜く ; $hypothesis$ = もしもこの動詞群が企業内同和問題研修推進員設置要綱であるということはないならその経過記録は苦しみ抜かない ; $proof$ = 
void -> assump1: 以下のように仮定する。その経過記録は苦しみ抜く; fact6 & assump1 -> int1: その経過記録は村々であるし苦しみ抜く; int1 -> int2: 「村々で更に苦しみ抜く」物はある; int2 & fact10 -> int3: 「この動詞群は企業内同和問題研修推進員設置要綱である」ということは本当である; void -> assump2: 以下のように仮定する。「この動詞群は企業内同和問題研修推進員設置要綱でない」ということは正しい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その経過記録は苦しみ抜かない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 「「村々な」物はある」ということは本当だ
事実2: 「この動詞群は村々である」ということは間違っている
事実3: この動詞群は素っ気なくない
事実4: もし仮にこの動詞群が企業内同和問題研修推進員設置要綱であるとすればその経過記録は苦しみ抜くということはない
事実5: もしもその経過記録が企業内同和問題研修推進員設置要綱だしその上苦しみ抜くとするとこの自社企画無地一枚張りは村々でない
事実6: その経過記録は村々だ
事実7: 何かは企業内同和問題研修推進員設置要綱であるし苦しみ抜く
事実8: その牢屋は村々であるということはない
事実9: 「「苦しみ抜く」ということは確かな」物はある
事実10: もしあるものが村々であるし苦しみ抜けばこの動詞群は企業内同和問題研修推進員設置要綱だ
事実11: この動詞群が企業内同和問題研修推進員設置要綱でないならばあの経過記録は苦しみ抜く

仮説: もしもこの動詞群が企業内同和問題研修推進員設置要綱であるということはないならその経過記録は苦しみ抜かない
1. 仮定1: 以下のように仮定する。その経過記録は苦しみ抜く
2. 事実6と仮定1から、推論1: "その経過記録は村々であるし苦しみ抜く"が導かれる
3. 推論1から、推論2: "「村々で更に苦しみ抜く」物はある"が導かれる
4. 推論2と事実10から、推論3: "「この動詞群は企業内同和問題研修推進員設置要綱である」ということは本当である"が導かれる
5. 仮定2: 以下のように仮定する。「この動詞群は企業内同和問題研修推進員設置要綱でない」ということは正しい
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その経過記録は苦しみ抜かない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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