「なんらかのものは心憎くて悍ましい」ということは真実だ
fact1: ニトラゼパム製剤が殺菌効果だとしたらあの入会手続きは冷え易くない fact2: その抜け道は殺菌効果であるし加えて安定供給である fact3: 「この投資機会は安定供給であるし悍ましい」ということは本当でないとしたらそれは安定供給でない fact4: 「この取りシートはぐったりするし弱し」ということは成り立たない fact5: なんらかの物は学校レベルであるということはない fact6: 「ぐったりしない」物があるとするとこの投資機会は慢性疾患患者であるししかも学校レベルである fact7: もし「この取りシートはぐったりするしさらにそれは弱し」ということは成り立たないとしたら「ぐったりしない」ということは成り立つ fact8: もしもあるものがぐったりしないとしたらこの投資機会は慢性疾患患者で心憎い fact9: もしもなんらかのものが差し上候わないならばその抜け道はニトラゼパム製剤である fact10: もし仮に「この教科書会社は学校レベルだということはないし更に片寄せるということはない」ということは間違いだとするとこの投資機会は悍ましい fact11: この教科書会社は弱しない fact12: もし「この投資機会はぐったりしなくてその上それは安定供給でない」ということは偽であるならこの取りシートは心憎い fact13: 何らかのものは差し上候わない fact14: この投資機会は片寄せる fact15: このブラーは悍ましかない fact16: 仮に「ぐったりするし更に悍ましい」物があるとすればこの投資機会は弱しない fact17: あの入会手続きは詔するしかつ弱し fact18: もし仮にこの取りシートは安定供給であるということはないとすれば「その抜け道は殺菌効果だということはないしおまけにぐったりしない」ということは真実でない fact19: なにかは冷え易くておまけに弱し fact20: あのシフトレバーは慢性疾患患者である fact21: あの特定事業は慢性疾患患者でない fact22: もし仮にあの入会手続きは冷え易くないとすると「この教科書会社は学校レベルでないししかもそれは片寄せない」ということは正しくない fact23: 「冷え易い」物はある fact24: 「「優し過ぎる」ということは成り立つ」ものはある
fact13 & fact9 -> int1: その抜け道はニトラゼパム製剤だ; fact2 -> int2: その抜け道は殺菌効果だ; int1 & int2 -> int3: その抜け道はニトラゼパム製剤であるし殺菌効果である; int3 -> int4: 「ニトラゼパム製剤だし殺菌効果である」ものはある; int4 & fact1 -> int5: あの入会手続きは冷え易くない; int5 & fact22 -> int6: 「この教科書会社は学校レベルでなくてその上それは片寄せない」ということは事実と異なる; int6 & fact10 -> int7: この投資機会は悍ましい; fact4 & fact7 -> int8: この取りシートはぐったりしない; int8 -> int9: ある物はぐったりするということはない; fact8 & int9 -> int10: この投資機会は慢性疾患患者であるしその上心憎い; int10 -> int11: この投資機会は心憎い; int7 & int11 -> int12: この投資機会は心憎くて悍ましい; int12 -> hypothesis;
$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: 「「優し過ぎる」ということは成り立つ」ものはある ; $hypothesis$ = 「なんらかのものは心憎くて悍ましい」ということは真実だ ; $proof$ = 
fact13 & fact9 -> int1: その抜け道はニトラゼパム製剤だ; fact2 -> int2: その抜け道は殺菌効果だ; int1 & int2 -> int3: その抜け道はニトラゼパム製剤であるし殺菌効果である; int3 -> int4: 「ニトラゼパム製剤だし殺菌効果である」ものはある; int4 & fact1 -> int5: あの入会手続きは冷え易くない; int5 & fact22 -> int6: 「この教科書会社は学校レベルでなくてその上それは片寄せない」ということは事実と異なる; int6 & fact10 -> int7: この投資機会は悍ましい; fact4 & fact7 -> int8: この取りシートはぐったりしない; int8 -> int9: ある物はぐったりするということはない; fact8 & int9 -> int10: この投資機会は慢性疾患患者であるしその上心憎い; int10 -> int11: この投資機会は心憎い; int7 & int11 -> int12: この投資機会は心憎くて悍ましい; int12 -> 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: 「「優し過ぎる」ということは成り立つ」ものはある

仮説: 「なんらかのものは心憎くて悍ましい」ということは真実だ
1. 事実13と事実9から、推論1: "その抜け道はニトラゼパム製剤だ"が導かれる
2. 事実2から、推論2: "その抜け道は殺菌効果だ"が導かれる
3. 推論1と推論2から、推論3: "その抜け道はニトラゼパム製剤であるし殺菌効果である"が導かれる
4. 推論3から、推論4: "「ニトラゼパム製剤だし殺菌効果である」ものはある"が導かれる
5. 推論4と事実1から、推論5: "あの入会手続きは冷え易くない"が導かれる
6. 推論5と事実22から、推論6: "「この教科書会社は学校レベルでなくてその上それは片寄せない」ということは事実と異なる"が導かれる
7. 推論6と事実10から、推論7: "この投資機会は悍ましい"が導かれる
8. 事実4と事実7から、推論8: "この取りシートはぐったりしない"が導かれる
9. 推論8から、推論9: "ある物はぐったりするということはない"が導かれる
10. 事実8と推論9から、推論10: "この投資機会は慢性疾患患者であるしその上心憎い"が導かれる
11. 推論10から、推論11: "この投資機会は心憎い"が導かれる
12. 推論7と推論11から、推論12: "この投資機会は心憎くて悍ましい"が導かれる
13. 推論12から、仮説が導かれる

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