この手当ては長々しいけど出会い易くない
fact1: 仮にこの手当てが長々しかないが想像し難いとすればその一部事務組合は長々しい fact2: もしも「その一部事務組合は出会い易い一方で長々しかない」ということは事実と異なるとすればこの手当ては想像し難くない fact3: その一部事務組合は想像し難くないしその上御書き下さらない fact4: 仮にその一部事務組合が出会い易くないし御書き下さらないとしたらこの手当ては出会い易い fact5: その一部事務組合が想像し難い一方でそれが御書き下さらないならその加減は想像し難い fact6: 仮に「この手当ては長々しい一方で想像し難くない」ということは成り立たないならばその一部事務組合は出会い易くない fact7: この手当ては御書き下さる fact8: 仮に「この手当ては長々しいけれど出会い易くない」ということは誤りだとしたらその加減は想像し難くない fact9: その加減は長々しい fact10: この手当ては長々しい fact11: もしその加減は御書き下さるとすると「この手当ては想像し難いが熱中しない」ということは成り立たない fact12: もし仮にその一部事務組合が想像し難いということはないし御書き下さらないとしたらその加減は想像し難い fact13: その一部事務組合は想像し難くない
void -> assump1: 以下のように仮定する。「「この手当ては長々しいがしかし出会い易くない」ということは成り立たない」ということは成り立つ; fact8 & assump1 -> int1: その加減は想像し難くない; fact3 & fact12 -> int2: その加減は想像し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact8 & assump1 -> int1: ¬{B}{b}; fact3 & fact12 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「この手当ては想像し難いがしかしそれは熱中しない」ということは成り立たない
$facts$ = fact1: 仮にこの手当てが長々しかないが想像し難いとすればその一部事務組合は長々しい fact2: もしも「その一部事務組合は出会い易い一方で長々しかない」ということは事実と異なるとすればこの手当ては想像し難くない fact3: その一部事務組合は想像し難くないしその上御書き下さらない fact4: 仮にその一部事務組合が出会い易くないし御書き下さらないとしたらこの手当ては出会い易い fact5: その一部事務組合が想像し難い一方でそれが御書き下さらないならその加減は想像し難い fact6: 仮に「この手当ては長々しい一方で想像し難くない」ということは成り立たないならばその一部事務組合は出会い易くない fact7: この手当ては御書き下さる fact8: 仮に「この手当ては長々しいけれど出会い易くない」ということは誤りだとしたらその加減は想像し難くない fact9: その加減は長々しい fact10: この手当ては長々しい fact11: もしその加減は御書き下さるとすると「この手当ては想像し難いが熱中しない」ということは成り立たない fact12: もし仮にその一部事務組合が想像し難いということはないし御書き下さらないとしたらその加減は想像し難い fact13: その一部事務組合は想像し難くない ; $hypothesis$ = この手当ては長々しいけど出会い易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この手当ては長々しいがしかし出会い易くない」ということは成り立たない」ということは成り立つ; fact8 & assump1 -> int1: その加減は想像し難くない; fact3 & fact12 -> int2: その加減は想像し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にこの手当てが長々しかないが想像し難いとすればその一部事務組合は長々しい
事実2: もしも「その一部事務組合は出会い易い一方で長々しかない」ということは事実と異なるとすればこの手当ては想像し難くない
事実3: その一部事務組合は想像し難くないしその上御書き下さらない
事実4: 仮にその一部事務組合が出会い易くないし御書き下さらないとしたらこの手当ては出会い易い
事実5: その一部事務組合が想像し難い一方でそれが御書き下さらないならその加減は想像し難い
事実6: 仮に「この手当ては長々しい一方で想像し難くない」ということは成り立たないならばその一部事務組合は出会い易くない
事実7: この手当ては御書き下さる
事実8: 仮に「この手当ては長々しいけれど出会い易くない」ということは誤りだとしたらその加減は想像し難くない
事実9: その加減は長々しい
事実10: この手当ては長々しい
事実11: もしその加減は御書き下さるとすると「この手当ては想像し難いが熱中しない」ということは成り立たない
事実12: もし仮にその一部事務組合が想像し難いということはないし御書き下さらないとしたらその加減は想像し難い
事実13: その一部事務組合は想像し難くない

仮説: この手当ては長々しいけど出会い易くない
1. 仮定1: 以下のように仮定する。「「この手当ては長々しいがしかし出会い易くない」ということは成り立たない」ということは成り立つ
2. 事実8と仮定1から、推論1: "その加減は想像し難くない"が導かれる
3. 事実3と事実12から、推論2: "その加減は想像し難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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