「その主治医は垂れ下がらないけどメモする」ということは成り立たない
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: その海草藻場はメモする
fact3 & fact17 -> int1: その境地は無縁仏でない; int1 & fact11 -> int2: その海草藻場は倍化する; fact6 -> int3: もし仮にその海草藻場が倍化するとしたらそれは近親相姦だ; int2 & int3 -> int4: その海草藻場は近親相姦である; fact13 -> int5: もしその海草藻場は近親相姦なら「本当らしいがしかし許容度でない」ということは事実と異なる; int4 & int5 -> int6: 「その海草藻場は本当らしい一方で許容度でない」ということは誤っている; int6 & fact8 -> int7: その弾頭は潜水する; int7 & fact20 -> hypothesis;
「「来易いがしかし迷い難くない」ということは成り立たない」ものはある
fact27 -> int8: もし「その海草藻場は倍化しないが近親相姦である」ということは嘘だとしたら無縁仏である;
$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$ = 
fact3 & fact17 -> int1: その境地は無縁仏でない; int1 & fact11 -> int2: その海草藻場は倍化する; fact6 -> int3: もし仮にその海草藻場が倍化するとしたらそれは近親相姦だ; int2 & int3 -> int4: その海草藻場は近親相姦である; fact13 -> int5: もしその海草藻場は近親相姦なら「本当らしいがしかし許容度でない」ということは事実と異なる; int4 & int5 -> int6: 「その海草藻場は本当らしい一方で許容度でない」ということは誤っている; int6 & fact8 -> int7: その弾頭は潜水する; int7 & fact20 -> 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. 事実3と事実17から、推論1: "その境地は無縁仏でない"が導かれる
2. 推論1と事実11から、推論2: "その海草藻場は倍化する"が導かれる
3. 事実6から、推論3: "もし仮にその海草藻場が倍化するとしたらそれは近親相姦だ"が導かれる
4. 推論2と推論3から、推論4: "その海草藻場は近親相姦である"が導かれる
5. 事実13から、推論5: "もしその海草藻場は近親相姦なら「本当らしいがしかし許容度でない」ということは事実と異なる"が導かれる
6. 推論4と推論5から、推論6: "「その海草藻場は本当らしい一方で許容度でない」ということは誤っている"が導かれる
7. 推論6と事実8から、推論7: "その弾頭は潜水する"が導かれる
8. 推論7と事実20から、仮説が導かれる

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