あのレシプロシティは裏付ける
fact1: そのマスラックは用済みでない fact2: もしある物が保育しないならそれは余所余所しい fact3: もし仮にそのマスラックが商人らしいとすればあのレシプロシティは裏付ける fact4: もしもそのマスラックは用済みでないならば商人らしい
fact4 & fact1 -> int1: 「そのマスラックは商人らしい」ということは成り立つ; int1 & fact3 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
仮にこの児童手当てが保育しないとするとそれは余所余所しい
fact5 -> hypothesis;
$facts$ = fact1: そのマスラックは用済みでない fact2: もしある物が保育しないならそれは余所余所しい fact3: もし仮にそのマスラックが商人らしいとすればあのレシプロシティは裏付ける fact4: もしもそのマスラックは用済みでないならば商人らしい ; $hypothesis$ = あのレシプロシティは裏付ける ; $proof$ = 
fact4 & fact1 -> int1: 「そのマスラックは商人らしい」ということは成り立つ; int1 & fact3 -> hypothesis; __PROVED__
事実1: そのマスラックは用済みでない
事実2: もしある物が保育しないならそれは余所余所しい
事実3: もし仮にそのマスラックが商人らしいとすればあのレシプロシティは裏付ける
事実4: もしもそのマスラックは用済みでないならば商人らしい

仮説: あのレシプロシティは裏付ける
1. 事実4と事実1から、推論1: "「そのマスラックは商人らしい」ということは成り立つ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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