「その監督官庁は成り易くないが涙脆い」ということは間違いだ
fact1: その一枝は成り易い fact2: この遺族基礎年金は休戦する fact3: 「遣り易い」ものはある fact4: もし成り易い物が脆いとすればその通勤手当ては休戦しない fact5: その監督官庁は天体観測であるがしかし成り易くない fact6: もしその一枝が遣り易くないならその同定結果は天体観測であるということはない fact7: もし「「その一枝は脆くないが天体観測である」ということは成り立たない」ということは正しいとするとこの遺族基礎年金は天体観測である fact8: 「あの筬は天体観測であるということはないけど休戦する」ということは成り立たない fact9: この遺族基礎年金は成り易くない fact10: 仮にその通勤手当てが成り易くないならばその監督官庁は成り易くないけど涙脆い fact11: その同定結果はこせこせするということはない fact12: その監督官庁は意地悪くない fact13: その通勤手当ては脆い fact14: その同定結果は遣り易い fact15: もしもその一枝は脆いとすると「この遺族基礎年金は天体観測である」ということは確かである fact16: もし「その監督官庁は脆くてさらに会員組織である」ということは確かであるならばあの筬は涙脆くない fact17: 「天体観測だしさらに成り易い」ものはある fact18: もしあの筬が会員組織であるがそれが休戦しないとするとその通勤手当ては成り易くない fact19: 「成り易い」物はある fact20: その一枝は遣り易い fact21: なんらかの物は遣り易いとしたら「成り易くないしかつ涙脆い」ということは間違っている fact22: 「良い」物はある fact23: 「その一枝は脆くないが天体観測である」ということは事実でない fact24: その通勤手当ては成り易くないならば「その監督官庁は成り易くない」ということは本当だ fact25: もし仮に遣り易いものが意地悪いとすればこの遺族基礎年金は天体観測でない fact26: もし仮にその監督官庁が涙脆くて意地悪いとするとその通勤手当ては成り易いということはない fact27: 仮にその同定結果が意地悪くないとしたらあの筬は会員組織だがしかし休戦するということはない
void -> assump1: 以下のように仮定する。その同定結果は意地悪い; fact14 & assump1 -> int1: その同定結果は遣り易いしおまけに意地悪い; int1 -> int2: 「遣り易くて更に意地悪い」ものはある; int2 & fact25 -> int3: この遺族基礎年金は天体観測でない; fact23 & fact7 -> int4: この遺族基礎年金は天体観測だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その同定結果は意地悪くない; int6 & fact27 -> int7: あの筬は会員組織であるが休戦しない; int7 & fact18 -> int8: その通勤手当ては成り易くない; int8 & fact10 -> hypothesis;
「その監督官庁は成り易くないけどそれは涙脆い」ということは事実と異なる
fact28 -> int9: もし仮にその監督官庁は遣り易いとすれば「それは成り易くないが涙脆い」ということは成り立たない;
$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: その通勤手当ては成り易くないならば「その監督官庁は成り易くない」ということは本当だ fact25: もし仮に遣り易いものが意地悪いとすればこの遺族基礎年金は天体観測でない fact26: もし仮にその監督官庁が涙脆くて意地悪いとするとその通勤手当ては成り易いということはない fact27: 仮にその同定結果が意地悪くないとしたらあの筬は会員組織だがしかし休戦するということはない ; $hypothesis$ = 「その監督官庁は成り易くないが涙脆い」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その同定結果は意地悪い; fact14 & assump1 -> int1: その同定結果は遣り易いしおまけに意地悪い; int1 -> int2: 「遣り易くて更に意地悪い」ものはある; int2 & fact25 -> int3: この遺族基礎年金は天体観測でない; fact23 & fact7 -> int4: この遺族基礎年金は天体観測だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その同定結果は意地悪くない; int6 & fact27 -> int7: あの筬は会員組織であるが休戦しない; int7 & fact18 -> int8: その通勤手当ては成り易くない; int8 & fact10 -> 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: その通勤手当ては成り易くないならば「その監督官庁は成り易くない」ということは本当だ
事実25: もし仮に遣り易いものが意地悪いとすればこの遺族基礎年金は天体観測でない
事実26: もし仮にその監督官庁が涙脆くて意地悪いとするとその通勤手当ては成り易いということはない
事実27: 仮にその同定結果が意地悪くないとしたらあの筬は会員組織だがしかし休戦するということはない

仮説: 「その監督官庁は成り易くないが涙脆い」ということは間違いだ
1. 仮定1: 以下のように仮定する。その同定結果は意地悪い
2. 事実14と仮定1から、推論1: "その同定結果は遣り易いしおまけに意地悪い"が導かれる
3. 推論1から、推論2: "「遣り易くて更に意地悪い」ものはある"が導かれる
4. 推論2と事実25から、推論3: "この遺族基礎年金は天体観測でない"が導かれる
5. 事実23と事実7から、推論4: "この遺族基礎年金は天体観測だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その同定結果は意地悪くない"が導かれる
8. 推論6と事実27から、推論7: "あの筬は会員組織であるが休戦しない"が導かれる
9. 推論7と事実18から、推論8: "その通勤手当ては成り易くない"が導かれる
10. 推論8と事実10から、仮説が否定される

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