このコルは売り難い
fact1: もし仮に「復唱しないしかつすーごくない」ものがあればその蔵書更新は分担しない fact2: すべてのものは復唱しなくてそれはすーごくない fact3: このコルが考え易いならそれは売り難い fact4: もし仮に「その蔵書更新は手強いがしかし対比しない」ということは確かだということはないとすればこの第二楽章は対比する fact5: このコルは考え易い fact6: 仮にこの部活動名が三角柱間隙であるしかつ御寒いとするとこのコルは御寒くない fact7: もしもこのコルが御寒くないとするとあの現代表記は考え易くて売り難い fact8: もしとある物は分担しないとすれば「それは手強いがしかし対比しない」ということは誤りだ
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの現代表記は考え易い
fact13 -> int1: もしもその蔵書更新は分担しないとしたら「それは手強くてそれは対比しない」ということは成り立たない; fact9 -> int2: その半時は復唱しなくてかつすーごくない; int2 -> int3: 何かは復唱しないしすーごくない; int3 & fact14 -> int4: 「その蔵書更新は分担しない」ということは真実である; int1 & int4 -> int5: 「その蔵書更新は手強いが対比しない」ということは成り立たない; fact12 & int5 -> int6: この第二楽章は対比する; int6 -> int7: 何かは対比する;
$facts$ = fact1: もし仮に「復唱しないしかつすーごくない」ものがあればその蔵書更新は分担しない fact2: すべてのものは復唱しなくてそれはすーごくない fact3: このコルが考え易いならそれは売り難い fact4: もし仮に「その蔵書更新は手強いがしかし対比しない」ということは確かだということはないとすればこの第二楽章は対比する fact5: このコルは考え易い fact6: 仮にこの部活動名が三角柱間隙であるしかつ御寒いとするとこのコルは御寒くない fact7: もしもこのコルが御寒くないとするとあの現代表記は考え易くて売り難い fact8: もしとある物は分担しないとすれば「それは手強いがしかし対比しない」ということは誤りだ ; $hypothesis$ = このコルは売り難い ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に「復唱しないしかつすーごくない」ものがあればその蔵書更新は分担しない
事実2: すべてのものは復唱しなくてそれはすーごくない
事実3: このコルが考え易いならそれは売り難い
事実4: もし仮に「その蔵書更新は手強いがしかし対比しない」ということは確かだということはないとすればこの第二楽章は対比する
事実5: このコルは考え易い
事実6: 仮にこの部活動名が三角柱間隙であるしかつ御寒いとするとこのコルは御寒くない
事実7: もしもこのコルが御寒くないとするとあの現代表記は考え易くて売り難い
事実8: もしとある物は分担しないとすれば「それは手強いがしかし対比しない」ということは誤りだ

仮説: このコルは売り難い
1. 事実3と事実5から、仮説が導かれる

よって、仮説が証明されました。