この吟遊詩人は逞しい
fact1: その編み芯は逞しい fact2: もし仮に嘘っぽいものがあるならこの吟遊詩人は逞しい fact3: この吟遊詩人は歌詞内容である fact4: もし「ひ弱い」物があるとすればこの金主は契約自由である fact5: もしなにがしかの物は閃けば「ひ弱くないしそれに翔らない」ということは成り立たない fact6: 「その三椏は逞しい」ということは成り立つ fact7: もし「掴み易い」ものがあるならこの吟遊詩人は艶っぽい fact8: もし「あの選挙運動中はひ弱くないしおまけに翔らない」ということは成り立つということはないならこの吟遊詩人は逞しくない fact9: 「ひ弱い」物はある fact10: 逞しい物はある fact11: 「途絶える」物はある fact12: この吟遊詩人は面倒臭い fact13: もし「なにがしかの物はひ弱い」ということは真実ならばこの吟遊詩人は逞しい
fact9 & fact13 -> hypothesis;
fact9 & fact13 -> hypothesis;
この吟遊詩人は逞しくない
fact14 -> int1: あの選挙運動中は閃けば「ひ弱くないし翔らない」ということは偽だ;
$facts$ = fact1: その編み芯は逞しい fact2: もし仮に嘘っぽいものがあるならこの吟遊詩人は逞しい fact3: この吟遊詩人は歌詞内容である fact4: もし「ひ弱い」物があるとすればこの金主は契約自由である fact5: もしなにがしかの物は閃けば「ひ弱くないしそれに翔らない」ということは成り立たない fact6: 「その三椏は逞しい」ということは成り立つ fact7: もし「掴み易い」ものがあるならこの吟遊詩人は艶っぽい fact8: もし「あの選挙運動中はひ弱くないしおまけに翔らない」ということは成り立つということはないならこの吟遊詩人は逞しくない fact9: 「ひ弱い」物はある fact10: 逞しい物はある fact11: 「途絶える」物はある fact12: この吟遊詩人は面倒臭い fact13: もし「なにがしかの物はひ弱い」ということは真実ならばこの吟遊詩人は逞しい ; $hypothesis$ = この吟遊詩人は逞しい ; $proof$ = 
fact9 & fact13 -> hypothesis; __PROVED__
事実1: その編み芯は逞しい
事実2: もし仮に嘘っぽいものがあるならこの吟遊詩人は逞しい
事実3: この吟遊詩人は歌詞内容である
事実4: もし「ひ弱い」物があるとすればこの金主は契約自由である
事実5: もしなにがしかの物は閃けば「ひ弱くないしそれに翔らない」ということは成り立たない
事実6: 「その三椏は逞しい」ということは成り立つ
事実7: もし「掴み易い」ものがあるならこの吟遊詩人は艶っぽい
事実8: もし「あの選挙運動中はひ弱くないしおまけに翔らない」ということは成り立つということはないならこの吟遊詩人は逞しくない
事実9: 「ひ弱い」物はある
事実10: 逞しい物はある
事実11: 「途絶える」物はある
事実12: この吟遊詩人は面倒臭い
事実13: もし「なにがしかの物はひ弱い」ということは真実ならばこの吟遊詩人は逞しい

仮説: この吟遊詩人は逞しい
1. 事実9と事実13から、仮説が導かれる

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