「もしもその距が例外無くないとするとその三以下は働き難くない」ということは事実と異なる
fact1: もし仮にその三以下が例外無いとするとその距は働き難い一方でそれは楽しくない fact2: その手工業者は働き難い fact3: 仮にその三以下が疲れ易いとすればあの距は働き難くない fact4: その距は楽しくない fact5: その距はばあかしかない fact6: その硬直化は疲れ易い fact7: もし仮にその距が疲れ易くてさらに楽しいなら例外無い fact8: もし仮にその三以下が楽しいとするとその距は働き難くない fact9: 「もし仮にその三以下が疲れ易くないとすればその距は働き難いということはない」ということは事実と異ならない fact10: もしその距が例外無いならその三以下は働き難くない fact11: 仮にその三以下が働き難いとしたらその距は疲れ易いけど楽しくない fact12: その三以下は疲れ易いけど働き難くないとするとそれは楽しい fact13: その距は報告すらない fact14: この不払い労働は楽しい fact15: 「その三以下は疲れ易い」ということは事実である fact16: その距は織り上げない fact17: 仮に何かは楽しいが疲れ易くないならばそれは働き難い fact18: もしもその三以下が働き難いならばその距は楽しくない fact19: もし仮にその三以下が楽しいということはないとするとその距は働き難くない fact20: もしもその距が例外無いならその三以下は働き難い一方で楽しいということはない fact21: もし仮に「その距は働き難い」ということは確かならばその三以下は例外無いけど楽しくない fact22: 仮に疲れ易いものが楽しいということはないとするとそれは例外無い
void -> assump1: 以下のように仮定する。その三以下は働き難い; fact11 & assump1 -> int1: その距は疲れ易いけれどそれは楽しくない; fact22 -> int2: 仮にその距が疲れ易いけど楽しくないなら例外無い; int1 & int2 -> int3: その距は例外無い; void -> assump2: 以下のように仮定する。その距は例外無くない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その三以下は働き難くない; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もし仮にその三以下が例外無いとするとその距は働き難い一方でそれは楽しくない fact2: その手工業者は働き難い fact3: 仮にその三以下が疲れ易いとすればあの距は働き難くない fact4: その距は楽しくない fact5: その距はばあかしかない fact6: その硬直化は疲れ易い fact7: もし仮にその距が疲れ易くてさらに楽しいなら例外無い fact8: もし仮にその三以下が楽しいとするとその距は働き難くない fact9: 「もし仮にその三以下が疲れ易くないとすればその距は働き難いということはない」ということは事実と異ならない fact10: もしその距が例外無いならその三以下は働き難くない fact11: 仮にその三以下が働き難いとしたらその距は疲れ易いけど楽しくない fact12: その三以下は疲れ易いけど働き難くないとするとそれは楽しい fact13: その距は報告すらない fact14: この不払い労働は楽しい fact15: 「その三以下は疲れ易い」ということは事実である fact16: その距は織り上げない fact17: 仮に何かは楽しいが疲れ易くないならばそれは働き難い fact18: もしもその三以下が働き難いならばその距は楽しくない fact19: もし仮にその三以下が楽しいということはないとするとその距は働き難くない fact20: もしもその距が例外無いならその三以下は働き難い一方で楽しいということはない fact21: もし仮に「その距は働き難い」ということは確かならばその三以下は例外無いけど楽しくない fact22: 仮に疲れ易いものが楽しいということはないとするとそれは例外無い ; $hypothesis$ = 「もしもその距が例外無くないとするとその三以下は働き難くない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その三以下は働き難い; fact11 & assump1 -> int1: その距は疲れ易いけれどそれは楽しくない; fact22 -> int2: 仮にその距が疲れ易いけど楽しくないなら例外無い; int1 & int2 -> int3: その距は例外無い; void -> assump2: 以下のように仮定する。その距は例外無くない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その三以下は働き難くない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にその三以下が例外無いとするとその距は働き難い一方でそれは楽しくない
事実2: その手工業者は働き難い
事実3: 仮にその三以下が疲れ易いとすればあの距は働き難くない
事実4: その距は楽しくない
事実5: その距はばあかしかない
事実6: その硬直化は疲れ易い
事実7: もし仮にその距が疲れ易くてさらに楽しいなら例外無い
事実8: もし仮にその三以下が楽しいとするとその距は働き難くない
事実9: 「もし仮にその三以下が疲れ易くないとすればその距は働き難いということはない」ということは事実と異ならない
事実10: もしその距が例外無いならその三以下は働き難くない
事実11: 仮にその三以下が働き難いとしたらその距は疲れ易いけど楽しくない
事実12: その三以下は疲れ易いけど働き難くないとするとそれは楽しい
事実13: その距は報告すらない
事実14: この不払い労働は楽しい
事実15: 「その三以下は疲れ易い」ということは事実である
事実16: その距は織り上げない
事実17: 仮に何かは楽しいが疲れ易くないならばそれは働き難い
事実18: もしもその三以下が働き難いならばその距は楽しくない
事実19: もし仮にその三以下が楽しいということはないとするとその距は働き難くない
事実20: もしもその距が例外無いならその三以下は働き難い一方で楽しいということはない
事実21: もし仮に「その距は働き難い」ということは確かならばその三以下は例外無いけど楽しくない
事実22: 仮に疲れ易いものが楽しいということはないとするとそれは例外無い

仮説: 「もしもその距が例外無くないとするとその三以下は働き難くない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その三以下は働き難い
2. 事実11と仮定1から、推論1: "その距は疲れ易いけれどそれは楽しくない"が導かれる
3. 事実22から、推論2: "仮にその距が疲れ易いけど楽しくないなら例外無い"が導かれる
4. 推論1と推論2から、推論3: "その距は例外無い"が導かれる
5. 仮定2: 以下のように仮定する。その距は例外無くない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その三以下は働き難くない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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