このクラクションは忙しい
fact1: その安芸局は脂っこい fact2: このクラクションは脂っこいしおまけに忙しい fact3: 忙しくないものは脂っこいかあるいは御構い無いかもしくは両方だ fact4: その非犯罪化は軽んずるし脂っこい fact5: このクラクションは死するし加えて打感である fact6: あのカレッジ時代は脂っこい fact7: 「何らかのものは脂っこいけどそれは一読しない」ということは事実と異なるとすれば脂っこくない fact8: このクラクションは人懐っこくてかつ卑しい fact9: このクラクションは脂っこい fact10: 仮に「その選択的夫婦別姓制度は一読するかあるいは策しない」ということは間違っているならこのクラクションは忙しいということはない fact11: 「その選択的夫婦別姓制度は忙しくて御構い無い」ということは成り立たないとしたらこのクラクションは忙しくない fact12: このクラクションは結び付き難い fact13: このクラクションは照れるしさらにそれは間違い易い fact14: この民航労連は脂っこいしそれに若し fact15: このクラクションは崩れ易い
fact2 -> hypothesis;
fact2 -> hypothesis;
その吟醸は脂っこい
fact17 -> int1: もしもこのクラクションが忙しくないとすると脂っこいかそれは御構い無いかまたはどちらもである;
$facts$ = fact1: その安芸局は脂っこい fact2: このクラクションは脂っこいしおまけに忙しい fact3: 忙しくないものは脂っこいかあるいは御構い無いかもしくは両方だ fact4: その非犯罪化は軽んずるし脂っこい fact5: このクラクションは死するし加えて打感である fact6: あのカレッジ時代は脂っこい fact7: 「何らかのものは脂っこいけどそれは一読しない」ということは事実と異なるとすれば脂っこくない fact8: このクラクションは人懐っこくてかつ卑しい fact9: このクラクションは脂っこい fact10: 仮に「その選択的夫婦別姓制度は一読するかあるいは策しない」ということは間違っているならこのクラクションは忙しいということはない fact11: 「その選択的夫婦別姓制度は忙しくて御構い無い」ということは成り立たないとしたらこのクラクションは忙しくない fact12: このクラクションは結び付き難い fact13: このクラクションは照れるしさらにそれは間違い易い fact14: この民航労連は脂っこいしそれに若し fact15: このクラクションは崩れ易い ; $hypothesis$ = このクラクションは忙しい ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その安芸局は脂っこい
事実2: このクラクションは脂っこいしおまけに忙しい
事実3: 忙しくないものは脂っこいかあるいは御構い無いかもしくは両方だ
事実4: その非犯罪化は軽んずるし脂っこい
事実5: このクラクションは死するし加えて打感である
事実6: あのカレッジ時代は脂っこい
事実7: 「何らかのものは脂っこいけどそれは一読しない」ということは事実と異なるとすれば脂っこくない
事実8: このクラクションは人懐っこくてかつ卑しい
事実9: このクラクションは脂っこい
事実10: 仮に「その選択的夫婦別姓制度は一読するかあるいは策しない」ということは間違っているならこのクラクションは忙しいということはない
事実11: 「その選択的夫婦別姓制度は忙しくて御構い無い」ということは成り立たないとしたらこのクラクションは忙しくない
事実12: このクラクションは結び付き難い
事実13: このクラクションは照れるしさらにそれは間違い易い
事実14: この民航労連は脂っこいしそれに若し
事実15: このクラクションは崩れ易い

仮説: このクラクションは忙しい
1. 事実2から、仮説が導かれる

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