あのフランスチャンピオンは物々しい
fact1: この中薬学は明治以降であるということはない fact2: もしも「休憩する」物があるとすればこの中薬学は明治以降だということはない fact3: 「明治以降だし気弱い」ものがあるとしたらこの入り口部分は催奇形性だ fact4: 仮にあるものが休憩するとすればこの中薬学は明治以降でないが気弱い fact5: この中薬学は物々しい fact6: 「休憩する」物はある fact7: この中薬学は物々しかないとすれば「あのフランスチャンピオンは物々しかない」ということは事実である fact8: もしも「この入り口部分は催奇形性でない」ということは偽だとすると「あのフランスチャンピオンは物々しい」ということは成り立つ fact9: もしもなんらかの物が明治以降であるということはないけどそれが気弱いとするとこの入り口部分は催奇形性だ
fact6 & fact4 -> int1: この中薬学は明治以降でない一方で気弱い; int1 -> int2: なにかは明治以降でないけど気弱い; int2 & fact9 -> int3: この入り口部分は催奇形性だ; int3 & fact8 -> hypothesis;
あのフランスチャンピオンは物々しかない
$facts$ = fact1: この中薬学は明治以降であるということはない fact2: もしも「休憩する」物があるとすればこの中薬学は明治以降だということはない fact3: 「明治以降だし気弱い」ものがあるとしたらこの入り口部分は催奇形性だ fact4: 仮にあるものが休憩するとすればこの中薬学は明治以降でないが気弱い fact5: この中薬学は物々しい fact6: 「休憩する」物はある fact7: この中薬学は物々しかないとすれば「あのフランスチャンピオンは物々しかない」ということは事実である fact8: もしも「この入り口部分は催奇形性でない」ということは偽だとすると「あのフランスチャンピオンは物々しい」ということは成り立つ fact9: もしもなんらかの物が明治以降であるということはないけどそれが気弱いとするとこの入り口部分は催奇形性だ ; $hypothesis$ = あのフランスチャンピオンは物々しい ; $proof$ = 
fact6 & fact4 -> int1: この中薬学は明治以降でない一方で気弱い; int1 -> int2: なにかは明治以降でないけど気弱い; int2 & fact9 -> int3: この入り口部分は催奇形性だ; int3 & fact8 -> hypothesis; __PROVED__
事実1: この中薬学は明治以降であるということはない
事実2: もしも「休憩する」物があるとすればこの中薬学は明治以降だということはない
事実3: 「明治以降だし気弱い」ものがあるとしたらこの入り口部分は催奇形性だ
事実4: 仮にあるものが休憩するとすればこの中薬学は明治以降でないが気弱い
事実5: この中薬学は物々しい
事実6: 「休憩する」物はある
事実7: この中薬学は物々しかないとすれば「あのフランスチャンピオンは物々しかない」ということは事実である
事実8: もしも「この入り口部分は催奇形性でない」ということは偽だとすると「あのフランスチャンピオンは物々しい」ということは成り立つ
事実9: もしもなんらかの物が明治以降であるということはないけどそれが気弱いとするとこの入り口部分は催奇形性だ

仮説: あのフランスチャンピオンは物々しい
1. 事実6と事実4から、推論1: "この中薬学は明治以降でない一方で気弱い"が導かれる
2. 推論1から、推論2: "なにかは明治以降でないけど気弱い"が導かれる
3. 推論2と事実9から、推論3: "この入り口部分は催奇形性だ"が導かれる
4. 推論3と事実8から、仮説が導かれる

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