この渦巻き状は膨れ上がらない
fact1: あの思想状況は那須楮でない fact2: 「仮になにがしかのものは嫉妬深いということはないとしたら「それは勧奨するしさらにそれは見張る」ということは成り立たない」ということは正しい fact3: もしもあの貴族院はアイスグレーならば「嫉妬深いがしかし膨れ上がらない」ということは成り立たない fact4: 仮にその昆虫採集がアイスグレーであるがそれは聴衆でないなら「この開示内容は嫉妬深くない」ということは確かである fact5: この渦巻き状は見張らない fact6: 「助け合い絵本は見張る」ということは確かだ fact7: 「もし仮にあの思想状況が那須楮でないとすればあの貴族院はアイスグレーであるけれどそれは聴衆でない」ということは嘘でない fact8: もし「何らかの物は成長点だが助け合い絵本であるということはない」ということは成り立たないならばそれは膨れ上がる fact9: あの思想状況は見張らないなら「この渦巻き状は成長点であるけれど助け合い絵本でない」ということは事実と異なる fact10: 仮にあの思想状況が助け合い絵本であるならこの開示内容は成長点である fact11: もしあるものは見張らない一方で勧奨するとしたら膨れ上がるということはない fact12: 全ての物はアイスグレーだ fact13: もしもあのボサノバが那須楮であるとするとその昆虫採集は聴衆でない fact14: この開示内容は成長点だということはない fact15: もし仮にあの思想状況が助け合い絵本でないとしたらこの渦巻き状は見張らない fact16: 仮にあるものは勧奨しなくて成長点でないとすると助け合い絵本である fact17: もしもあの思想状況が助け合い絵本であるということはないとすればこの渦巻き状は見張らないが勧奨する
void -> assump1: 以下のように仮定する。あの思想状況は助け合い絵本である; fact10 & assump1 -> int1: この開示内容は成長点だ; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの思想状況は助け合い絵本でない; int3 & fact17 -> int4: この渦巻き状は見張らない一方でそれは勧奨する; fact11 -> int5: もしもこの渦巻き状が見張らないが勧奨するとしたら膨れ上がらない; int4 & int5 -> hypothesis;
あの貴族院は見張る
fact18 -> int6: 「仮にあの貴族院が助け合い絵本だとしたらあの貴族院は見張る」ということは誤っていない; fact20 -> int7: あの貴族院が勧奨しないしそれは成長点だということはないとすると「助け合い絵本である」ということは事実だ; fact21 & fact22 -> int8: あの貴族院はアイスグレーであるが聴衆であるということはない; int8 -> int9: あの貴族院はアイスグレーである; fact19 & int9 -> int10: 「あの貴族院は嫉妬深いが膨れ上がらない」ということは間違いである;
$facts$ = fact1: あの思想状況は那須楮でない fact2: 「仮になにがしかのものは嫉妬深いということはないとしたら「それは勧奨するしさらにそれは見張る」ということは成り立たない」ということは正しい fact3: もしもあの貴族院はアイスグレーならば「嫉妬深いがしかし膨れ上がらない」ということは成り立たない fact4: 仮にその昆虫採集がアイスグレーであるがそれは聴衆でないなら「この開示内容は嫉妬深くない」ということは確かである fact5: この渦巻き状は見張らない fact6: 「助け合い絵本は見張る」ということは確かだ fact7: 「もし仮にあの思想状況が那須楮でないとすればあの貴族院はアイスグレーであるけれどそれは聴衆でない」ということは嘘でない fact8: もし「何らかの物は成長点だが助け合い絵本であるということはない」ということは成り立たないならばそれは膨れ上がる fact9: あの思想状況は見張らないなら「この渦巻き状は成長点であるけれど助け合い絵本でない」ということは事実と異なる fact10: 仮にあの思想状況が助け合い絵本であるならこの開示内容は成長点である fact11: もしあるものは見張らない一方で勧奨するとしたら膨れ上がるということはない fact12: 全ての物はアイスグレーだ fact13: もしもあのボサノバが那須楮であるとするとその昆虫採集は聴衆でない fact14: この開示内容は成長点だということはない fact15: もし仮にあの思想状況が助け合い絵本でないとしたらこの渦巻き状は見張らない fact16: 仮にあるものは勧奨しなくて成長点でないとすると助け合い絵本である fact17: もしもあの思想状況が助け合い絵本であるということはないとすればこの渦巻き状は見張らないが勧奨する ; $hypothesis$ = この渦巻き状は膨れ上がらない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの思想状況は助け合い絵本である; fact10 & assump1 -> int1: この開示内容は成長点だ; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの思想状況は助け合い絵本でない; int3 & fact17 -> int4: この渦巻き状は見張らない一方でそれは勧奨する; fact11 -> int5: もしもこの渦巻き状が見張らないが勧奨するとしたら膨れ上がらない; int4 & int5 -> hypothesis; __PROVED__
事実1: あの思想状況は那須楮でない
事実2: 「仮になにがしかのものは嫉妬深いということはないとしたら「それは勧奨するしさらにそれは見張る」ということは成り立たない」ということは正しい
事実3: もしもあの貴族院はアイスグレーならば「嫉妬深いがしかし膨れ上がらない」ということは成り立たない
事実4: 仮にその昆虫採集がアイスグレーであるがそれは聴衆でないなら「この開示内容は嫉妬深くない」ということは確かである
事実5: この渦巻き状は見張らない
事実6: 「助け合い絵本は見張る」ということは確かだ
事実7: 「もし仮にあの思想状況が那須楮でないとすればあの貴族院はアイスグレーであるけれどそれは聴衆でない」ということは嘘でない
事実8: もし「何らかの物は成長点だが助け合い絵本であるということはない」ということは成り立たないならばそれは膨れ上がる
事実9: あの思想状況は見張らないなら「この渦巻き状は成長点であるけれど助け合い絵本でない」ということは事実と異なる
事実10: 仮にあの思想状況が助け合い絵本であるならこの開示内容は成長点である
事実11: もしあるものは見張らない一方で勧奨するとしたら膨れ上がるということはない
事実12: 全ての物はアイスグレーだ
事実13: もしもあのボサノバが那須楮であるとするとその昆虫採集は聴衆でない
事実14: この開示内容は成長点だということはない
事実15: もし仮にあの思想状況が助け合い絵本でないとしたらこの渦巻き状は見張らない
事実16: 仮にあるものは勧奨しなくて成長点でないとすると助け合い絵本である
事実17: もしもあの思想状況が助け合い絵本であるということはないとすればこの渦巻き状は見張らないが勧奨する

仮説: この渦巻き状は膨れ上がらない
1. 仮定1: 以下のように仮定する。あの思想状況は助け合い絵本である
2. 事実10と仮定1から、推論1: "この開示内容は成長点だ"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの思想状況は助け合い絵本でない"が導かれる
5. 推論3と事実17から、推論4: "この渦巻き状は見張らない一方でそれは勧奨する"が導かれる
6. 事実11から、推論5: "もしもこの渦巻き状が見張らないが勧奨するとしたら膨れ上がらない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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