その接続は端座するがそれは払い落とさない
fact1: その接続は狙い分けるけれど擦れ合わない fact2: すべてのものは化学増幅レジストでない fact3: その分類番号は二次スプライン曲線でない fact4: その接続は化学増幅レジストでない fact5: もしこの半面が化学増幅レジストでないならその接続は払い落とさない fact6: その接続は払い落とさない fact7: もし「この半面は端座しない」ということは正しいとしたらその接続は払い落とす一方で化学増幅レジストでない fact8: もしも「その接続は化学増幅レジストである」ということは事実と異なるならこの半面は端座するけど払い落とさない fact9: なにがしかのものが度し難いけどそれは怒りっぽくないならば「それは慎み深くない」ということは間違っている fact10: もし仮にこの半面が端座しないとするとその接続は化学増幅レジストであるけど払い落とさない fact11: もしもその分類番号が慎み深いならそれは国学である fact12: その分類番号は度し難い fact13: どれもこれもはスポーツマンらしくない fact14: もし「この半面は化学増幅レジストでない」ということは確かであるならばあの接続は端座するけれど払い落とさない fact15: その接続は直接言上でない fact16: この半面は払い落とさない fact17: 「もしもその分類番号が二次スプライン曲線でないとするとその分類番号が経験的知識だしそれにそれは見合わせる」ということは成り立つ fact18: もしもなにがしかのものは見合わせるし国学だとすると化学増幅レジストでない
fact2 -> int1: この半面は化学増幅レジストでない; int1 & fact14 -> hypothesis;
「その接続は端座するけどそれは払い落とさない」ということは間違っている
fact23 -> int2: もしもその分類番号が見合わせるしおまけにそれは国学であるならばそれは化学増幅レジストであるということはない; fact20 & fact24 -> int3: その分類番号は経験的知識であるししかも見合わせる; int3 -> int4: その分類番号は見合わせる; fact19 -> int5: もしその分類番号は度し難いけれど怒りっぽくないとしたら慎み深い;
$facts$ = fact1: その接続は狙い分けるけれど擦れ合わない fact2: すべてのものは化学増幅レジストでない fact3: その分類番号は二次スプライン曲線でない fact4: その接続は化学増幅レジストでない fact5: もしこの半面が化学増幅レジストでないならその接続は払い落とさない fact6: その接続は払い落とさない fact7: もし「この半面は端座しない」ということは正しいとしたらその接続は払い落とす一方で化学増幅レジストでない fact8: もしも「その接続は化学増幅レジストである」ということは事実と異なるならこの半面は端座するけど払い落とさない fact9: なにがしかのものが度し難いけどそれは怒りっぽくないならば「それは慎み深くない」ということは間違っている fact10: もし仮にこの半面が端座しないとするとその接続は化学増幅レジストであるけど払い落とさない fact11: もしもその分類番号が慎み深いならそれは国学である fact12: その分類番号は度し難い fact13: どれもこれもはスポーツマンらしくない fact14: もし「この半面は化学増幅レジストでない」ということは確かであるならばあの接続は端座するけれど払い落とさない fact15: その接続は直接言上でない fact16: この半面は払い落とさない fact17: 「もしもその分類番号が二次スプライン曲線でないとするとその分類番号が経験的知識だしそれにそれは見合わせる」ということは成り立つ fact18: もしもなにがしかのものは見合わせるし国学だとすると化学増幅レジストでない ; $hypothesis$ = その接続は端座するがそれは払い落とさない ; $proof$ = 
fact2 -> int1: この半面は化学増幅レジストでない; int1 & fact14 -> hypothesis; __PROVED__
事実1: その接続は狙い分けるけれど擦れ合わない
事実2: すべてのものは化学増幅レジストでない
事実3: その分類番号は二次スプライン曲線でない
事実4: その接続は化学増幅レジストでない
事実5: もしこの半面が化学増幅レジストでないならその接続は払い落とさない
事実6: その接続は払い落とさない
事実7: もし「この半面は端座しない」ということは正しいとしたらその接続は払い落とす一方で化学増幅レジストでない
事実8: もしも「その接続は化学増幅レジストである」ということは事実と異なるならこの半面は端座するけど払い落とさない
事実9: なにがしかのものが度し難いけどそれは怒りっぽくないならば「それは慎み深くない」ということは間違っている
事実10: もし仮にこの半面が端座しないとするとその接続は化学増幅レジストであるけど払い落とさない
事実11: もしもその分類番号が慎み深いならそれは国学である
事実12: その分類番号は度し難い
事実13: どれもこれもはスポーツマンらしくない
事実14: もし「この半面は化学増幅レジストでない」ということは確かであるならばあの接続は端座するけれど払い落とさない
事実15: その接続は直接言上でない
事実16: この半面は払い落とさない
事実17: 「もしもその分類番号が二次スプライン曲線でないとするとその分類番号が経験的知識だしそれにそれは見合わせる」ということは成り立つ
事実18: もしもなにがしかのものは見合わせるし国学だとすると化学増幅レジストでない

仮説: その接続は端座するがそれは払い落とさない
1. 事実2から、推論1: "この半面は化学増幅レジストでない"が導かれる
2. 推論1と事実14から、仮説が導かれる

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