「「もしも「あの舎房は斥候だ」ということは成り立つとすると「あの教外別伝は実践派でない」ということは確かである」ということは真実だ」ということは成り立たない
fact1: もしもあの教外別伝が環境調査だがしかし斥候でないならばあの舎房は実践派でない fact2: もし仮にあの舎房が斥候であるがしかし環境調査だということはないとしたらあの教外別伝は実践派だ fact3: あの舎房は小僧でない fact4: もしもあの舎房が斥候だ一方で環境調査であるということはないとしたらあの教外別伝は実践派でない fact5: その地価下落は実践派である fact6: あの舎房が実践派でなくて斥候でないならばその濃密さは斥候でない fact7: あの教外別伝は縮小する一方でどろどろしない fact8: あの舎房は環境調査でない
void -> assump1: 以下のように仮定する。あの舎房は斥候である; assump1 & fact8 -> int1: あの舎房は斥候だけれど環境調査でない; int1 & fact4 -> int2: あの教外別伝は実践派でない; [assump1] & int2 -> hypothesis;
その濃密さは斥候でない
$facts$ = fact1: もしもあの教外別伝が環境調査だがしかし斥候でないならばあの舎房は実践派でない fact2: もし仮にあの舎房が斥候であるがしかし環境調査だということはないとしたらあの教外別伝は実践派だ fact3: あの舎房は小僧でない fact4: もしもあの舎房が斥候だ一方で環境調査であるということはないとしたらあの教外別伝は実践派でない fact5: その地価下落は実践派である fact6: あの舎房が実践派でなくて斥候でないならばその濃密さは斥候でない fact7: あの教外別伝は縮小する一方でどろどろしない fact8: あの舎房は環境調査でない ; $hypothesis$ = 「「もしも「あの舎房は斥候だ」ということは成り立つとすると「あの教外別伝は実践派でない」ということは確かである」ということは真実だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの舎房は斥候である; assump1 & fact8 -> int1: あの舎房は斥候だけれど環境調査でない; int1 & fact4 -> int2: あの教外別伝は実践派でない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの教外別伝が環境調査だがしかし斥候でないならばあの舎房は実践派でない
事実2: もし仮にあの舎房が斥候であるがしかし環境調査だということはないとしたらあの教外別伝は実践派だ
事実3: あの舎房は小僧でない
事実4: もしもあの舎房が斥候だ一方で環境調査であるということはないとしたらあの教外別伝は実践派でない
事実5: その地価下落は実践派である
事実6: あの舎房が実践派でなくて斥候でないならばその濃密さは斥候でない
事実7: あの教外別伝は縮小する一方でどろどろしない
事実8: あの舎房は環境調査でない

仮説: 「「もしも「あの舎房は斥候だ」ということは成り立つとすると「あの教外別伝は実践派でない」ということは確かである」ということは真実だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの舎房は斥候である
2. 仮定1と事実8から、推論1: "あの舎房は斥候だけれど環境調査でない"が導かれる
3. 推論1と事実4から、推論2: "あの教外別伝は実践派でない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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