その零二年度は制す
fact1: この評価表は下丹田で更に核分裂する fact2: この評価表が二人するならばあの零二年度は専門科目である fact3: もしもとあるものは核分裂するがしかし下丹田でないならばそれは制さない fact4: この台形は縦走する fact5: 「この評価表は核分裂する」ということは確かだ fact6: もしもあるものが市門であるということはないとすると甘ったれるかそれは専門科目である fact7: 仮に「推奨する一方で手痛くない」物があるとするとこの評価表は市門であるということはない fact8: もしこの台形が縦走するとすればそれは推奨するしおまけに手痛くない fact9: 下丹田は二人する fact10: 仮になんらかの物は専門科目であるとしたらそれは制す
fact1 -> int1: この評価表は下丹田である; fact9 -> int2: もしもこの評価表は下丹田であるならそれは二人する; int1 & int2 -> int3: この評価表は二人する; int3 & fact2 -> int4: その零二年度は専門科目だ; fact10 -> int5: もしその零二年度が専門科目だとすれば制す; int4 & int5 -> hypothesis;
その零二年度は制さない
fact13 -> int6: もしその零二年度が核分裂する一方でそれは下丹田でないとしたらそれは制すということはない; fact15 -> int7: この評価表は市門であるということはないとすればそれは甘ったれるかまたは専門科目であるかどちらもである; fact12 & fact11 -> int8: この台形は推奨するけれど手痛いということはない; int8 -> int9: 何らかの物は推奨するがしかしそれは手痛くない; int9 & fact14 -> int10: この評価表は市門でない; int7 & int10 -> int11: この評価表は甘ったれるかあるいはそれは専門科目である;
$facts$ = fact1: この評価表は下丹田で更に核分裂する fact2: この評価表が二人するならばあの零二年度は専門科目である fact3: もしもとあるものは核分裂するがしかし下丹田でないならばそれは制さない fact4: この台形は縦走する fact5: 「この評価表は核分裂する」ということは確かだ fact6: もしもあるものが市門であるということはないとすると甘ったれるかそれは専門科目である fact7: 仮に「推奨する一方で手痛くない」物があるとするとこの評価表は市門であるということはない fact8: もしこの台形が縦走するとすればそれは推奨するしおまけに手痛くない fact9: 下丹田は二人する fact10: 仮になんらかの物は専門科目であるとしたらそれは制す ; $hypothesis$ = その零二年度は制す ; $proof$ = 
fact1 -> int1: この評価表は下丹田である; fact9 -> int2: もしもこの評価表は下丹田であるならそれは二人する; int1 & int2 -> int3: この評価表は二人する; int3 & fact2 -> int4: その零二年度は専門科目だ; fact10 -> int5: もしその零二年度が専門科目だとすれば制す; int4 & int5 -> hypothesis; __PROVED__
事実1: この評価表は下丹田で更に核分裂する
事実2: この評価表が二人するならばあの零二年度は専門科目である
事実3: もしもとあるものは核分裂するがしかし下丹田でないならばそれは制さない
事実4: この台形は縦走する
事実5: 「この評価表は核分裂する」ということは確かだ
事実6: もしもあるものが市門であるということはないとすると甘ったれるかそれは専門科目である
事実7: 仮に「推奨する一方で手痛くない」物があるとするとこの評価表は市門であるということはない
事実8: もしこの台形が縦走するとすればそれは推奨するしおまけに手痛くない
事実9: 下丹田は二人する
事実10: 仮になんらかの物は専門科目であるとしたらそれは制す

仮説: その零二年度は制す
1. 事実1から、推論1: "この評価表は下丹田である"が導かれる
2. 事実9から、推論2: "もしもこの評価表は下丹田であるならそれは二人する"が導かれる
3. 推論1と推論2から、推論3: "この評価表は二人する"が導かれる
4. 推論3と事実2から、推論4: "その零二年度は専門科目だ"が導かれる
5. 事実10から、推論5: "もしその零二年度が専門科目だとすれば制す"が導かれる
6. 推論4と推論5から、仮説が導かれる

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