「あの来談者中心療法は通算するけれどそれは罹患し易くない」ということは事実と異なる
fact1: その羞恥心は忝い fact2: あの郡奉行は設定出来るがサービス行為でない fact3: 「あの操縦者は翳さないし加えてそれは苛立たしかない」ということは嘘だ fact4: あの歳出予算は翳す fact5: あのセクターは忝くない fact6: もし仮になにかは忝いならば「それは通算するし罹患し易くない」ということは成り立つということはない fact7: もしもこの社外が罹患し易くておまけに首尾良いとすればあの来談者中心療法は忝くない fact8: もし「あの操縦者は翳さなくて苛立たしかない」ということは真実でないなら「この社外は首尾良い」ということは正しい fact9: その羞恥心は苛立たしかない fact10: あの旧登記所は苛立たしい fact11: あの旧登記所が働き者だということはないとしたらあの来談者中心療法は通算するがしかし罹患し易くない fact12: あの操縦者は働き者だが苛立たしかない fact13: 「この社外は働き者でないし首尾良いということはない」ということは成り立つということはない fact14: もし仮に「「あの来談者中心療法は通算しないしかつそれは忝くない」ということは成り立つ」ということは誤りであるならあの操縦者は翳す fact15: もしその羞恥心が忝いならこの社外は忝い fact16: あの操縦者は働き者である fact17: この社外が首尾良くてそれが忝いとするとあの旧登記所は働き者でない fact18: あの来談者中心療法は首尾良い fact19: 「あの操縦者は通算しない一方で苛立たしい」ということは成り立たない fact20: 仮にこの社外が罹患し易くないならばあの来談者中心療法は忝くない fact21: あの旧登記所は審査するが登録出来ない fact22: あの来談者中心療法は働き者である fact23: あの来談者中心療法は忝いということはない fact24: もし仮に「その羞恥心は忝くないしそれにそれは苛立たしかない」ということは間違っているとするとあの操縦者は罹患し易い
fact8 & fact3 -> int1: この社外は首尾良い; fact15 & fact1 -> int2: 「この社外は忝い」ということは真実である; int1 & int2 -> int3: この社外は首尾良くてそれは忝い; int3 & fact17 -> int4: あの旧登記所は働き者でない; int4 & fact11 -> hypothesis;
「あの来談者中心療法は通算するがしかし罹患し易くない」ということは間違いである
fact25 -> int5: あの来談者中心療法は忝いならば「通算するししかも罹患し易いということはない」ということは成り立たない;
$facts$ = fact1: その羞恥心は忝い fact2: あの郡奉行は設定出来るがサービス行為でない fact3: 「あの操縦者は翳さないし加えてそれは苛立たしかない」ということは嘘だ fact4: あの歳出予算は翳す fact5: あのセクターは忝くない fact6: もし仮になにかは忝いならば「それは通算するし罹患し易くない」ということは成り立つということはない fact7: もしもこの社外が罹患し易くておまけに首尾良いとすればあの来談者中心療法は忝くない fact8: もし「あの操縦者は翳さなくて苛立たしかない」ということは真実でないなら「この社外は首尾良い」ということは正しい fact9: その羞恥心は苛立たしかない fact10: あの旧登記所は苛立たしい fact11: あの旧登記所が働き者だということはないとしたらあの来談者中心療法は通算するがしかし罹患し易くない fact12: あの操縦者は働き者だが苛立たしかない fact13: 「この社外は働き者でないし首尾良いということはない」ということは成り立つということはない fact14: もし仮に「「あの来談者中心療法は通算しないしかつそれは忝くない」ということは成り立つ」ということは誤りであるならあの操縦者は翳す fact15: もしその羞恥心が忝いならこの社外は忝い fact16: あの操縦者は働き者である fact17: この社外が首尾良くてそれが忝いとするとあの旧登記所は働き者でない fact18: あの来談者中心療法は首尾良い fact19: 「あの操縦者は通算しない一方で苛立たしい」ということは成り立たない fact20: 仮にこの社外が罹患し易くないならばあの来談者中心療法は忝くない fact21: あの旧登記所は審査するが登録出来ない fact22: あの来談者中心療法は働き者である fact23: あの来談者中心療法は忝いということはない fact24: もし仮に「その羞恥心は忝くないしそれにそれは苛立たしかない」ということは間違っているとするとあの操縦者は罹患し易い ; $hypothesis$ = 「あの来談者中心療法は通算するけれどそれは罹患し易くない」ということは事実と異なる ; $proof$ = 
fact8 & fact3 -> int1: この社外は首尾良い; fact15 & fact1 -> int2: 「この社外は忝い」ということは真実である; int1 & int2 -> int3: この社外は首尾良くてそれは忝い; int3 & fact17 -> int4: あの旧登記所は働き者でない; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: その羞恥心は忝い
事実2: あの郡奉行は設定出来るがサービス行為でない
事実3: 「あの操縦者は翳さないし加えてそれは苛立たしかない」ということは嘘だ
事実4: あの歳出予算は翳す
事実5: あのセクターは忝くない
事実6: もし仮になにかは忝いならば「それは通算するし罹患し易くない」ということは成り立つということはない
事実7: もしもこの社外が罹患し易くておまけに首尾良いとすればあの来談者中心療法は忝くない
事実8: もし「あの操縦者は翳さなくて苛立たしかない」ということは真実でないなら「この社外は首尾良い」ということは正しい
事実9: その羞恥心は苛立たしかない
事実10: あの旧登記所は苛立たしい
事実11: あの旧登記所が働き者だということはないとしたらあの来談者中心療法は通算するがしかし罹患し易くない
事実12: あの操縦者は働き者だが苛立たしかない
事実13: 「この社外は働き者でないし首尾良いということはない」ということは成り立つということはない
事実14: もし仮に「「あの来談者中心療法は通算しないしかつそれは忝くない」ということは成り立つ」ということは誤りであるならあの操縦者は翳す
事実15: もしその羞恥心が忝いならこの社外は忝い
事実16: あの操縦者は働き者である
事実17: この社外が首尾良くてそれが忝いとするとあの旧登記所は働き者でない
事実18: あの来談者中心療法は首尾良い
事実19: 「あの操縦者は通算しない一方で苛立たしい」ということは成り立たない
事実20: 仮にこの社外が罹患し易くないならばあの来談者中心療法は忝くない
事実21: あの旧登記所は審査するが登録出来ない
事実22: あの来談者中心療法は働き者である
事実23: あの来談者中心療法は忝いということはない
事実24: もし仮に「その羞恥心は忝くないしそれにそれは苛立たしかない」ということは間違っているとするとあの操縦者は罹患し易い

仮説: 「あの来談者中心療法は通算するけれどそれは罹患し易くない」ということは事実と異なる
1. 事実8と事実3から、推論1: "この社外は首尾良い"が導かれる
2. 事実15と事実1から、推論2: "「この社外は忝い」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "この社外は首尾良くてそれは忝い"が導かれる
4. 推論3と事実17から、推論4: "あの旧登記所は働き者でない"が導かれる
5. 推論4と事実11から、仮説が否定される

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