「あのグリーンは波及経路でないが女の子らしい」ということは事実でない
fact1: 仮にこの舌がめんどいとするとあのグリーンは波及経路でないが女の子らしい fact2: あのグリーンは女の子らしい fact3: もしもこの舌が女の子らしいとすればあのグリーンはめんどくないけれど波及経路である fact4: この舌はめんどいということはないとすれば「あのグリーンは波及経路でないけど女の子らしい」ということは成り立たない fact5: この舌はめんどい fact6: もしとあるものはプロらしいということはないなら「それはめんどくてそれは敗訴する」ということは成り立たない fact7: この掛かり付け患者は常連らしいということはないがしかし開港である fact8: この舌はめんどいなら「あのグリーンは女の子らしい」ということは成り立つ fact9: もしもこの舌が波及経路ならあのグリーンは女の子らしいということはないがしかしめんどい fact10: この水蛇神リーガは波及経路である fact11: あのグリーンは日本らしい fact12: 浅い物はプロらしくない
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
「あのグリーンは波及経路でないが女の子らしい」ということは間違っている
fact14 -> int1: もし仮にこの握り部分はプロらしいということはないなら「それはめんどいしそれは敗訴する」ということは事実でない; fact13 -> int2: もしもこの握り部分は浅いならば「プロらしくない」ということは本当だ;
$facts$ = fact1: 仮にこの舌がめんどいとするとあのグリーンは波及経路でないが女の子らしい fact2: あのグリーンは女の子らしい fact3: もしもこの舌が女の子らしいとすればあのグリーンはめんどくないけれど波及経路である fact4: この舌はめんどいということはないとすれば「あのグリーンは波及経路でないけど女の子らしい」ということは成り立たない fact5: この舌はめんどい fact6: もしとあるものはプロらしいということはないなら「それはめんどくてそれは敗訴する」ということは成り立たない fact7: この掛かり付け患者は常連らしいということはないがしかし開港である fact8: この舌はめんどいなら「あのグリーンは女の子らしい」ということは成り立つ fact9: もしもこの舌が波及経路ならあのグリーンは女の子らしいということはないがしかしめんどい fact10: この水蛇神リーガは波及経路である fact11: あのグリーンは日本らしい fact12: 浅い物はプロらしくない ; $hypothesis$ = 「あのグリーンは波及経路でないが女の子らしい」ということは事実でない ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にこの舌がめんどいとするとあのグリーンは波及経路でないが女の子らしい
事実2: あのグリーンは女の子らしい
事実3: もしもこの舌が女の子らしいとすればあのグリーンはめんどくないけれど波及経路である
事実4: この舌はめんどいということはないとすれば「あのグリーンは波及経路でないけど女の子らしい」ということは成り立たない
事実5: この舌はめんどい
事実6: もしとあるものはプロらしいということはないなら「それはめんどくてそれは敗訴する」ということは成り立たない
事実7: この掛かり付け患者は常連らしいということはないがしかし開港である
事実8: この舌はめんどいなら「あのグリーンは女の子らしい」ということは成り立つ
事実9: もしもこの舌が波及経路ならあのグリーンは女の子らしいということはないがしかしめんどい
事実10: この水蛇神リーガは波及経路である
事実11: あのグリーンは日本らしい
事実12: 浅い物はプロらしくない

仮説: 「あのグリーンは波及経路でないが女の子らしい」ということは事実でない
1. 事実1と事実5から、仮説が否定される

よって、仮説が否定されました。