このプレーンヨーグルトが体温調節中枢でないとすればこの説得工作は整復するし荒っぽい
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: この説得工作は産業心理学でない
void -> assump1: 以下のように仮定する。このプレーンヨーグルトは体温調節中枢でない; fact10 & assump1 -> int1: この説得工作は荒っぽい一方で生着しない; int1 -> int2: この説得工作は荒っぽい; fact7 -> int3: この説得工作がマスターするとしたら整復する; fact20 & fact1 & fact8 -> int4: この説得工作はマスターする; int3 & int4 -> int5: この説得工作は整復する; int2 & int5 -> int6: この説得工作は整復するしさらに荒っぽい; [assump1] & int6 -> hypothesis;
この合宿先は荒っぽくない
fact31 -> int7: もし仮にあの戦争叙事詩が田皮だとするとそれは悔しくなくてそれに不安状態でない; fact27 & fact30 -> int8: あの戦争叙事詩は泣けなくてそれは誇りっぽくない; fact26 & int8 -> int9: あの戦争叙事詩は田皮だ; int7 & int9 -> int10: あの戦争叙事詩は悔しくなくてまたそれは不安状態でない; int10 -> int11: 「悔しくないししかも不安状態でない」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。このプレーンヨーグルトは体温調節中枢でない; fact10 & assump1 -> int1: この説得工作は荒っぽい一方で生着しない; int1 -> int2: この説得工作は荒っぽい; fact7 -> int3: この説得工作がマスターするとしたら整復する; fact20 & fact1 & fact8 -> int4: この説得工作はマスターする; int3 & int4 -> int5: この説得工作は整復する; int2 & int5 -> int6: この説得工作は整復するしさらに荒っぽい; [assump1] & int6 -> 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. 仮定1: 以下のように仮定する。このプレーンヨーグルトは体温調節中枢でない
2. 事実10と仮定1から、推論1: "この説得工作は荒っぽい一方で生着しない"が導かれる
3. 推論1から、推論2: "この説得工作は荒っぽい"が導かれる
4. 事実7から、推論3: "この説得工作がマスターするとしたら整復する"が導かれる
5. 事実20と事実1と事実8から、推論4: "この説得工作はマスターする"が導かれる
6. 推論3と推論4から、推論5: "この説得工作は整復する"が導かれる
7. 推論2と推論5から、推論6: "この説得工作は整復するしさらに荒っぽい"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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