「「なにかは取り出し易いかそれは見得る」ということは真実だ」ということは嘘である
fact1: もし仮に「あの定期預金は言い難い」ということは成り立つとしたらあの養護学校は四ＪＦＡＡである fact2: もし仮にあの養護学校が言い難いとするとあの定期預金は取り出し易い fact3: 「この五連覇は線維輪だけれど見得るということはない」ということは誤りであるとしたらあの定期預金は見得ない fact4: もしこの五連覇は疎明しないとすれば「それは線維輪だが見得ない」ということは成り立たない fact5: あの養護学校は言い難い
fact2 & fact5 -> int1: あの定期預金は取り出し易い; int1 -> int2: あの定期預金は取り出し易いか見得るかどちらもである; int2 -> hypothesis;
fact2 & fact5 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis;
なにがしかの物は四ＪＦＡＡであるかあるいは描き易いかどちらもだ
$facts$ = fact1: もし仮に「あの定期預金は言い難い」ということは成り立つとしたらあの養護学校は四ＪＦＡＡである fact2: もし仮にあの養護学校が言い難いとするとあの定期預金は取り出し易い fact3: 「この五連覇は線維輪だけれど見得るということはない」ということは誤りであるとしたらあの定期預金は見得ない fact4: もしこの五連覇は疎明しないとすれば「それは線維輪だが見得ない」ということは成り立たない fact5: あの養護学校は言い難い ; $hypothesis$ = 「「なにかは取り出し易いかそれは見得る」ということは真実だ」ということは嘘である ; $proof$ = 
fact2 & fact5 -> int1: あの定期預金は取り出し易い; int1 -> int2: あの定期預金は取り出し易いか見得るかどちらもである; int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの定期預金は言い難い」ということは成り立つとしたらあの養護学校は四ＪＦＡＡである
事実2: もし仮にあの養護学校が言い難いとするとあの定期預金は取り出し易い
事実3: 「この五連覇は線維輪だけれど見得るということはない」ということは誤りであるとしたらあの定期預金は見得ない
事実4: もしこの五連覇は疎明しないとすれば「それは線維輪だが見得ない」ということは成り立たない
事実5: あの養護学校は言い難い

仮説: 「「なにかは取り出し易いかそれは見得る」ということは真実だ」ということは嘘である
1. 事実2と事実5から、推論1: "あの定期預金は取り出し易い"が導かれる
2. 推論1から、推論2: "あの定期預金は取り出し易いか見得るかどちらもである"が導かれる
3. 推論2から、仮説が否定される

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