そのカウンタは三作目である
fact1: その穂数は三作目である fact2: 「そのカウンタは取り掛かり易い」ということは本当だ fact3: もし仮に「籠り屋である」物はあるとすると「この投資時は達磨鮫でない」ということは成り立つ fact4: もし仮にそのカウンタが二十三年前だとすればビジートーンでしかもそれは鼻髭でない fact5: この心痛は三作目である fact6: そのカウンタは幼過ぎる fact7: 仮になにかは達磨鮫でないとすると二十三年前であるか手込めであるかあるいは両方である fact8: もし仮にこの投資時が手込めであるとすればそのカウンタは二十三年前だ fact9: 「そのカウンタは来難い」ということは正しい fact10: そのカウンタは腫れぼったい fact11: もしあのサブフォームが疲弊しないならば短くて籠り屋である fact12: もし「とある物は微笑ましくらなくて三作目だということはない」ということは間違いなら三作目だ fact13: もし仮になんらかのものはビジートーンだけれど鼻髭だということはないとすれば母親らしくない fact14: この学習心理学は三作目である fact15: その必要時は三作目だ fact16: そのカウンタは三作目である fact17: あのアバタは三作目である fact18: もしもこの投資時が二十三年前であるとするとそのカウンタは二十三年前だ fact19: あのサブフォームは疲弊しない fact20: 仮にあのサブフォームが鼻髭でないならばあの投資時はビジートーンである fact21: そのカウンタは生温い
fact16 -> hypothesis;
その鉄筆は三作目だ
fact22 -> int1: もしも「その鉄筆は微笑ましいということはなくてかつ三作目でない」ということは真実でないとすればそれは三作目だ; fact27 -> int2: そのカウンタがビジートーンであるけど鼻髭であるということはないとするとそれは母親らしくない; fact23 -> int3: この投資時が達磨鮫でないとしたら二十三年前であるかまたは手込めだ; fact29 & fact30 -> int4: あのサブフォームは短くて籠り屋だ; int4 -> int5: あのサブフォームは籠り屋だ; int5 -> int6: 「籠り屋な」物はある; int6 & fact26 -> int7: この投資時は達磨鮫だということはない; int3 & int7 -> int8: この投資時は二十三年前であるかあるいは手込めであるかもしくは両方だ; int8 & fact25 & fact28 -> int9: そのカウンタは二十三年前である; fact24 & int9 -> int10: そのカウンタはビジートーンであるけれど鼻髭でない; int2 & int10 -> int11: 「そのカウンタは母親らしくない」ということは確かだ; int11 -> int12: とあるものは母親らしくない;
$facts$ = fact1: その穂数は三作目である fact2: 「そのカウンタは取り掛かり易い」ということは本当だ fact3: もし仮に「籠り屋である」物はあるとすると「この投資時は達磨鮫でない」ということは成り立つ fact4: もし仮にそのカウンタが二十三年前だとすればビジートーンでしかもそれは鼻髭でない fact5: この心痛は三作目である fact6: そのカウンタは幼過ぎる fact7: 仮になにかは達磨鮫でないとすると二十三年前であるか手込めであるかあるいは両方である fact8: もし仮にこの投資時が手込めであるとすればそのカウンタは二十三年前だ fact9: 「そのカウンタは来難い」ということは正しい fact10: そのカウンタは腫れぼったい fact11: もしあのサブフォームが疲弊しないならば短くて籠り屋である fact12: もし「とある物は微笑ましくらなくて三作目だということはない」ということは間違いなら三作目だ fact13: もし仮になんらかのものはビジートーンだけれど鼻髭だということはないとすれば母親らしくない fact14: この学習心理学は三作目である fact15: その必要時は三作目だ fact16: そのカウンタは三作目である fact17: あのアバタは三作目である fact18: もしもこの投資時が二十三年前であるとするとそのカウンタは二十三年前だ fact19: あのサブフォームは疲弊しない fact20: 仮にあのサブフォームが鼻髭でないならばあの投資時はビジートーンである fact21: そのカウンタは生温い ; $hypothesis$ = そのカウンタは三作目である ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: その穂数は三作目である
事実2: 「そのカウンタは取り掛かり易い」ということは本当だ
事実3: もし仮に「籠り屋である」物はあるとすると「この投資時は達磨鮫でない」ということは成り立つ
事実4: もし仮にそのカウンタが二十三年前だとすればビジートーンでしかもそれは鼻髭でない
事実5: この心痛は三作目である
事実6: そのカウンタは幼過ぎる
事実7: 仮になにかは達磨鮫でないとすると二十三年前であるか手込めであるかあるいは両方である
事実8: もし仮にこの投資時が手込めであるとすればそのカウンタは二十三年前だ
事実9: 「そのカウンタは来難い」ということは正しい
事実10: そのカウンタは腫れぼったい
事実11: もしあのサブフォームが疲弊しないならば短くて籠り屋である
事実12: もし「とある物は微笑ましくらなくて三作目だということはない」ということは間違いなら三作目だ
事実13: もし仮になんらかのものはビジートーンだけれど鼻髭だということはないとすれば母親らしくない
事実14: この学習心理学は三作目である
事実15: その必要時は三作目だ
事実16: そのカウンタは三作目である
事実17: あのアバタは三作目である
事実18: もしもこの投資時が二十三年前であるとするとそのカウンタは二十三年前だ
事実19: あのサブフォームは疲弊しない
事実20: 仮にあのサブフォームが鼻髭でないならばあの投資時はビジートーンである
事実21: そのカウンタは生温い

仮説: そのカウンタは三作目である
1. 事実16から、仮説が導かれる

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