「この普通預金口座は見苦しいかまたはほろ苦い」ということは誤りだ
fact1: この普通預金口座はほろ苦いか学校運営費である fact2: もし仮にその分光結晶が学校運営費であるとすればこの普通預金口座は見苦しい fact3: その分光結晶は早変わりするかそれは学校運営費であるか両方ともである fact4: もしその分光結晶は見苦しいとすれば「この普通預金口座は学校運営費だ」ということは成り立つ fact5: 仮になにかは学校運営費でないとしたら「見苦しいかまたはそれはほろ苦いかまたは両方ともである」ということは誤りである fact6: この普通預金口座は学校運営費だ fact7: その分光結晶は学校運営費だ
fact2 & fact7 -> int1: この普通預金口座は見苦しい; int1 -> hypothesis;
fact2 & fact7 -> int1: {B}{b}; int1 -> hypothesis;
「この普通預金口座は見苦しいかそれはほろ苦い」ということは嘘である
fact8 -> int2: もしその分光結晶は学校運営費でないならば「それは見苦しいかもしくはそれはほろ苦い」ということは成り立つということはない;
$facts$ = fact1: この普通預金口座はほろ苦いか学校運営費である fact2: もし仮にその分光結晶が学校運営費であるとすればこの普通預金口座は見苦しい fact3: その分光結晶は早変わりするかそれは学校運営費であるか両方ともである fact4: もしその分光結晶は見苦しいとすれば「この普通預金口座は学校運営費だ」ということは成り立つ fact5: 仮になにかは学校運営費でないとしたら「見苦しいかまたはそれはほろ苦いかまたは両方ともである」ということは誤りである fact6: この普通預金口座は学校運営費だ fact7: その分光結晶は学校運営費だ ; $hypothesis$ = 「この普通預金口座は見苦しいかまたはほろ苦い」ということは誤りだ ; $proof$ = 
fact2 & fact7 -> int1: この普通預金口座は見苦しい; int1 -> hypothesis; __DISPROVED__
事実1: この普通預金口座はほろ苦いか学校運営費である
事実2: もし仮にその分光結晶が学校運営費であるとすればこの普通預金口座は見苦しい
事実3: その分光結晶は早変わりするかそれは学校運営費であるか両方ともである
事実4: もしその分光結晶は見苦しいとすれば「この普通預金口座は学校運営費だ」ということは成り立つ
事実5: 仮になにかは学校運営費でないとしたら「見苦しいかまたはそれはほろ苦いかまたは両方ともである」ということは誤りである
事実6: この普通預金口座は学校運営費だ
事実7: その分光結晶は学校運営費だ

仮説: 「この普通預金口座は見苦しいかまたはほろ苦い」ということは誤りだ
1. 事実2と事実7から、推論1: "この普通預金口座は見苦しい"が導かれる
2. 推論1から、仮説が否定される

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