「あの榎丈はチャーハンであるしひんやりする」ということは偽だ
fact1: もし「ミニコミ誌でない」ものがあるならあのビジネス・モデルはカバー出来る fact2: あの榎丈は供給するということはない fact3: もし「このエディンバラ公は伸び縮みするがそれは強しない」ということは誤りであるならその黒パンは伸び縮みする fact4: もし何らかの物がカバー出来るとしたらそれは延期しなくてかつそれはひんやりしない fact5: もし仮に「がじゅまるな」ものはあるなら「その黒パンは臨床試験でないしでかくない」ということは嘘である fact6: あのビジネス・モデルはひんやりしないしかつ延期するということはない fact7: もし「何らかの物はチャーハンであるし公開企業だ」ということは成り立たないならチャーハンでない fact8: 仮に「「延期するししかも公開企業だ」ということは成り立たない」ものがあればあの榎丈はチャーハンだ fact9: もしこのエディンバラ公は堆いということはないとすると「伸び縮みするし強しない」ということは成り立たない fact10: その野外教育はひんやりするということはない fact11: あのビジネス・モデルは延期しなくてかつそれはチャーハンでない fact12: 「このエディンバラ公は堆くない」ということは事実だ fact13: もし仮にあのビジネス・モデルはチャーハンでないなら「あの榎丈はチャーハンであるしまたひんやりする」ということは誤りだ fact14: もしも「その黒パンは臨床試験でなくて加えてでかいということはない」ということは真実でないならばそれは臨床試験だ fact15: 「伸び縮みするしそれに臨床試験な」ものがあるならばあの羽衣は飯盒だ fact16: もしあのビジネス・モデルは延期しないならば「その取り引き相場はチャーハンでそれは公開企業だ」ということは偽だ fact17: 仮にこの羽衣が飯盒ならばあの榎丈はミニコミ誌でない fact18: このハンはがじゅまるだ fact19: 「あのビジネス・モデルは延期するし加えて公開企業である」ということは間違っている fact20: 「あのビジネス・モデルは延期しない」ということは確かだ
fact11 -> int1: あのビジネス・モデルはチャーハンであるということはない; int1 & fact13 -> hypothesis;
fact11 -> int1: ¬{B}{a}; int1 & fact13 -> hypothesis;
その取り引き相場はチャーハンでない
fact29 -> int2: 「その取り引き相場はチャーハンでおまけに公開企業である」ということは成り立たないならばそれはチャーハンでない; fact21 -> int3: もしもあのビジネス・モデルがカバー出来るとしたらそれが延期しないしさらにそれはひんやりしない; fact27 & fact25 -> int4: 「このエディンバラ公は伸び縮みするがしかしそれは強しない」ということは偽だ; fact24 & int4 -> int5: その黒パンは伸び縮みする; fact28 -> int6: 「がじゅまるな」ものはある; int6 & fact22 -> int7: 「その黒パンは臨床試験でなくてその上でかいということはない」ということは成り立たない; fact32 & int7 -> int8: 「その黒パンは臨床試験だ」ということは成り立つ; int5 & int8 -> int9: その黒パンは伸び縮みするしかつ臨床試験だ; int9 -> int10: 何かは伸び縮みするしさらに臨床試験である; int10 & fact23 -> int11: この羽衣は飯盒である; fact26 & int11 -> int12: あの榎丈はミニコミ誌でない; int12 -> int13: 「ミニコミ誌だということはない」物はある; int13 & fact31 -> int14: 「あのビジネス・モデルはカバー出来る」ということは真実である; int3 & int14 -> int15: あのビジネス・モデルは延期しなくてひんやりしない; int15 -> int16: あのビジネス・モデルは延期しない; fact30 & int16 -> int17: 「その取り引き相場はチャーハンであるし加えて公開企業である」ということは正しくない; int2 & int17 -> hypothesis;
$facts$ = fact1: もし「ミニコミ誌でない」ものがあるならあのビジネス・モデルはカバー出来る fact2: あの榎丈は供給するということはない fact3: もし「このエディンバラ公は伸び縮みするがそれは強しない」ということは誤りであるならその黒パンは伸び縮みする fact4: もし何らかの物がカバー出来るとしたらそれは延期しなくてかつそれはひんやりしない fact5: もし仮に「がじゅまるな」ものはあるなら「その黒パンは臨床試験でないしでかくない」ということは嘘である fact6: あのビジネス・モデルはひんやりしないしかつ延期するということはない fact7: もし「何らかの物はチャーハンであるし公開企業だ」ということは成り立たないならチャーハンでない fact8: 仮に「「延期するししかも公開企業だ」ということは成り立たない」ものがあればあの榎丈はチャーハンだ fact9: もしこのエディンバラ公は堆いということはないとすると「伸び縮みするし強しない」ということは成り立たない fact10: その野外教育はひんやりするということはない fact11: あのビジネス・モデルは延期しなくてかつそれはチャーハンでない fact12: 「このエディンバラ公は堆くない」ということは事実だ fact13: もし仮にあのビジネス・モデルはチャーハンでないなら「あの榎丈はチャーハンであるしまたひんやりする」ということは誤りだ fact14: もしも「その黒パンは臨床試験でなくて加えてでかいということはない」ということは真実でないならばそれは臨床試験だ fact15: 「伸び縮みするしそれに臨床試験な」ものがあるならばあの羽衣は飯盒だ fact16: もしあのビジネス・モデルは延期しないならば「その取り引き相場はチャーハンでそれは公開企業だ」ということは偽だ fact17: 仮にこの羽衣が飯盒ならばあの榎丈はミニコミ誌でない fact18: このハンはがじゅまるだ fact19: 「あのビジネス・モデルは延期するし加えて公開企業である」ということは間違っている fact20: 「あのビジネス・モデルは延期しない」ということは確かだ ; $hypothesis$ = 「あの榎丈はチャーハンであるしひんやりする」ということは偽だ ; $proof$ = 
fact11 -> int1: あのビジネス・モデルはチャーハンであるということはない; int1 & fact13 -> hypothesis; __PROVED__
事実1: もし「ミニコミ誌でない」ものがあるならあのビジネス・モデルはカバー出来る
事実2: あの榎丈は供給するということはない
事実3: もし「このエディンバラ公は伸び縮みするがそれは強しない」ということは誤りであるならその黒パンは伸び縮みする
事実4: もし何らかの物がカバー出来るとしたらそれは延期しなくてかつそれはひんやりしない
事実5: もし仮に「がじゅまるな」ものはあるなら「その黒パンは臨床試験でないしでかくない」ということは嘘である
事実6: あのビジネス・モデルはひんやりしないしかつ延期するということはない
事実7: もし「何らかの物はチャーハンであるし公開企業だ」ということは成り立たないならチャーハンでない
事実8: 仮に「「延期するししかも公開企業だ」ということは成り立たない」ものがあればあの榎丈はチャーハンだ
事実9: もしこのエディンバラ公は堆いということはないとすると「伸び縮みするし強しない」ということは成り立たない
事実10: その野外教育はひんやりするということはない
事実11: あのビジネス・モデルは延期しなくてかつそれはチャーハンでない
事実12: 「このエディンバラ公は堆くない」ということは事実だ
事実13: もし仮にあのビジネス・モデルはチャーハンでないなら「あの榎丈はチャーハンであるしまたひんやりする」ということは誤りだ
事実14: もしも「その黒パンは臨床試験でなくて加えてでかいということはない」ということは真実でないならばそれは臨床試験だ
事実15: 「伸び縮みするしそれに臨床試験な」ものがあるならばあの羽衣は飯盒だ
事実16: もしあのビジネス・モデルは延期しないならば「その取り引き相場はチャーハンでそれは公開企業だ」ということは偽だ
事実17: 仮にこの羽衣が飯盒ならばあの榎丈はミニコミ誌でない
事実18: このハンはがじゅまるだ
事実19: 「あのビジネス・モデルは延期するし加えて公開企業である」ということは間違っている
事実20: 「あのビジネス・モデルは延期しない」ということは確かだ

仮説: 「あの榎丈はチャーハンであるしひんやりする」ということは偽だ
1. 事実11から、推論1: "あのビジネス・モデルはチャーハンであるということはない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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