この代配は貴方らしいか期待し難くないかあるいは両方である
fact1: 仮にこの代配が分離し易くないならば頑張り為さるし更に期待し難い fact2: もし仮になにがしかのものは龍造寺家でないなら「貴方らしいかまたはそれは期待し難くないか両方だ」ということは成り立たない fact3: その原石は頑張り為さる fact4: 「その原石は龍造寺家である」ということは本当である fact5: その原石が龍造寺家でその上頑張り為さるとすると「この代配は期待し難い」ということは間違っている fact6: その原石が頑張り為さらないが分離し易いとしたらこの代配は龍造寺家でない fact7: この細胞骨格は頑張り為さる fact8: もしもこの代配がマッシュポテトだしその上教育費だとすればそれは分離し易くない fact9: この代配は貴方らしいかあるいはそれは期待し難いかどちらもだ
fact4 & fact3 -> int1: その原石は龍造寺家であるしさらに頑張り為さる; int1 & fact5 -> int2: この代配は期待し難くない; int2 -> hypothesis;
「この代配は貴方らしいかもしくは期待し難いということはないかまたは両方ともだ」ということは成り立たない
fact10 -> int3: もしこの代配は龍造寺家でないとすると「貴方らしいかあるいはそれは期待し難くないかもしくは両方ともである」ということは成り立たない;
$facts$ = fact1: 仮にこの代配が分離し易くないならば頑張り為さるし更に期待し難い fact2: もし仮になにがしかのものは龍造寺家でないなら「貴方らしいかまたはそれは期待し難くないか両方だ」ということは成り立たない fact3: その原石は頑張り為さる fact4: 「その原石は龍造寺家である」ということは本当である fact5: その原石が龍造寺家でその上頑張り為さるとすると「この代配は期待し難い」ということは間違っている fact6: その原石が頑張り為さらないが分離し易いとしたらこの代配は龍造寺家でない fact7: この細胞骨格は頑張り為さる fact8: もしもこの代配がマッシュポテトだしその上教育費だとすればそれは分離し易くない fact9: この代配は貴方らしいかあるいはそれは期待し難いかどちらもだ ; $hypothesis$ = この代配は貴方らしいか期待し難くないかあるいは両方である ; $proof$ = 
fact4 & fact3 -> int1: その原石は龍造寺家であるしさらに頑張り為さる; int1 & fact5 -> int2: この代配は期待し難くない; int2 -> hypothesis; __PROVED__
事実1: 仮にこの代配が分離し易くないならば頑張り為さるし更に期待し難い
事実2: もし仮になにがしかのものは龍造寺家でないなら「貴方らしいかまたはそれは期待し難くないか両方だ」ということは成り立たない
事実3: その原石は頑張り為さる
事実4: 「その原石は龍造寺家である」ということは本当である
事実5: その原石が龍造寺家でその上頑張り為さるとすると「この代配は期待し難い」ということは間違っている
事実6: その原石が頑張り為さらないが分離し易いとしたらこの代配は龍造寺家でない
事実7: この細胞骨格は頑張り為さる
事実8: もしもこの代配がマッシュポテトだしその上教育費だとすればそれは分離し易くない
事実9: この代配は貴方らしいかあるいはそれは期待し難いかどちらもだ

仮説: この代配は貴方らしいか期待し難くないかあるいは両方である
1. 事実4と事実3から、推論1: "その原石は龍造寺家であるしさらに頑張り為さる"が導かれる
2. 推論1と事実5から、推論2: "この代配は期待し難くない"が導かれる
3. 推論2から、仮説が導かれる

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