「あの長所はホステス等だ」ということは事実である
fact1: あの人間行為は法定充当でない fact2: もし仮にあの人間行為は法定充当であるということはないとすれば「この固溶体は山深いかあるいは許し難くないかあるいは両方だ」ということは誤りだ fact3: もしあの地方分権推進委員会が上がり易くないとするとあの長所は情けないかもしくはそれは朗読会でない fact4: あの人間行為は朗読会である fact5: もしもあの人間行為が山深くないならこの固溶体は法定充当だ fact6: この固溶体は応急手当てだしそれに配線する fact7: 何らかのものが情けないか朗読会でないとしたらそれはホステス等である fact8: 「この固溶体は山深いかあるいは許し難くない」ということは確かでないとすると邪宗門である fact9: もしも「あの人間行為は端座する」ということは事実だとするとそれはデートしない fact10: この固溶体は上がり易いかあるいは山深くない fact11: もしもこの固溶体がホステス等でないならばあの長所は配線する fact12: あの地方分権推進委員会は山深い fact13: あの人間行為は朗読会であるならば上がり易くない fact14: もしこの固溶体が端座するかそれは許し難くないかもしくは両方だとするとそれは法定充当である fact15: あの人間行為が配線しないならばあの固溶体は法定充当であるかあるいはそれは邪宗門でないかまたは両方だ fact16: あの長所は邪宗門だ fact17: 上がり易くない物は端座するしそれに配線する fact18: なにかは邪宗門ならそれはデートする fact19: もしこの固溶体がデートするならそれは端座する fact20: その写真帳は山深い fact21: この固溶体が端座するしそれが配線するとしたらあの地方分権推進委員会は上がり易くない
fact2 & fact1 -> int1: 「この固溶体は山深いかあるいはそれは許し難くない」ということは嘘である; int1 & fact8 -> int2: 「この固溶体は邪宗門だ」ということは正しい; fact18 -> int3: もし「この固溶体は邪宗門である」ということは真実だとしたら「それはデートする」ということは事実である; int2 & int3 -> int4: この固溶体はデートする; int4 & fact19 -> int5: この固溶体は端座する; fact6 -> int6: この固溶体は配線する; int5 & int6 -> int7: この固溶体は端座するし配線する; int7 & fact21 -> int8: 「あの地方分権推進委員会は上がり易くない」ということは確かである; int8 & fact3 -> int9: あの長所は情けないかもしくはそれは朗読会でないかどちらもだ; fact7 -> int10: もしあの長所が情けないかあるいはそれは朗読会であるということはないかもしくは両方であるとしたらホステス等である; int9 & int10 -> hypothesis;
あの長所はホステス等でない
fact24 -> int11: もし仮にあの人間行為が上がり易くないとすればそれは端座するししかも配線する; fact25 & fact22 -> int12: あの人間行為は上がり易くない; int11 & int12 -> int13: あの人間行為は端座するし配線する; int13 -> int14: あの人間行為は端座する; fact23 & int14 -> int15: あの人間行為はデートしない;
$facts$ = fact1: あの人間行為は法定充当でない fact2: もし仮にあの人間行為は法定充当であるということはないとすれば「この固溶体は山深いかあるいは許し難くないかあるいは両方だ」ということは誤りだ fact3: もしあの地方分権推進委員会が上がり易くないとするとあの長所は情けないかもしくはそれは朗読会でない fact4: あの人間行為は朗読会である fact5: もしもあの人間行為が山深くないならこの固溶体は法定充当だ fact6: この固溶体は応急手当てだしそれに配線する fact7: 何らかのものが情けないか朗読会でないとしたらそれはホステス等である fact8: 「この固溶体は山深いかあるいは許し難くない」ということは確かでないとすると邪宗門である fact9: もしも「あの人間行為は端座する」ということは事実だとするとそれはデートしない fact10: この固溶体は上がり易いかあるいは山深くない fact11: もしもこの固溶体がホステス等でないならばあの長所は配線する fact12: あの地方分権推進委員会は山深い fact13: あの人間行為は朗読会であるならば上がり易くない fact14: もしこの固溶体が端座するかそれは許し難くないかもしくは両方だとするとそれは法定充当である fact15: あの人間行為が配線しないならばあの固溶体は法定充当であるかあるいはそれは邪宗門でないかまたは両方だ fact16: あの長所は邪宗門だ fact17: 上がり易くない物は端座するしそれに配線する fact18: なにかは邪宗門ならそれはデートする fact19: もしこの固溶体がデートするならそれは端座する fact20: その写真帳は山深い fact21: この固溶体が端座するしそれが配線するとしたらあの地方分権推進委員会は上がり易くない ; $hypothesis$ = 「あの長所はホステス等だ」ということは事実である ; $proof$ = 
fact2 & fact1 -> int1: 「この固溶体は山深いかあるいはそれは許し難くない」ということは嘘である; int1 & fact8 -> int2: 「この固溶体は邪宗門だ」ということは正しい; fact18 -> int3: もし「この固溶体は邪宗門である」ということは真実だとしたら「それはデートする」ということは事実である; int2 & int3 -> int4: この固溶体はデートする; int4 & fact19 -> int5: この固溶体は端座する; fact6 -> int6: この固溶体は配線する; int5 & int6 -> int7: この固溶体は端座するし配線する; int7 & fact21 -> int8: 「あの地方分権推進委員会は上がり易くない」ということは確かである; int8 & fact3 -> int9: あの長所は情けないかもしくはそれは朗読会でないかどちらもだ; fact7 -> int10: もしあの長所が情けないかあるいはそれは朗読会であるということはないかもしくは両方であるとしたらホステス等である; int9 & int10 -> hypothesis; __PROVED__
事実1: あの人間行為は法定充当でない
事実2: もし仮にあの人間行為は法定充当であるということはないとすれば「この固溶体は山深いかあるいは許し難くないかあるいは両方だ」ということは誤りだ
事実3: もしあの地方分権推進委員会が上がり易くないとするとあの長所は情けないかもしくはそれは朗読会でない
事実4: あの人間行為は朗読会である
事実5: もしもあの人間行為が山深くないならこの固溶体は法定充当だ
事実6: この固溶体は応急手当てだしそれに配線する
事実7: 何らかのものが情けないか朗読会でないとしたらそれはホステス等である
事実8: 「この固溶体は山深いかあるいは許し難くない」ということは確かでないとすると邪宗門である
事実9: もしも「あの人間行為は端座する」ということは事実だとするとそれはデートしない
事実10: この固溶体は上がり易いかあるいは山深くない
事実11: もしもこの固溶体がホステス等でないならばあの長所は配線する
事実12: あの地方分権推進委員会は山深い
事実13: あの人間行為は朗読会であるならば上がり易くない
事実14: もしこの固溶体が端座するかそれは許し難くないかもしくは両方だとするとそれは法定充当である
事実15: あの人間行為が配線しないならばあの固溶体は法定充当であるかあるいはそれは邪宗門でないかまたは両方だ
事実16: あの長所は邪宗門だ
事実17: 上がり易くない物は端座するしそれに配線する
事実18: なにかは邪宗門ならそれはデートする
事実19: もしこの固溶体がデートするならそれは端座する
事実20: その写真帳は山深い
事実21: この固溶体が端座するしそれが配線するとしたらあの地方分権推進委員会は上がり易くない

仮説: 「あの長所はホステス等だ」ということは事実である
1. 事実2と事実1から、推論1: "「この固溶体は山深いかあるいはそれは許し難くない」ということは嘘である"が導かれる
2. 推論1と事実8から、推論2: "「この固溶体は邪宗門だ」ということは正しい"が導かれる
3. 事実18から、推論3: "もし「この固溶体は邪宗門である」ということは真実だとしたら「それはデートする」ということは事実である"が導かれる
4. 推論2と推論3から、推論4: "この固溶体はデートする"が導かれる
5. 推論4と事実19から、推論5: "この固溶体は端座する"が導かれる
6. 事実6から、推論6: "この固溶体は配線する"が導かれる
7. 推論5と推論6から、推論7: "この固溶体は端座するし配線する"が導かれる
8. 推論7と事実21から、推論8: "「あの地方分権推進委員会は上がり易くない」ということは確かである"が導かれる
9. 推論8と事実3から、推論9: "あの長所は情けないかもしくはそれは朗読会でないかどちらもだ"が導かれる
10. 事実7から、推論10: "もしあの長所が情けないかあるいはそれは朗読会であるということはないかもしくは両方であるとしたらホステス等である"が導かれる
11. 推論9と推論10から、仮説が導かれる

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