あの最低ＬＶは米経済である
fact1: もしもあの最低ＬＶは長期予後でないなら「それはＥＧでないけど薄ら寒い」ということは事実だ fact2: 「その団体信用生命保険は正し」ということは正しいとすると「あの入学者は役らしくないし加えて哀れっぽくない」ということは偽だ fact3: 「あの入学者は正しかあるいはそれは征討する」ということは成り立つ fact4: 「その精神的能力は腹立たしいけど平均するということはない」ということは誤りである fact5: もしもあの入学者は役らしくないとしたら「それは正しかまたは征討しないかもしくは両方ともだ」ということは確かである fact6: その団体信用生命保険は哀れっぽくない fact7: もしあの入学者が征討しないとしたらその団体信用生命保険は哀れっぽい fact8: もしとある物は腹立たしくらないなら「それは役らしくないしおまけに哀れっぽくない」ということは嘘である fact9: あの入学者は役らしいならば「その精神的能力は腹立たしくらなくてそれは平均しない」ということは間違っている fact10: もしも「あの最低ＬＶは説明し始めないがそれは長期予後だ」ということは嘘であるとしたらそれは長期予後でない fact11: もしなにがしかの物は同条同項でないなら「手緩いかもしくはそれは平均する」ということは誤りだ fact12: もしもとあるものがＥＧだということはないがしかし薄ら寒いとしたらそれは同条同項だということはない fact13: 仮に「あの最低ＬＶはハネムーンである」ということは間違いであるなら「それは説明し始めないししかもそれは長期予後である」ということは成り立たない fact14: 「その精神的能力は腹立たしくらないがしかし平均する」ということは真実でない fact15: もしもあの入学者は役らしいとしたら「その精神的能力は腹立たしいけど平均しない」ということは間違っている fact16: もしもあの入学者が正しかまたはそれが征討するということはないか両方だとしたらその団体信用生命保険は哀れっぽい fact17: その精神的能力が手緩いとしたらあの最低ＬＶは米経済だ fact18: もしあの入学者が役らしくないとすればそれは正しかもしくはそれは征討するかあるいはどちらもだ fact19: 「ある物は手緩いか平均する」ということは事実と異なればそれは腹立たしくらない fact20: もしも「その精神的能力は腹立たしくらなくておまけに平均しない」ということは誤っているならそれは手緩い fact21: 「あるものは役らしくないしおまけにそれは哀れっぽくない」ということは事実と異なるとしたら「それは米経済でない」ということは事実だ fact22: あの入学者は役らしいならば「その精神的能力は腹立たしくらない一方で平均する」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの入学者は役らしくない」ということは成り立つ; fact5 & assump1 -> int1: あの入学者は正しかもしくはそれは征討しないかあるいはどちらもだ; int1 & fact16 -> int2: その団体信用生命保険は哀れっぽい; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの入学者は役らしい; int4 & fact9 -> int5: 「その精神的能力は腹立たしいということはなくておまけに平均しない」ということは成り立たない; int5 & fact20 -> int6: その精神的能力は手緩い; int6 & fact17 -> hypothesis;
あの最低ＬＶは米経済でない
fact24 -> int7: もしも「あの最低ＬＶは役らしくないしさらに哀れっぽくない」ということは成り立たないとしたらそれは米経済でない; fact26 -> int8: もしあの最低ＬＶは腹立たしいということはないとすれば「役らしくないしおまけに哀れっぽくない」ということは成り立たない; fact28 -> int9: もし「あの最低ＬＶは手緩いか平均する」ということは成り立つということはないとしたらそれは腹立たしくらない; fact29 -> int10: もしあの最低ＬＶは同条同項でないなら「手緩いかまたはそれは平均するかあるいはどちらもだ」ということは成り立たない; fact23 -> int11: もし「あの最低ＬＶはＥＧでないがしかし薄ら寒い」ということは成り立つとすれば同条同項でない;
$facts$ = fact1: もしもあの最低ＬＶは長期予後でないなら「それはＥＧでないけど薄ら寒い」ということは事実だ fact2: 「その団体信用生命保険は正し」ということは正しいとすると「あの入学者は役らしくないし加えて哀れっぽくない」ということは偽だ fact3: 「あの入学者は正しかあるいはそれは征討する」ということは成り立つ fact4: 「その精神的能力は腹立たしいけど平均するということはない」ということは誤りである fact5: もしもあの入学者は役らしくないとしたら「それは正しかまたは征討しないかもしくは両方ともだ」ということは確かである fact6: その団体信用生命保険は哀れっぽくない fact7: もしあの入学者が征討しないとしたらその団体信用生命保険は哀れっぽい fact8: もしとある物は腹立たしくらないなら「それは役らしくないしおまけに哀れっぽくない」ということは嘘である fact9: あの入学者は役らしいならば「その精神的能力は腹立たしくらなくてそれは平均しない」ということは間違っている fact10: もしも「あの最低ＬＶは説明し始めないがそれは長期予後だ」ということは嘘であるとしたらそれは長期予後でない fact11: もしなにがしかの物は同条同項でないなら「手緩いかもしくはそれは平均する」ということは誤りだ fact12: もしもとあるものがＥＧだということはないがしかし薄ら寒いとしたらそれは同条同項だということはない fact13: 仮に「あの最低ＬＶはハネムーンである」ということは間違いであるなら「それは説明し始めないししかもそれは長期予後である」ということは成り立たない fact14: 「その精神的能力は腹立たしくらないがしかし平均する」ということは真実でない fact15: もしもあの入学者は役らしいとしたら「その精神的能力は腹立たしいけど平均しない」ということは間違っている fact16: もしもあの入学者が正しかまたはそれが征討するということはないか両方だとしたらその団体信用生命保険は哀れっぽい fact17: その精神的能力が手緩いとしたらあの最低ＬＶは米経済だ fact18: もしあの入学者が役らしくないとすればそれは正しかもしくはそれは征討するかあるいはどちらもだ fact19: 「ある物は手緩いか平均する」ということは事実と異なればそれは腹立たしくらない fact20: もしも「その精神的能力は腹立たしくらなくておまけに平均しない」ということは誤っているならそれは手緩い fact21: 「あるものは役らしくないしおまけにそれは哀れっぽくない」ということは事実と異なるとしたら「それは米経済でない」ということは事実だ fact22: あの入学者は役らしいならば「その精神的能力は腹立たしくらない一方で平均する」ということは成り立たない ; $hypothesis$ = あの最低ＬＶは米経済である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの入学者は役らしくない」ということは成り立つ; fact5 & assump1 -> int1: あの入学者は正しかもしくはそれは征討しないかあるいはどちらもだ; int1 & fact16 -> int2: その団体信用生命保険は哀れっぽい; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの入学者は役らしい; int4 & fact9 -> int5: 「その精神的能力は腹立たしいということはなくておまけに平均しない」ということは成り立たない; int5 & fact20 -> int6: その精神的能力は手緩い; int6 & fact17 -> hypothesis; __PROVED__
事実1: もしもあの最低ＬＶは長期予後でないなら「それはＥＧでないけど薄ら寒い」ということは事実だ
事実2: 「その団体信用生命保険は正し」ということは正しいとすると「あの入学者は役らしくないし加えて哀れっぽくない」ということは偽だ
事実3: 「あの入学者は正しかあるいはそれは征討する」ということは成り立つ
事実4: 「その精神的能力は腹立たしいけど平均するということはない」ということは誤りである
事実5: もしもあの入学者は役らしくないとしたら「それは正しかまたは征討しないかもしくは両方ともだ」ということは確かである
事実6: その団体信用生命保険は哀れっぽくない
事実7: もしあの入学者が征討しないとしたらその団体信用生命保険は哀れっぽい
事実8: もしとある物は腹立たしくらないなら「それは役らしくないしおまけに哀れっぽくない」ということは嘘である
事実9: あの入学者は役らしいならば「その精神的能力は腹立たしくらなくてそれは平均しない」ということは間違っている
事実10: もしも「あの最低ＬＶは説明し始めないがそれは長期予後だ」ということは嘘であるとしたらそれは長期予後でない
事実11: もしなにがしかの物は同条同項でないなら「手緩いかもしくはそれは平均する」ということは誤りだ
事実12: もしもとあるものがＥＧだということはないがしかし薄ら寒いとしたらそれは同条同項だということはない
事実13: 仮に「あの最低ＬＶはハネムーンである」ということは間違いであるなら「それは説明し始めないししかもそれは長期予後である」ということは成り立たない
事実14: 「その精神的能力は腹立たしくらないがしかし平均する」ということは真実でない
事実15: もしもあの入学者は役らしいとしたら「その精神的能力は腹立たしいけど平均しない」ということは間違っている
事実16: もしもあの入学者が正しかまたはそれが征討するということはないか両方だとしたらその団体信用生命保険は哀れっぽい
事実17: その精神的能力が手緩いとしたらあの最低ＬＶは米経済だ
事実18: もしあの入学者が役らしくないとすればそれは正しかもしくはそれは征討するかあるいはどちらもだ
事実19: 「ある物は手緩いか平均する」ということは事実と異なればそれは腹立たしくらない
事実20: もしも「その精神的能力は腹立たしくらなくておまけに平均しない」ということは誤っているならそれは手緩い
事実21: 「あるものは役らしくないしおまけにそれは哀れっぽくない」ということは事実と異なるとしたら「それは米経済でない」ということは事実だ
事実22: あの入学者は役らしいならば「その精神的能力は腹立たしくらない一方で平均する」ということは成り立たない

仮説: あの最低ＬＶは米経済である
1. 仮定1: 以下のように仮定する。「あの入学者は役らしくない」ということは成り立つ
2. 事実5と仮定1から、推論1: "あの入学者は正しかもしくはそれは征討しないかあるいはどちらもだ"が導かれる
3. 推論1と事実16から、推論2: "その団体信用生命保険は哀れっぽい"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの入学者は役らしい"が導かれる
6. 推論4と事実9から、推論5: "「その精神的能力は腹立たしいということはなくておまけに平均しない」ということは成り立たない"が導かれる
7. 推論5と事実20から、推論6: "その精神的能力は手緩い"が導かれる
8. 推論6と事実17から、仮説が導かれる

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