その御尋ね者は悩まなくて精神病床であるということはない
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: その患者さん本人は毒々しい fact26: もしあの動作時が毒々しかないとすればその患者さん本人は毒々しいということはなくて更に涙脆くない
fact2 -> int1: あの動作時は押し付けがましい; void -> assump1: 以下のように仮定する。「あの動作時は機関長である」ということは誤っていない; int1 & assump1 -> int2: あの動作時が押し付けがましいしその上機関長である; int2 & fact10 -> int3: その患者さん本人は危うくない; fact9 -> int4: もしもその患者さん本人が毒々しいならフォーカスする; int4 & fact25 -> int5: 「その患者さん本人はフォーカスする」ということは事実だ; int3 & int5 -> int6: その患者さん本人はフォーカスするが危うくない; int6 & fact14 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの動作時は機関長でない」ということは真実である; int8 & fact16 -> int9: 「あのＨＢは悩まない」ということは正しい; int9 & fact4 -> hypothesis;
「その御尋ね者は悩むということはないしかつそれは精神病床でない」ということは誤りだ
fact33 -> int10: あの動作時が機関長でなくてまた涙脆くないとしたらそれは押し付けがましかない; fact29 -> int11: もしもあの動作時が危うくないならそれは機関長でないしまたそれは涙脆くない; fact28 -> int12: 仮にあの動作時がフォーカスしないとすれば危うくない; fact36 -> int13: あの動作時は夫婦らしいがしかし毒々しかないとしたらそれはフォーカスするということはない; fact37 -> int14: 仮にあの動作時が自分らしいということはないならそれは夫婦らしいしまた美味しい; fact34 -> int15: もし仮にあの動作時は自分らしくないかもしくは御存ぜないかまたは両方ともだとすれば自分らしくない; fact31 -> int16: 何かは御存ぜない; int16 & fact30 -> int17: あの動作時は自分らしくないかあるいはそれは御存ずるということはないかまたは両方である; int15 & int17 -> int18: あの動作時は自分らしくない; int14 & int18 -> int19: あの動作時は夫婦らしいしそれに美味しい; int19 -> int20: あの動作時は夫婦らしい; fact35 -> int21: もしも「その患者さん本人は来辛いし熟れ切る」ということは事実と異なるとしたらそれは熟れ切らない;
$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: その患者さん本人は毒々しい fact26: もしあの動作時が毒々しかないとすればその患者さん本人は毒々しいということはなくて更に涙脆くない ; $hypothesis$ = その御尋ね者は悩まなくて精神病床であるということはない ; $proof$ = 
fact2 -> int1: あの動作時は押し付けがましい; void -> assump1: 以下のように仮定する。「あの動作時は機関長である」ということは誤っていない; int1 & assump1 -> int2: あの動作時が押し付けがましいしその上機関長である; int2 & fact10 -> int3: その患者さん本人は危うくない; fact9 -> int4: もしもその患者さん本人が毒々しいならフォーカスする; int4 & fact25 -> int5: 「その患者さん本人はフォーカスする」ということは事実だ; int3 & int5 -> int6: その患者さん本人はフォーカスするが危うくない; int6 & fact14 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの動作時は機関長でない」ということは真実である; int8 & fact16 -> int9: 「あのＨＢは悩まない」ということは正しい; int9 & fact4 -> 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: その患者さん本人は毒々しい
事実26: もしあの動作時が毒々しかないとすればその患者さん本人は毒々しいということはなくて更に涙脆くない

仮説: その御尋ね者は悩まなくて精神病床であるということはない
1. 事実2から、推論1: "あの動作時は押し付けがましい"が導かれる
2. 仮定1: 以下のように仮定する。「あの動作時は機関長である」ということは誤っていない
3. 推論1と仮定1から、推論2: "あの動作時が押し付けがましいしその上機関長である"が導かれる
4. 推論2と事実10から、推論3: "その患者さん本人は危うくない"が導かれる
5. 事実9から、推論4: "もしもその患者さん本人が毒々しいならフォーカスする"が導かれる
6. 推論4と事実25から、推論5: "「その患者さん本人はフォーカスする」ということは事実だ"が導かれる
7. 推論3と推論5から、推論6: "その患者さん本人はフォーカスするが危うくない"が導かれる
8. 推論6と事実14から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「あの動作時は機関長でない」ということは真実である"が導かれる
10. 推論8と事実16から、推論9: "「あのＨＢは悩まない」ということは正しい"が導かれる
11. 推論9と事実4から、仮説が導かれる

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