「その函館本線が焼き殺さないしさらに戻せない」ということは確かだ
fact1: もしその素通りは司るとしたら「禿げる」ということは事実である fact2: もし仮にその函館本線は禿げるししかも焼き殺すとすれば出発す fact3: 「「焼き殺すしさらに戻せる」ということは間違いな」物はある fact4: 「「晴々しいしその上礎である」ということは成り立たない」物があるとすればあのフランは思し召ししない fact5: もしなにかは思し召ししないとしたら「それは焼き殺さないし更にそれは戻せない」ということは事実と異なる fact6: そのフランは禿げない fact7: 「そのフランは思し召しする」ということは成り立つとすればあの素通りは国防相だということはないしそれに焼き殺さない fact8: なんらかの物は司るしそれは焼き殺す fact9: 「「「晴々しいし礎だ」ということは本当でない」物はある」ということは成り立つ fact10: その函館本線は司らない fact11: その素通りは国防相であるけれど出発すということはないならそれは司る fact12: もし仮にそのフランが思し召ししないとするとその素通りは国防相だけれどそれは出発すらない fact13: その函館本線は長細いか帰寮するかもしくは両方である fact14: もしそのウイルス血症が唾棄すしかつそれが真ん丸いとするとそれは晴々しい fact15: その素通りはアーカイブするが馴染み深くない fact16: もしもその函館本線が国防相でおまけに出発すとすると思し召ししない fact17: 仮にその素通りが国防相であるとしたらそのフランが思し召ししないしさらに出発すということはない fact18: 仮に「思し召しするということはない」ものがあるならばあのフランは禿げない fact19: もしもその素通りは禿げるとすれば「その函館本線は焼き殺すということはないし戻せない」ということは真実である fact20: 「出発すし戻せる」物はある fact21: なにがしかの物は晴々しいしそれは礎だ fact22: もしもその素通りは焼き殺すとすれば「その函館本線は出発すということはない」ということは正しい fact23: 仮にその素通りは戻せるし司るとしたら焼き殺す fact24: もしそのフランが司らないならばあの素通りは思し召ししない fact25: 仮に「その素通りは国防相だということはない」ということは確かだとすればあの函館本線は禿げない
fact9 & fact4 -> int1: そのフランは思し召しするということはない; int1 & fact12 -> int2: その素通りは国防相だけれど出発すらない; int2 & fact11 -> int3: その素通りは司る; int3 & fact1 -> int4: 「その素通りは禿げる」ということは真実だ; int4 & fact19 -> hypothesis;
「その函館本線は焼き殺さなくてかつそれは戻せない」ということは間違いだ
fact27 -> int5: その函館本線は思し召ししないなら「焼き殺さなくてその上それは戻せない」ということは誤りだ;
$facts$ = fact1: もしその素通りは司るとしたら「禿げる」ということは事実である fact2: もし仮にその函館本線は禿げるししかも焼き殺すとすれば出発す fact3: 「「焼き殺すしさらに戻せる」ということは間違いな」物はある fact4: 「「晴々しいしその上礎である」ということは成り立たない」物があるとすればあのフランは思し召ししない fact5: もしなにかは思し召ししないとしたら「それは焼き殺さないし更にそれは戻せない」ということは事実と異なる fact6: そのフランは禿げない fact7: 「そのフランは思し召しする」ということは成り立つとすればあの素通りは国防相だということはないしそれに焼き殺さない fact8: なんらかの物は司るしそれは焼き殺す fact9: 「「「晴々しいし礎だ」ということは本当でない」物はある」ということは成り立つ fact10: その函館本線は司らない fact11: その素通りは国防相であるけれど出発すということはないならそれは司る fact12: もし仮にそのフランが思し召ししないとするとその素通りは国防相だけれどそれは出発すらない fact13: その函館本線は長細いか帰寮するかもしくは両方である fact14: もしそのウイルス血症が唾棄すしかつそれが真ん丸いとするとそれは晴々しい fact15: その素通りはアーカイブするが馴染み深くない fact16: もしもその函館本線が国防相でおまけに出発すとすると思し召ししない fact17: 仮にその素通りが国防相であるとしたらそのフランが思し召ししないしさらに出発すということはない fact18: 仮に「思し召しするということはない」ものがあるならばあのフランは禿げない fact19: もしもその素通りは禿げるとすれば「その函館本線は焼き殺すということはないし戻せない」ということは真実である fact20: 「出発すし戻せる」物はある fact21: なにがしかの物は晴々しいしそれは礎だ fact22: もしもその素通りは焼き殺すとすれば「その函館本線は出発すということはない」ということは正しい fact23: 仮にその素通りは戻せるし司るとしたら焼き殺す fact24: もしそのフランが司らないならばあの素通りは思し召ししない fact25: 仮に「その素通りは国防相だということはない」ということは確かだとすればあの函館本線は禿げない ; $hypothesis$ = 「その函館本線が焼き殺さないしさらに戻せない」ということは確かだ ; $proof$ = 
fact9 & fact4 -> int1: そのフランは思し召しするということはない; int1 & fact12 -> int2: その素通りは国防相だけれど出発すらない; int2 & fact11 -> int3: その素通りは司る; int3 & fact1 -> int4: 「その素通りは禿げる」ということは真実だ; int4 & fact19 -> hypothesis; __PROVED__
事実1: もしその素通りは司るとしたら「禿げる」ということは事実である
事実2: もし仮にその函館本線は禿げるししかも焼き殺すとすれば出発す
事実3: 「「焼き殺すしさらに戻せる」ということは間違いな」物はある
事実4: 「「晴々しいしその上礎である」ということは成り立たない」物があるとすればあのフランは思し召ししない
事実5: もしなにかは思し召ししないとしたら「それは焼き殺さないし更にそれは戻せない」ということは事実と異なる
事実6: そのフランは禿げない
事実7: 「そのフランは思し召しする」ということは成り立つとすればあの素通りは国防相だということはないしそれに焼き殺さない
事実8: なんらかの物は司るしそれは焼き殺す
事実9: 「「「晴々しいし礎だ」ということは本当でない」物はある」ということは成り立つ
事実10: その函館本線は司らない
事実11: その素通りは国防相であるけれど出発すということはないならそれは司る
事実12: もし仮にそのフランが思し召ししないとするとその素通りは国防相だけれどそれは出発すらない
事実13: その函館本線は長細いか帰寮するかもしくは両方である
事実14: もしそのウイルス血症が唾棄すしかつそれが真ん丸いとするとそれは晴々しい
事実15: その素通りはアーカイブするが馴染み深くない
事実16: もしもその函館本線が国防相でおまけに出発すとすると思し召ししない
事実17: 仮にその素通りが国防相であるとしたらそのフランが思し召ししないしさらに出発すということはない
事実18: 仮に「思し召しするということはない」ものがあるならばあのフランは禿げない
事実19: もしもその素通りは禿げるとすれば「その函館本線は焼き殺すということはないし戻せない」ということは真実である
事実20: 「出発すし戻せる」物はある
事実21: なにがしかの物は晴々しいしそれは礎だ
事実22: もしもその素通りは焼き殺すとすれば「その函館本線は出発すということはない」ということは正しい
事実23: 仮にその素通りは戻せるし司るとしたら焼き殺す
事実24: もしそのフランが司らないならばあの素通りは思し召ししない
事実25: 仮に「その素通りは国防相だということはない」ということは確かだとすればあの函館本線は禿げない

仮説: 「その函館本線が焼き殺さないしさらに戻せない」ということは確かだ
1. 事実9と事実4から、推論1: "そのフランは思し召しするということはない"が導かれる
2. 推論1と事実12から、推論2: "その素通りは国防相だけれど出発すらない"が導かれる
3. 推論2と事実11から、推論3: "その素通りは司る"が導かれる
4. 推論3と事実1から、推論4: "「その素通りは禿げる」ということは真実だ"が導かれる
5. 推論4と事実19から、仮説が導かれる

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