この利用計画は居た堪れる
fact1: その楷書は居た堪れる fact2: この日本国中は居た堪れる fact3: その気管は居た堪れる fact4: この利用計画は経理部長である fact5: この利用計画は表現する fact6: この利用計画は都心部である fact7: その着陸料は居た堪れる fact8: この利用計画は赤し fact9: この利用計画は居た堪れる fact10: この利用計画は結び付き難い fact11: 「この見出しタグは居た堪れない」ということは成り立たない fact12: その舵輪は居た堪れる fact13: そのテイクアウトは居た堪れる
fact9 -> hypothesis;
fact9 -> hypothesis;
$facts$ = fact1: その楷書は居た堪れる fact2: この日本国中は居た堪れる fact3: その気管は居た堪れる fact4: この利用計画は経理部長である fact5: この利用計画は表現する fact6: この利用計画は都心部である fact7: その着陸料は居た堪れる fact8: この利用計画は赤し fact9: この利用計画は居た堪れる fact10: この利用計画は結び付き難い fact11: 「この見出しタグは居た堪れない」ということは成り立たない fact12: その舵輪は居た堪れる fact13: そのテイクアウトは居た堪れる ; $hypothesis$ = この利用計画は居た堪れる ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: その楷書は居た堪れる
事実2: この日本国中は居た堪れる
事実3: その気管は居た堪れる
事実4: この利用計画は経理部長である
事実5: この利用計画は表現する
事実6: この利用計画は都心部である
事実7: その着陸料は居た堪れる
事実8: この利用計画は赤し
事実9: この利用計画は居た堪れる
事実10: この利用計画は結び付き難い
事実11: 「この見出しタグは居た堪れない」ということは成り立たない
事実12: その舵輪は居た堪れる
事実13: そのテイクアウトは居た堪れる

仮説: この利用計画は居た堪れる
1. 事実9から、仮説が導かれる

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