この花吹雪ははしたない
fact1: この箸休めがエロいがトレース出来るということはないならばその権限行使はエロくない fact2: 「仮にその権限行使が壊れ易いとしたらこの箸休めは作り難いが壊れ易くない」ということは事実である fact3: この花吹雪がエロくないとしたらそれは壊れ易くてかつはしたない fact4: 「もし「この箸休めは作り難いがしかし壊れ易いということはない」ということは成り立つならこの花吹雪ははしたなくない」ということは確かだ fact5: この箸休めは壊れ易くない fact6: もしもその権限行使がエロいということはないならこの花吹雪はエロくない fact7: この箸休めははしたないが壊れ易くない fact8: その権限行使はエロい fact9: その権限行使は壊れ易いしエロい
fact9 -> int1: その権限行使は壊れ易い; int1 & fact2 -> int2: この箸休めは作り難いがしかしそれは壊れ易くない; int2 & fact4 -> hypothesis;
この花吹雪ははしたない
$facts$ = fact1: この箸休めがエロいがトレース出来るということはないならばその権限行使はエロくない fact2: 「仮にその権限行使が壊れ易いとしたらこの箸休めは作り難いが壊れ易くない」ということは事実である fact3: この花吹雪がエロくないとしたらそれは壊れ易くてかつはしたない fact4: 「もし「この箸休めは作り難いがしかし壊れ易いということはない」ということは成り立つならこの花吹雪ははしたなくない」ということは確かだ fact5: この箸休めは壊れ易くない fact6: もしもその権限行使がエロいということはないならこの花吹雪はエロくない fact7: この箸休めははしたないが壊れ易くない fact8: その権限行使はエロい fact9: その権限行使は壊れ易いしエロい ; $hypothesis$ = この花吹雪ははしたない ; $proof$ = 
fact9 -> int1: その権限行使は壊れ易い; int1 & fact2 -> int2: この箸休めは作り難いがしかしそれは壊れ易くない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: この箸休めがエロいがトレース出来るということはないならばその権限行使はエロくない
事実2: 「仮にその権限行使が壊れ易いとしたらこの箸休めは作り難いが壊れ易くない」ということは事実である
事実3: この花吹雪がエロくないとしたらそれは壊れ易くてかつはしたない
事実4: 「もし「この箸休めは作り難いがしかし壊れ易いということはない」ということは成り立つならこの花吹雪ははしたなくない」ということは確かだ
事実5: この箸休めは壊れ易くない
事実6: もしもその権限行使がエロいということはないならこの花吹雪はエロくない
事実7: この箸休めははしたないが壊れ易くない
事実8: その権限行使はエロい
事実9: その権限行使は壊れ易いしエロい

仮説: この花吹雪ははしたない
1. 事実9から、推論1: "その権限行使は壊れ易い"が導かれる
2. 推論1と事実2から、推論2: "この箸休めは作り難いがしかしそれは壊れ易くない"が導かれる
3. 推論2と事実4から、仮説が否定される

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