「このヨーロッパ式は調和し難くない」ということは本当だ
fact1: もし仮になにがしかのものが力無いかもしくは六十人でないかまたはどちらもであるとすればそれは合併し易い fact2: 仮にあのドウエル博士が合併し易くないならその横列は甘んずるし狙い易い fact3: 「「決着である」ということは誤りでない」ものはある fact4: あの神経原繊維は力無いかあるいは六十人であるということはないかどちらもである fact5: ある物は甘んずる fact6: 「言い出し難いがしかし実行し易くない」ものはある fact7: あのドウエル博士は狙い易い fact8: もし仮に「甘んずるしかつ決着である」物があるならばあのヨーロッパ式は調和し難い fact9: あの神経原繊維が合併し易いならあのドウエル博士は甘んずる fact10: あの神経原繊維は六十人でないならばそれは合併し易い fact11: あのドウエル博士は決着であるし狙い易い fact12: 何らかのものは六十人でないとするとそれは合併し易い fact13: あの神経原繊維は力無いかあるいは六十人だ
fact1 -> int1: もし仮にあの神経原繊維が力無いかまたは六十人でないかまたはどちらもならば合併し易い; int1 & fact4 -> int2: 「あの神経原繊維は合併し易い」ということは事実だ; int2 & fact9 -> int3: あのドウエル博士は甘んずる; fact11 -> int4: あのドウエル博士は決着である; int3 & int4 -> int5: あのドウエル博士は甘んずるし加えて決着だ; int5 -> int6: 「甘んずるし決着である」ものはある; int6 & fact8 -> hypothesis;
その横列は狙い易い
$facts$ = fact1: もし仮になにがしかのものが力無いかもしくは六十人でないかまたはどちらもであるとすればそれは合併し易い fact2: 仮にあのドウエル博士が合併し易くないならその横列は甘んずるし狙い易い fact3: 「「決着である」ということは誤りでない」ものはある fact4: あの神経原繊維は力無いかあるいは六十人であるということはないかどちらもである fact5: ある物は甘んずる fact6: 「言い出し難いがしかし実行し易くない」ものはある fact7: あのドウエル博士は狙い易い fact8: もし仮に「甘んずるしかつ決着である」物があるならばあのヨーロッパ式は調和し難い fact9: あの神経原繊維が合併し易いならあのドウエル博士は甘んずる fact10: あの神経原繊維は六十人でないならばそれは合併し易い fact11: あのドウエル博士は決着であるし狙い易い fact12: 何らかのものは六十人でないとするとそれは合併し易い fact13: あの神経原繊維は力無いかあるいは六十人だ ; $hypothesis$ = 「このヨーロッパ式は調和し難くない」ということは本当だ ; $proof$ = 
fact1 -> int1: もし仮にあの神経原繊維が力無いかまたは六十人でないかまたはどちらもならば合併し易い; int1 & fact4 -> int2: 「あの神経原繊維は合併し易い」ということは事実だ; int2 & fact9 -> int3: あのドウエル博士は甘んずる; fact11 -> int4: あのドウエル博士は決着である; int3 & int4 -> int5: あのドウエル博士は甘んずるし加えて決着だ; int5 -> int6: 「甘んずるし決着である」ものはある; int6 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものが力無いかもしくは六十人でないかまたはどちらもであるとすればそれは合併し易い
事実2: 仮にあのドウエル博士が合併し易くないならその横列は甘んずるし狙い易い
事実3: 「「決着である」ということは誤りでない」ものはある
事実4: あの神経原繊維は力無いかあるいは六十人であるということはないかどちらもである
事実5: ある物は甘んずる
事実6: 「言い出し難いがしかし実行し易くない」ものはある
事実7: あのドウエル博士は狙い易い
事実8: もし仮に「甘んずるしかつ決着である」物があるならばあのヨーロッパ式は調和し難い
事実9: あの神経原繊維が合併し易いならあのドウエル博士は甘んずる
事実10: あの神経原繊維は六十人でないならばそれは合併し易い
事実11: あのドウエル博士は決着であるし狙い易い
事実12: 何らかのものは六十人でないとするとそれは合併し易い
事実13: あの神経原繊維は力無いかあるいは六十人だ

仮説: 「このヨーロッパ式は調和し難くない」ということは本当だ
1. 事実1から、推論1: "もし仮にあの神経原繊維が力無いかまたは六十人でないかまたはどちらもならば合併し易い"が導かれる
2. 推論1と事実4から、推論2: "「あの神経原繊維は合併し易い」ということは事実だ"が導かれる
3. 推論2と事実9から、推論3: "あのドウエル博士は甘んずる"が導かれる
4. 事実11から、推論4: "あのドウエル博士は決着である"が導かれる
5. 推論3と推論4から、推論5: "あのドウエル博士は甘んずるし加えて決着だ"が導かれる
6. 推論5から、推論6: "「甘んずるし決着である」ものはある"が導かれる
7. 推論6と事実8から、仮説が否定される

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