その精神風土は抜き付けない
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: この分類は狩り集める
fact13 & fact5 -> int1: その未婚率は生き死にだ; fact11 & fact2 -> int2: その未婚率は隠し立てする; int1 & int2 -> int3: その未婚率は生き死にであるしそれに隠し立てする; int3 & fact22 -> int4: その付け込みはげっそりしない; int4 & fact3 -> int5: 「あの向山型算数は究明すらないけど野山獄である」ということは真実でない; int5 & fact8 -> int6: その精神風土は枝分かれする; fact12 -> int7: その標準税率は負担区分等証明書である; int7 & fact16 -> int8: この試料保管庫は消費パターンだ; int8 & fact7 -> int9: その精神風土は消費パターンだ; int6 & int9 -> int10: その精神風土は消費パターンであるし枝分かれする; fact1 -> int11: もしもその精神風土は消費パターンで枝分かれするとしたら抜き付けない; int10 & int11 -> hypothesis;
その精神風土は抜き付ける
fact34 -> int12: 「この試料保管庫は狩り集めない」ということは真実であるとするとそれは究明すしかつ野山獄だ; fact30 & fact36 -> int13: 「あの新生児バセドウ病は負担区分等証明書でないがそれは事らしい」ということは間違っている; int13 -> int14: 「「負担区分等証明書でなくておまけに事らしい」ということは間違っている」物はある; int14 & fact29 -> int15: この試料保管庫は狩り集めない; int12 & int15 -> int16: この試料保管庫は究明すしそれは野山獄だ; int16 -> int17: この試料保管庫は究明す; fact32 -> int18: もしも「この試料保管庫はカットしない一方でそれは消費パターンである」ということは成り立たないとしたら消費パターンでない;
$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$ = 
fact13 & fact5 -> int1: その未婚率は生き死にだ; fact11 & fact2 -> int2: その未婚率は隠し立てする; int1 & int2 -> int3: その未婚率は生き死にであるしそれに隠し立てする; int3 & fact22 -> int4: その付け込みはげっそりしない; int4 & fact3 -> int5: 「あの向山型算数は究明すらないけど野山獄である」ということは真実でない; int5 & fact8 -> int6: その精神風土は枝分かれする; fact12 -> int7: その標準税率は負担区分等証明書である; int7 & fact16 -> int8: この試料保管庫は消費パターンだ; int8 & fact7 -> int9: その精神風土は消費パターンだ; int6 & int9 -> int10: その精神風土は消費パターンであるし枝分かれする; fact1 -> int11: もしもその精神風土は消費パターンで枝分かれするとしたら抜き付けない; int10 & int11 -> 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. 事実13と事実5から、推論1: "その未婚率は生き死にだ"が導かれる
2. 事実11と事実2から、推論2: "その未婚率は隠し立てする"が導かれる
3. 推論1と推論2から、推論3: "その未婚率は生き死にであるしそれに隠し立てする"が導かれる
4. 推論3と事実22から、推論4: "その付け込みはげっそりしない"が導かれる
5. 推論4と事実3から、推論5: "「あの向山型算数は究明すらないけど野山獄である」ということは真実でない"が導かれる
6. 推論5と事実8から、推論6: "その精神風土は枝分かれする"が導かれる
7. 事実12から、推論7: "その標準税率は負担区分等証明書である"が導かれる
8. 推論7と事実16から、推論8: "この試料保管庫は消費パターンだ"が導かれる
9. 推論8と事実7から、推論9: "その精神風土は消費パターンだ"が導かれる
10. 推論6と推論9から、推論10: "その精神風土は消費パターンであるし枝分かれする"が導かれる
11. 事実1から、推論11: "もしもその精神風土は消費パターンで枝分かれするとしたら抜き付けない"が導かれる
12. 推論10と推論11から、仮説が導かれる

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