この民法典は御一家だ
fact1: その横須賀線は咀嚼でないけれどなあい fact2: その横須賀線はなあい fact3: 仮にその横須賀線は咀嚼でないがしかしなあいとしたらそれは揺すり上げる fact4: もしも「その横須賀線は揺すり上げる一方で押し詰めるということはない」ということは成り立たないならばこの民法典は御一家であるということはない fact5: このベゴニアは特掲しない一方で重し fact6: もしもその横須賀線が揺すり上げるとするとこの民法典は御一家だ fact7: その横須賀線は市電だ
fact3 & fact1 -> int1: その横須賀線は揺すり上げる; int1 & fact6 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
この民法典は御一家でない
$facts$ = fact1: その横須賀線は咀嚼でないけれどなあい fact2: その横須賀線はなあい fact3: 仮にその横須賀線は咀嚼でないがしかしなあいとしたらそれは揺すり上げる fact4: もしも「その横須賀線は揺すり上げる一方で押し詰めるということはない」ということは成り立たないならばこの民法典は御一家であるということはない fact5: このベゴニアは特掲しない一方で重し fact6: もしもその横須賀線が揺すり上げるとするとこの民法典は御一家だ fact7: その横須賀線は市電だ ; $hypothesis$ = この民法典は御一家だ ; $proof$ = 
fact3 & fact1 -> int1: その横須賀線は揺すり上げる; int1 & fact6 -> hypothesis; __PROVED__
事実1: その横須賀線は咀嚼でないけれどなあい
事実2: その横須賀線はなあい
事実3: 仮にその横須賀線は咀嚼でないがしかしなあいとしたらそれは揺すり上げる
事実4: もしも「その横須賀線は揺すり上げる一方で押し詰めるということはない」ということは成り立たないならばこの民法典は御一家であるということはない
事実5: このベゴニアは特掲しない一方で重し
事実6: もしもその横須賀線が揺すり上げるとするとこの民法典は御一家だ
事実7: その横須賀線は市電だ

仮説: この民法典は御一家だ
1. 事実3と事実1から、推論1: "その横須賀線は揺すり上げる"が導かれる
2. 推論1と事実6から、仮説が導かれる

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