「そのドイツ生まれは解し難い」ということは正しい
fact1: もし「ある物は憔悴する」ということは成り立つとすると「それは解し難い」ということは真実である fact2: そのランビキは夜々であるか狙い難い fact3: なんらかの物は小難しくないなら「それは資産計上しなくて加えて熱くない」ということは成り立つということはない fact4: 仮にこの五箇月後が送信機であるとすればこの腐植土は眠たい fact5: もしも「この親しさは憔悴する」ということは真実だとすればこの腐植土は小気味良くない一方で出現し易い fact6: このラインバッカーは伊吹だ fact7: その練習曲は憔悴する fact8: 「この五箇月後は眠たい」ということは真実であるとすればあの腐植土は眠たい fact9: 死文は憔悴する fact10: もしも「この親しさは資産計上しないし熱いということはない」ということは本当でないとするとそのドイツ生まれは死文である fact11: もしもこの腐植土が眠たいしそれに甲高いならこの親しさは小難しくない fact12: もしこの二十一Ａが甲高いとすればあの腐植土は甲高い fact13: このラインバッカーは前輪でないかまたは回さない fact14: とあるものが前輪でないがしかしそれが伊吹であるとするとこの産業疲労は引き込むということはない fact15: もし「このラインバッカーは前輪でないかあるいは回さない」ということは成り立つとすると前輪でない fact16: この親しさは憔悴する fact17: もし「引き込むということはない」ものがあればこの五箇月後は送信機であるかまたはそれは眠たい fact18: もしこの腐植土が小気味良くないけど出現し易いならばそのドイツ生まれは解し難くない
fact5 & fact16 -> int1: この腐植土は小気味良くない一方で出現し易い; int1 & fact18 -> hypothesis;
そのドイツ生まれは解し難い
fact24 -> int2: もし仮にそのドイツ生まれは憔悴するなら「それは解し難い」ということは本当だ; fact21 -> int3: もし仮にそのドイツ生まれは死文だとしたら「憔悴する」ということは正しい; fact32 -> int4: 仮にこの親しさは小難しくないとしたら「それは資産計上しないし熱くない」ということは事実だということはない; fact25 & fact31 -> int5: このラインバッカーは前輪でない; int5 & fact22 -> int6: このラインバッカーは前輪でないがそれは伊吹だ; int6 -> int7: なにかは前輪だということはないがしかし伊吹である; int7 & fact19 -> int8: この産業疲労は引き込まない; int8 -> int9: なにがしかの物は引き込むということはない; int9 & fact26 -> int10: この五箇月後は送信機であるかもしくは眠たい; int10 & fact23 & fact27 -> int11: この腐植土は眠たい; fact30 -> int12: 「夜々であるかあるいは狙い難いかどちらもな」物はある;
$facts$ = fact1: もし「ある物は憔悴する」ということは成り立つとすると「それは解し難い」ということは真実である fact2: そのランビキは夜々であるか狙い難い fact3: なんらかの物は小難しくないなら「それは資産計上しなくて加えて熱くない」ということは成り立つということはない fact4: 仮にこの五箇月後が送信機であるとすればこの腐植土は眠たい fact5: もしも「この親しさは憔悴する」ということは真実だとすればこの腐植土は小気味良くない一方で出現し易い fact6: このラインバッカーは伊吹だ fact7: その練習曲は憔悴する fact8: 「この五箇月後は眠たい」ということは真実であるとすればあの腐植土は眠たい fact9: 死文は憔悴する fact10: もしも「この親しさは資産計上しないし熱いということはない」ということは本当でないとするとそのドイツ生まれは死文である fact11: もしもこの腐植土が眠たいしそれに甲高いならこの親しさは小難しくない fact12: もしこの二十一Ａが甲高いとすればあの腐植土は甲高い fact13: このラインバッカーは前輪でないかまたは回さない fact14: とあるものが前輪でないがしかしそれが伊吹であるとするとこの産業疲労は引き込むということはない fact15: もし「このラインバッカーは前輪でないかあるいは回さない」ということは成り立つとすると前輪でない fact16: この親しさは憔悴する fact17: もし「引き込むということはない」ものがあればこの五箇月後は送信機であるかまたはそれは眠たい fact18: もしこの腐植土が小気味良くないけど出現し易いならばそのドイツ生まれは解し難くない ; $hypothesis$ = 「そのドイツ生まれは解し難い」ということは正しい ; $proof$ = 
fact5 & fact16 -> int1: この腐植土は小気味良くない一方で出現し易い; int1 & fact18 -> hypothesis; __DISPROVED__
事実1: もし「ある物は憔悴する」ということは成り立つとすると「それは解し難い」ということは真実である
事実2: そのランビキは夜々であるか狙い難い
事実3: なんらかの物は小難しくないなら「それは資産計上しなくて加えて熱くない」ということは成り立つということはない
事実4: 仮にこの五箇月後が送信機であるとすればこの腐植土は眠たい
事実5: もしも「この親しさは憔悴する」ということは真実だとすればこの腐植土は小気味良くない一方で出現し易い
事実6: このラインバッカーは伊吹だ
事実7: その練習曲は憔悴する
事実8: 「この五箇月後は眠たい」ということは真実であるとすればあの腐植土は眠たい
事実9: 死文は憔悴する
事実10: もしも「この親しさは資産計上しないし熱いということはない」ということは本当でないとするとそのドイツ生まれは死文である
事実11: もしもこの腐植土が眠たいしそれに甲高いならこの親しさは小難しくない
事実12: もしこの二十一Ａが甲高いとすればあの腐植土は甲高い
事実13: このラインバッカーは前輪でないかまたは回さない
事実14: とあるものが前輪でないがしかしそれが伊吹であるとするとこの産業疲労は引き込むということはない
事実15: もし「このラインバッカーは前輪でないかあるいは回さない」ということは成り立つとすると前輪でない
事実16: この親しさは憔悴する
事実17: もし「引き込むということはない」ものがあればこの五箇月後は送信機であるかまたはそれは眠たい
事実18: もしこの腐植土が小気味良くないけど出現し易いならばそのドイツ生まれは解し難くない

仮説: 「そのドイツ生まれは解し難い」ということは正しい
1. 事実5と事実16から、推論1: "この腐植土は小気味良くない一方で出現し易い"が導かれる
2. 推論1と事実18から、仮説が否定される

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