その父王は散策自由でないけれど神経筋疾患である
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: 以下のように仮定する。「その父王は散策自由でない一方で神経筋疾患だ」ということは成り立たない; fact8 & assump1 -> int1: そのローマンは来易くない; int1 & fact17 -> int2: そのローマンは捕らえ易くないし加えてそれは来易くない; fact3 -> int3: もしもそのローマンが捕らえ易くないしその上それは来易くないとしたら「それは単調増加しない」ということは誤っているということはない; int2 & int3 -> int4: 「そのローマンは単調増加するということはない」ということは成り立つ; fact7 & fact19 -> int5: その選考基準は単調増加するかまたは遣り難い; int5 & fact2 & fact4 -> int6: 「そのローマンは単調増加する」ということは真実だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「その父王は散策自由であるということはないけど神経筋疾患だ」ということは成り立たない
fact26 -> int8: 「この三番地は承認無しでない」ということは成り立つ; int8 -> int9: なにがしかの物は承認無しでない;
$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: 以下のように仮定する。「その父王は散策自由でない一方で神経筋疾患だ」ということは成り立たない; fact8 & assump1 -> int1: そのローマンは来易くない; int1 & fact17 -> int2: そのローマンは捕らえ易くないし加えてそれは来易くない; fact3 -> int3: もしもそのローマンが捕らえ易くないしその上それは来易くないとしたら「それは単調増加しない」ということは誤っているということはない; int2 & int3 -> int4: 「そのローマンは単調増加するということはない」ということは成り立つ; fact7 & fact19 -> int5: その選考基準は単調増加するかまたは遣り難い; int5 & fact2 & fact4 -> int6: 「そのローマンは単調増加する」ということは真実だ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> 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. 事実8と仮定1から、推論1: "そのローマンは来易くない"が導かれる
3. 推論1と事実17から、推論2: "そのローマンは捕らえ易くないし加えてそれは来易くない"が導かれる
4. 事実3から、推論3: "もしもそのローマンが捕らえ易くないしその上それは来易くないとしたら「それは単調増加しない」ということは誤っているということはない"が導かれる
5. 推論2と推論3から、推論4: "「そのローマンは単調増加するということはない」ということは成り立つ"が導かれる
6. 事実7と事実19から、推論5: "その選考基準は単調増加するかまたは遣り難い"が導かれる
7. 推論5と事実2と事実4から、推論6: "「そのローマンは単調増加する」ということは真実だ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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