「この別冊地図はテクネーだ」ということは成り立つ
fact1: 「「万別であるけどかったるくない」ということは成り立たない」ものはある fact2: あの陸でなしはかったるくない fact3: この別冊地図は尿テストでない fact4: なにかは尿テストだけれどテクネーでない fact5: このブラウンフィールドは硝酸イオンでない fact6: このブラウンフィールドは尿テストであるということはない fact7: もし仮にあの陸でなしがテクネーでないとするとこの別冊地図はテクネーで更に溜め込み易い fact8: そのミミックバルブは老齢化する fact9: 「「老齢化するけど腐り易いということはない」ということは嘘な」物はある fact10: もしその所在地番が腐り易いということはないとしたらこのブラウンフィールドは老齢化しないしおまけに尿テストでない fact11: このブラウンフィールドは腐り易くない fact12: もし「「万別だがかったるいということはない」ということは成り立たない」ものがあるとしたらその所在地番は腐り易くない fact13: もしこのブラウンフィールドがテクネーだが老齢化しないとしたらこの別冊地図は溜め込み易くない fact14: 「溜め込み易いが尿テストでない」ものはある fact15: なにかは尿テストだということはないけど老齢化するなら腐り易いということはない fact16: もし「この別冊地図はテクネーであるがしかし老齢化しない」ということは成り立つとしたらこのブラウンフィールドは溜め込み易くない fact17: もしあの陸でなしが溜め込み易い一方でそれが老齢化しないとすればあの別冊地図はテクネーでない fact18: その違法確認は老齢化する fact19: この別冊地図は老齢化するということはない fact20: このブラウンフィールドは尿テストでないしその上溜め込み易くない fact21: 「あの陸でなしは話し難い」ということは確かだ fact22: 「その所在地番は尿テストでない」ということは真実である fact23: もしこのブラウンフィールドが老齢化しなくて尿テストでないなら「あの陸でなしはテクネーでない」ということは確かである fact24: 「「尿テストで溜め込み易い」ということは偽である」ものはある
fact1 & fact12 -> int1: その所在地番は腐り易くない; int1 & fact10 -> int2: このブラウンフィールドは老齢化しないしさらに尿テストでない; int2 & fact23 -> int3: あの陸でなしはテクネーでない; int3 & fact7 -> int4: この別冊地図はテクネーだし加えて溜め込み易い; int4 -> hypothesis;
「「枯淡であるけど低能児でない」ということは真実であるということはない」ものはある
fact25 -> int5: 仮にこのブラウンフィールドが尿テストでない一方で老齢化するとしたら腐り易いということはない;
$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: 「「尿テストで溜め込み易い」ということは偽である」ものはある ; $hypothesis$ = 「この別冊地図はテクネーだ」ということは成り立つ ; $proof$ = 
fact1 & fact12 -> int1: その所在地番は腐り易くない; int1 & fact10 -> int2: このブラウンフィールドは老齢化しないしさらに尿テストでない; int2 & fact23 -> int3: あの陸でなしはテクネーでない; int3 & fact7 -> int4: この別冊地図はテクネーだし加えて溜め込み易い; int4 -> 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: 「「尿テストで溜め込み易い」ということは偽である」ものはある

仮説: 「この別冊地図はテクネーだ」ということは成り立つ
1. 事実1と事実12から、推論1: "その所在地番は腐り易くない"が導かれる
2. 推論1と事実10から、推論2: "このブラウンフィールドは老齢化しないしさらに尿テストでない"が導かれる
3. 推論2と事実23から、推論3: "あの陸でなしはテクネーでない"が導かれる
4. 推論3と事実7から、推論4: "この別冊地図はテクネーだし加えて溜め込み易い"が導かれる
5. 推論4から、仮説が導かれる

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