このＧＮＯＭＥアプリケーションはパジェロで接待行為だ
fact1: なんらかのものが海馬であるとすればこのＧＮＯＭＥアプリケーションはパジェロである fact2: 「海馬な」物はある fact3: このＧＮＯＭＥアプリケーションは就労しない一方でそれは横断法だ fact4: 仮にこのＧＮＯＭＥアプリケーションは就労しないが横断法ならば接待行為だ
fact2 & fact1 -> int1: このＧＮＯＭＥアプリケーションはパジェロである; fact3 & fact4 -> int2: このＧＮＯＭＥアプリケーションは接待行為である; int1 & int2 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; fact3 & fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: なんらかのものが海馬であるとすればこのＧＮＯＭＥアプリケーションはパジェロである fact2: 「海馬な」物はある fact3: このＧＮＯＭＥアプリケーションは就労しない一方でそれは横断法だ fact4: 仮にこのＧＮＯＭＥアプリケーションは就労しないが横断法ならば接待行為だ ; $hypothesis$ = このＧＮＯＭＥアプリケーションはパジェロで接待行為だ ; $proof$ = 
fact2 & fact1 -> int1: このＧＮＯＭＥアプリケーションはパジェロである; fact3 & fact4 -> int2: このＧＮＯＭＥアプリケーションは接待行為である; int1 & int2 -> hypothesis; __PROVED__
事実1: なんらかのものが海馬であるとすればこのＧＮＯＭＥアプリケーションはパジェロである
事実2: 「海馬な」物はある
事実3: このＧＮＯＭＥアプリケーションは就労しない一方でそれは横断法だ
事実4: 仮にこのＧＮＯＭＥアプリケーションは就労しないが横断法ならば接待行為だ

仮説: このＧＮＯＭＥアプリケーションはパジェロで接待行為だ
1. 事実2と事実1から、推論1: "このＧＮＯＭＥアプリケーションはパジェロである"が導かれる
2. 事実3と事実4から、推論2: "このＧＮＯＭＥアプリケーションは接待行為である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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