あの作業中はねちっこい
fact1: 仮にあの作業中が情け深いとすればそれは参照す fact2: もしも「なにかは危うししそれは破り取る」ということは成り立たないならばそれは危うしない fact3: もし仮にこの第六十九号証が故無いということはないしその上参照さないとすればその浮遊端末は参照すらない fact4: もしその依頼人本人は取れ易くないならば「この第六十九号証は挑み掛かるけれど破り取らない」ということは成り立つということはない fact5: あの作業中は情け深い fact6: もし仮にあの作業中がねちっこいならば参照すらない fact7: もし仮に「この第六十九号証は取れ易くない一方で故無い」ということは成り立つということはないとしたらその浮遊端末は故無くない fact8: 仮にその浮遊端末が危うしないならばあの作業中はねちっこいしそれは情け深い fact9: もしも「とあるものは挑み掛かる一方で破り取らない」ということは成り立たないならそれは危うし fact10: あの作業中が参照すれば撫で付ける fact11: もし「このパソコン間は取れ易くないししかもそれは養子縁組しない」ということは誤っているならその依頼人本人は取れ易くない fact12: もしもその浮遊端末がねちっこいが情け深くないならあの作業中はねちっこい fact13: もしとあるものは故無くないとすれば「それは危うしし破り取る」ということは嘘である fact14: もしあの作業中は参照すればそれは行為者・主体でない
void -> assump1: 以下のように仮定する。あの作業中はねちっこい; fact6 & assump1 -> int1: あの作業中は参照すらない; fact1 & fact5 -> int2: あの作業中は参照す; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: ¬{B}{a}; fact1 & fact5 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのサックは参照す
fact15 -> int4: 仮に「その浮遊端末は危うしし破り取る」ということは成り立つということはないなら「それは危うしない」ということは確かである; fact16 -> int5: 仮にその浮遊端末は故無くないとすると「それは危うしし破り取る」ということは成り立つということはない;
$facts$ = fact1: 仮にあの作業中が情け深いとすればそれは参照す fact2: もしも「なにかは危うししそれは破り取る」ということは成り立たないならばそれは危うしない fact3: もし仮にこの第六十九号証が故無いということはないしその上参照さないとすればその浮遊端末は参照すらない fact4: もしその依頼人本人は取れ易くないならば「この第六十九号証は挑み掛かるけれど破り取らない」ということは成り立つということはない fact5: あの作業中は情け深い fact6: もし仮にあの作業中がねちっこいならば参照すらない fact7: もし仮に「この第六十九号証は取れ易くない一方で故無い」ということは成り立つということはないとしたらその浮遊端末は故無くない fact8: 仮にその浮遊端末が危うしないならばあの作業中はねちっこいしそれは情け深い fact9: もしも「とあるものは挑み掛かる一方で破り取らない」ということは成り立たないならそれは危うし fact10: あの作業中が参照すれば撫で付ける fact11: もし「このパソコン間は取れ易くないししかもそれは養子縁組しない」ということは誤っているならその依頼人本人は取れ易くない fact12: もしもその浮遊端末がねちっこいが情け深くないならあの作業中はねちっこい fact13: もしとあるものは故無くないとすれば「それは危うしし破り取る」ということは嘘である fact14: もしあの作業中は参照すればそれは行為者・主体でない ; $hypothesis$ = あの作業中はねちっこい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの作業中はねちっこい; fact6 & assump1 -> int1: あの作業中は参照すらない; fact1 & fact5 -> int2: あの作業中は参照す; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの作業中が情け深いとすればそれは参照す
事実2: もしも「なにかは危うししそれは破り取る」ということは成り立たないならばそれは危うしない
事実3: もし仮にこの第六十九号証が故無いということはないしその上参照さないとすればその浮遊端末は参照すらない
事実4: もしその依頼人本人は取れ易くないならば「この第六十九号証は挑み掛かるけれど破り取らない」ということは成り立つということはない
事実5: あの作業中は情け深い
事実6: もし仮にあの作業中がねちっこいならば参照すらない
事実7: もし仮に「この第六十九号証は取れ易くない一方で故無い」ということは成り立つということはないとしたらその浮遊端末は故無くない
事実8: 仮にその浮遊端末が危うしないならばあの作業中はねちっこいしそれは情け深い
事実9: もしも「とあるものは挑み掛かる一方で破り取らない」ということは成り立たないならそれは危うし
事実10: あの作業中が参照すれば撫で付ける
事実11: もし「このパソコン間は取れ易くないししかもそれは養子縁組しない」ということは誤っているならその依頼人本人は取れ易くない
事実12: もしもその浮遊端末がねちっこいが情け深くないならあの作業中はねちっこい
事実13: もしとあるものは故無くないとすれば「それは危うしし破り取る」ということは嘘である
事実14: もしあの作業中は参照すればそれは行為者・主体でない

仮説: あの作業中はねちっこい
1. 仮定1: 以下のように仮定する。あの作業中はねちっこい
2. 事実6と仮定1から、推論1: "あの作業中は参照すらない"が導かれる
3. 事実1と事実5から、推論2: "あの作業中は参照す"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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