その決心は汚れ難い一方で五倫でない
fact1: もし仮に「「可愛らしいししかも訝しい」ということは誤っている」ものがあるならその決心は汚れ難い fact2: あのフロー・チャートは繁栄出来ないなら「三十パーセント程度であるしまた加筆する」ということは間違いだ fact3: その決心は似非物語であるけれど書き文字であるということはない fact4: もし仮に「あのフロー・チャートは三十パーセント程度だし加筆する」ということは間違いだとすると加筆しない fact5: その各氏は訝しい fact6: 「その決心は五倫であるがしかし訝しくない」ということは事実と異なる fact7: もしその各氏が汚れ難い一方で訝しいということはないとするとその決心は五倫でない fact8: もしなんらかのものが広域行政でないならばそれは五倫であるということはないし直撃する fact9: その決心が汚れ難いが五倫であるということはないならばその各氏は訝しくない fact10: もし仮に「この天然惚けは筋肉痛でないし迷信深くない」ということは成り立たないとすれば「その決心は広域行政でない」ということは成り立つ fact11: もし仮に「なにがしかのものは粘り強いしまた判読出来る」ということは事実と異なるとするとそれは粘り強くない fact12: あのフロー・チャートは繁栄出来ない fact13: 仮に「あのフロー・チャートは加筆しない」ということは成り立てば体形でない fact14: 「迷信深い」ものはある fact15: その路線図は目覚ましいけど諦め切れない fact16: 仮にとあるものは粘り強くないならば「その各氏は可愛らしいしさらに訝しい」ということは誤っている fact17: 仮にあのフロー・チャートは体形でないなら「この接客サービスは粘り強いしかつ判読出来る」ということは偽である
void -> assump1: 以下のように仮定する。その決心は汚れ難いがしかし五倫でない; fact9 & assump1 -> int1: その各氏は訝しくない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact9 & assump1 -> int1: ¬{B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis;
その決心は汚れ難い一方で五倫でない
fact23 -> int3: もし「この接客サービスは粘り強くてまた判読出来る」ということは嘘であるとするとそれは粘り強くない; fact21 & fact26 -> int4: 「あのフロー・チャートは三十パーセント程度であるし加筆する」ということは成り立たない; fact22 & int4 -> int5: あのフロー・チャートは加筆しない; fact20 & int5 -> int6: あのフロー・チャートは体形でない; fact18 & int6 -> int7: 「この接客サービスが粘り強いしその上それは判読出来る」ということは間違っている; int3 & int7 -> int8: 「この接客サービスは粘り強くない」ということは確かである; int8 -> int9: 「粘り強くない」物はある; int9 & fact24 -> int10: 「その各氏は可愛らしくてそれに訝しい」ということは成り立たない; int10 -> int11: 「「可愛らしいししかも訝しい」ということは成り立たない」物はある; int11 & fact28 -> int12: その決心は汚れ難い; fact25 -> int13: もしもその決心は広域行政でないならばそれは五倫でないけど直撃する;
$facts$ = fact1: もし仮に「「可愛らしいししかも訝しい」ということは誤っている」ものがあるならその決心は汚れ難い fact2: あのフロー・チャートは繁栄出来ないなら「三十パーセント程度であるしまた加筆する」ということは間違いだ fact3: その決心は似非物語であるけれど書き文字であるということはない fact4: もし仮に「あのフロー・チャートは三十パーセント程度だし加筆する」ということは間違いだとすると加筆しない fact5: その各氏は訝しい fact6: 「その決心は五倫であるがしかし訝しくない」ということは事実と異なる fact7: もしその各氏が汚れ難い一方で訝しいということはないとするとその決心は五倫でない fact8: もしなんらかのものが広域行政でないならばそれは五倫であるということはないし直撃する fact9: その決心が汚れ難いが五倫であるということはないならばその各氏は訝しくない fact10: もし仮に「この天然惚けは筋肉痛でないし迷信深くない」ということは成り立たないとすれば「その決心は広域行政でない」ということは成り立つ fact11: もし仮に「なにがしかのものは粘り強いしまた判読出来る」ということは事実と異なるとするとそれは粘り強くない fact12: あのフロー・チャートは繁栄出来ない fact13: 仮に「あのフロー・チャートは加筆しない」ということは成り立てば体形でない fact14: 「迷信深い」ものはある fact15: その路線図は目覚ましいけど諦め切れない fact16: 仮にとあるものは粘り強くないならば「その各氏は可愛らしいしさらに訝しい」ということは誤っている fact17: 仮にあのフロー・チャートは体形でないなら「この接客サービスは粘り強いしかつ判読出来る」ということは偽である ; $hypothesis$ = その決心は汚れ難い一方で五倫でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その決心は汚れ難いがしかし五倫でない; fact9 & assump1 -> int1: その各氏は訝しくない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「「可愛らしいししかも訝しい」ということは誤っている」ものがあるならその決心は汚れ難い
事実2: あのフロー・チャートは繁栄出来ないなら「三十パーセント程度であるしまた加筆する」ということは間違いだ
事実3: その決心は似非物語であるけれど書き文字であるということはない
事実4: もし仮に「あのフロー・チャートは三十パーセント程度だし加筆する」ということは間違いだとすると加筆しない
事実5: その各氏は訝しい
事実6: 「その決心は五倫であるがしかし訝しくない」ということは事実と異なる
事実7: もしその各氏が汚れ難い一方で訝しいということはないとするとその決心は五倫でない
事実8: もしなんらかのものが広域行政でないならばそれは五倫であるということはないし直撃する
事実9: その決心が汚れ難いが五倫であるということはないならばその各氏は訝しくない
事実10: もし仮に「この天然惚けは筋肉痛でないし迷信深くない」ということは成り立たないとすれば「その決心は広域行政でない」ということは成り立つ
事実11: もし仮に「なにがしかのものは粘り強いしまた判読出来る」ということは事実と異なるとするとそれは粘り強くない
事実12: あのフロー・チャートは繁栄出来ない
事実13: 仮に「あのフロー・チャートは加筆しない」ということは成り立てば体形でない
事実14: 「迷信深い」ものはある
事実15: その路線図は目覚ましいけど諦め切れない
事実16: 仮にとあるものは粘り強くないならば「その各氏は可愛らしいしさらに訝しい」ということは誤っている
事実17: 仮にあのフロー・チャートは体形でないなら「この接客サービスは粘り強いしかつ判読出来る」ということは偽である

仮説: その決心は汚れ難い一方で五倫でない
1. 仮定1: 以下のように仮定する。その決心は汚れ難いがしかし五倫でない
2. 事実9と仮定1から、推論1: "その各氏は訝しくない"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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