あの信号処理は淡い
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: もしもあの大腸手術が認め難いとすればその山容は係助詞だ
fact21 & fact3 -> int1: 「この荷揚げは新人である」ということは正しい; void -> assump1: 以下のように仮定する。この荷揚げは係助詞である; int1 & assump1 -> int2: この荷揚げは新人であるしそれに係助詞だ; int2 & fact12 -> int3: 「その山容は基本画面であるということはない」ということは事実だ; fact6 -> int4: その山容は基本画面だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この荷揚げは係助詞でない; int6 & fact23 -> int7: 「「この荷揚げは実らないしそれは怒りっぽいということはない」ということは本当だ」ということは成り立たない; int7 & fact9 -> int8: この荷揚げは重苦しい; int8 & fact5 -> hypothesis;
あの信号処理は淡くない
fact26 -> int9: もし「あの信号処理は併存しなくてその上それは新人でない」ということは確かであるなら「淡くない」ということは成り立つ; fact31 & fact30 & fact28 -> int10: その山容は係助詞だ; int10 -> int11: 係助詞はある; int11 & fact32 -> int12: あの信号処理は併存しない; fact29 -> int13: 仮にこの荷揚げは実らないとしたら「それは基本画面だということはなくて更に新人だ」ということは事実と異なる;
$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$ = 
fact21 & fact3 -> int1: 「この荷揚げは新人である」ということは正しい; void -> assump1: 以下のように仮定する。この荷揚げは係助詞である; int1 & assump1 -> int2: この荷揚げは新人であるしそれに係助詞だ; int2 & fact12 -> int3: 「その山容は基本画面であるということはない」ということは事実だ; fact6 -> int4: その山容は基本画面だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この荷揚げは係助詞でない; int6 & fact23 -> int7: 「「この荷揚げは実らないしそれは怒りっぽいということはない」ということは本当だ」ということは成り立たない; int7 & fact9 -> int8: この荷揚げは重苦しい; int8 & fact5 -> 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. 事実21と事実3から、推論1: "「この荷揚げは新人である」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。この荷揚げは係助詞である
3. 推論1と仮定1から、推論2: "この荷揚げは新人であるしそれに係助詞だ"が導かれる
4. 推論2と事実12から、推論3: "「その山容は基本画面であるということはない」ということは事実だ"が導かれる
5. 事実6から、推論4: "その山容は基本画面だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この荷揚げは係助詞でない"が導かれる
8. 推論6と事実23から、推論7: "「「この荷揚げは実らないしそれは怒りっぽいということはない」ということは本当だ」ということは成り立たない"が導かれる
9. 推論7と事実9から、推論8: "この荷揚げは重苦しい"が導かれる
10. 推論8と事実5から、仮説が導かれる

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