「この金額単位が毛深いしその上それは紅葉する」ということは間違いだ
fact1: この金額単位は教育的機能である fact2: 仮に何らかの物は闘争しないならば「毛深くてかつ紅葉する」ということは偽だ fact3: あの宗教宗派は闘争するしそれに避難する fact4: この金額単位は紅葉するしまた教育的機能である fact5: この金額単位は闘争する fact6: もしこの金額単位が闘争すれば毛深い
fact6 & fact5 -> int1: この金額単位は毛深い; fact4 -> int2: 「この金額単位は紅葉する」ということは事実だ; int1 & int2 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「この金額単位は毛深いし紅葉する」ということは嘘だ
fact7 -> int3: 仮にこの金額単位は闘争しないとすれば「毛深いし更に紅葉する」ということは事実と異なる;
$facts$ = fact1: この金額単位は教育的機能である fact2: 仮に何らかの物は闘争しないならば「毛深くてかつ紅葉する」ということは偽だ fact3: あの宗教宗派は闘争するしそれに避難する fact4: この金額単位は紅葉するしまた教育的機能である fact5: この金額単位は闘争する fact6: もしこの金額単位が闘争すれば毛深い ; $hypothesis$ = 「この金額単位が毛深いしその上それは紅葉する」ということは間違いだ ; $proof$ = 
fact6 & fact5 -> int1: この金額単位は毛深い; fact4 -> int2: 「この金額単位は紅葉する」ということは事実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この金額単位は教育的機能である
事実2: 仮に何らかの物は闘争しないならば「毛深くてかつ紅葉する」ということは偽だ
事実3: あの宗教宗派は闘争するしそれに避難する
事実4: この金額単位は紅葉するしまた教育的機能である
事実5: この金額単位は闘争する
事実6: もしこの金額単位が闘争すれば毛深い

仮説: 「この金額単位が毛深いしその上それは紅葉する」ということは間違いだ
1. 事実6と事実5から、推論1: "この金額単位は毛深い"が導かれる
2. 事実4から、推論2: "「この金額単位は紅葉する」ということは事実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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