あの同性間セックスは考古であるしその上遂げる
fact1: もしも「居住地原則である」ものがあればこの処女性は食らわさない fact2: なんらかのものは居住地原則だ fact3: もし仮にこの処女性が食らわさないとするとあの同性間セックスは考古である fact4: あの同性間セックスは遂げるしメールソフトだ
fact2 & fact1 -> int1: この処女性は食らわさない; int1 & fact3 -> int2: あの同性間セックスは考古だ; fact4 -> int3: あの同性間セックスは遂げる; int2 & int3 -> hypothesis;
$facts$ = fact1: もしも「居住地原則である」ものがあればこの処女性は食らわさない fact2: なんらかのものは居住地原則だ fact3: もし仮にこの処女性が食らわさないとするとあの同性間セックスは考古である fact4: あの同性間セックスは遂げるしメールソフトだ ; $hypothesis$ = あの同性間セックスは考古であるしその上遂げる ; $proof$ = 
fact2 & fact1 -> int1: この処女性は食らわさない; int1 & fact3 -> int2: あの同性間セックスは考古だ; fact4 -> int3: あの同性間セックスは遂げる; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも「居住地原則である」ものがあればこの処女性は食らわさない
事実2: なんらかのものは居住地原則だ
事実3: もし仮にこの処女性が食らわさないとするとあの同性間セックスは考古である
事実4: あの同性間セックスは遂げるしメールソフトだ

仮説: あの同性間セックスは考古であるしその上遂げる
1. 事実2と事実1から、推論1: "この処女性は食らわさない"が導かれる
2. 推論1と事実3から、推論2: "あの同性間セックスは考古だ"が導かれる
3. 事実4から、推論3: "あの同性間セックスは遂げる"が導かれる
4. 推論2と推論3から、仮説が導かれる

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