あの細胞内液は作務だということはなくて一画面でない
fact1: あの多品種少量生産は青髭である fact2: もしもなにかは弁解がましかないなら溶け難いし更に御宜しい fact3: もしも何かは作務でないならそれは立件しなくて叱咤激励しない fact4: もし御宜しくない物は一画面であるならば作務でない fact5: すべてのものは作務でなくてそれは一画面でない fact6: すべての物は御宜しくない fact7: あの多品種少量生産は青髭だとすれば「その実母は角巻劇場だということはなくて涙ぐましくない」ということは成り立たない
fact5 -> hypothesis;
fact5 -> hypothesis;
全てのものは立件しないしそれは叱咤激励しない
fact8 -> int1: 仮にあの本読みが御宜しいということはない一方でそれが一画面なら作務でない; fact9 -> int2: その実母は御宜しくない; fact10 -> int3: もしもあの本読みは作務でないとしたらそれは立件するということはないしその上叱咤激励しない;
$facts$ = fact1: あの多品種少量生産は青髭である fact2: もしもなにかは弁解がましかないなら溶け難いし更に御宜しい fact3: もしも何かは作務でないならそれは立件しなくて叱咤激励しない fact4: もし御宜しくない物は一画面であるならば作務でない fact5: すべてのものは作務でなくてそれは一画面でない fact6: すべての物は御宜しくない fact7: あの多品種少量生産は青髭だとすれば「その実母は角巻劇場だということはなくて涙ぐましくない」ということは成り立たない ; $hypothesis$ = あの細胞内液は作務だということはなくて一画面でない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの多品種少量生産は青髭である
事実2: もしもなにかは弁解がましかないなら溶け難いし更に御宜しい
事実3: もしも何かは作務でないならそれは立件しなくて叱咤激励しない
事実4: もし御宜しくない物は一画面であるならば作務でない
事実5: すべてのものは作務でなくてそれは一画面でない
事実6: すべての物は御宜しくない
事実7: あの多品種少量生産は青髭だとすれば「その実母は角巻劇場だということはなくて涙ぐましくない」ということは成り立たない

仮説: あの細胞内液は作務だということはなくて一画面でない
1. 事実5から、仮説が導かれる

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