あの落葉低木は消費出来る
fact1: もしもその西洋剣技が支障無いとすればその援助者は配慮する fact2: もしあの宮内庁庁舎が汚れ難いがしかし良しということはないとすればあの応神紀は汚れ難い fact3: もし仮に「その援助者は配慮する」ということは成り立つなら「その応神紀は配慮しないが二本榎だ」ということは間違いである fact4: あの不明瞭さは汚れ難い fact5: あの宮内庁庁舎は汚れ難いがしかし良しない fact6: その西洋剣技は立腹するし支障無い fact7: もし仮に「ある物は配慮しない一方で二本榎だ」ということは誤りであるとすればそれは生みだ fact8: もしもその応神紀が汚れ難いし生みであるとするとあの落葉低木は消費出来ない
fact6 -> int1: その西洋剣技は支障無い; int1 & fact1 -> int2: その援助者は配慮する; int2 & fact3 -> int3: 「「その応神紀は配慮しないけれど二本榎だ」ということは誤りでない」ということは成り立たない; fact7 -> int4: もし仮に「「その応神紀は配慮しないけれどそれは二本榎だ」ということは事実だ」ということは間違っていれば生みである; int3 & int4 -> int5: その応神紀は生みである; fact5 & fact2 -> int6: その応神紀は汚れ難い; int5 & int6 -> int7: その応神紀は汚れ難いし生みだ; int7 & fact8 -> hypothesis;
$facts$ = fact1: もしもその西洋剣技が支障無いとすればその援助者は配慮する fact2: もしあの宮内庁庁舎が汚れ難いがしかし良しということはないとすればあの応神紀は汚れ難い fact3: もし仮に「その援助者は配慮する」ということは成り立つなら「その応神紀は配慮しないが二本榎だ」ということは間違いである fact4: あの不明瞭さは汚れ難い fact5: あの宮内庁庁舎は汚れ難いがしかし良しない fact6: その西洋剣技は立腹するし支障無い fact7: もし仮に「ある物は配慮しない一方で二本榎だ」ということは誤りであるとすればそれは生みだ fact8: もしもその応神紀が汚れ難いし生みであるとするとあの落葉低木は消費出来ない ; $hypothesis$ = あの落葉低木は消費出来る ; $proof$ = 
fact6 -> int1: その西洋剣技は支障無い; int1 & fact1 -> int2: その援助者は配慮する; int2 & fact3 -> int3: 「「その応神紀は配慮しないけれど二本榎だ」ということは誤りでない」ということは成り立たない; fact7 -> int4: もし仮に「「その応神紀は配慮しないけれどそれは二本榎だ」ということは事実だ」ということは間違っていれば生みである; int3 & int4 -> int5: その応神紀は生みである; fact5 & fact2 -> int6: その応神紀は汚れ難い; int5 & int6 -> int7: その応神紀は汚れ難いし生みだ; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもその西洋剣技が支障無いとすればその援助者は配慮する
事実2: もしあの宮内庁庁舎が汚れ難いがしかし良しということはないとすればあの応神紀は汚れ難い
事実3: もし仮に「その援助者は配慮する」ということは成り立つなら「その応神紀は配慮しないが二本榎だ」ということは間違いである
事実4: あの不明瞭さは汚れ難い
事実5: あの宮内庁庁舎は汚れ難いがしかし良しない
事実6: その西洋剣技は立腹するし支障無い
事実7: もし仮に「ある物は配慮しない一方で二本榎だ」ということは誤りであるとすればそれは生みだ
事実8: もしもその応神紀が汚れ難いし生みであるとするとあの落葉低木は消費出来ない

仮説: あの落葉低木は消費出来る
1. 事実6から、推論1: "その西洋剣技は支障無い"が導かれる
2. 推論1と事実1から、推論2: "その援助者は配慮する"が導かれる
3. 推論2と事実3から、推論3: "「「その応神紀は配慮しないけれど二本榎だ」ということは誤りでない」ということは成り立たない"が導かれる
4. 事実7から、推論4: "もし仮に「「その応神紀は配慮しないけれどそれは二本榎だ」ということは事実だ」ということは間違っていれば生みである"が導かれる
5. 推論3と推論4から、推論5: "その応神紀は生みである"が導かれる
6. 事実5と事実2から、推論6: "その応神紀は汚れ難い"が導かれる
7. 推論5と推論6から、推論7: "その応神紀は汚れ難いし生みだ"が導かれる
8. 推論7と事実8から、仮説が否定される

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