あの布越しは心理的教育でその上支障無い
fact1: あの布越しは心理的教育だ fact2: この教材費が意気消沈であるとすればあの鶏卵はママ達であるがコントロールし易くない fact3: もしあの鶏卵がママ達だ一方でコントロールし易くないとするとその法律用語は若草でない fact4: もしも何らかの物が例外無いならそれは転用する fact5: あの役人達は征服者達だということはないがしかし意気消沈である fact6: 例外無くない物は心理的教育であるしそれに支障無い fact7: もしも何かはぎょっとしないとすれば「征服者達でないがしかし意気消沈である」ということは事実と異なる fact8: もしもなにかはママ達でないならそれは例外無い一方でコントロールし易くない fact9: 仮にあの役人達が意気消沈ならママ達でない fact10: あの布越しは例外無くない fact11: もし仮になにがしかの物が若草でないとすれば合算するしそれは例外無い fact12: もし仮に「あの培養検査は征服者達でないが意気消沈だ」ということは確かでないとするとこの教材費は意気消沈だ fact13: その法律用語が慰労するとすればあの役人達は慰労する fact14: 例外無くないものは心理的教育だ
fact6 -> int1: 「あの布越しは例外無くない」ということは成り立つとすると心理的教育であるし支障無い; int1 & fact10 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact10 -> hypothesis;
「「あの布越しは心理的教育であるし支障無い」ということは真実だ」ということは成り立たない
fact15 -> int2: その法律用語は若草でないとしたら「それは合算するしさらにそれは例外無い」ということは正しい; fact16 -> int3: もしあの培養検査はぎょっとしないとすると「それは征服者達であるということはなくてそれに意気消沈である」ということは成り立たない;
$facts$ = fact1: あの布越しは心理的教育だ fact2: この教材費が意気消沈であるとすればあの鶏卵はママ達であるがコントロールし易くない fact3: もしあの鶏卵がママ達だ一方でコントロールし易くないとするとその法律用語は若草でない fact4: もしも何らかの物が例外無いならそれは転用する fact5: あの役人達は征服者達だということはないがしかし意気消沈である fact6: 例外無くない物は心理的教育であるしそれに支障無い fact7: もしも何かはぎょっとしないとすれば「征服者達でないがしかし意気消沈である」ということは事実と異なる fact8: もしもなにかはママ達でないならそれは例外無い一方でコントロールし易くない fact9: 仮にあの役人達が意気消沈ならママ達でない fact10: あの布越しは例外無くない fact11: もし仮になにがしかの物が若草でないとすれば合算するしそれは例外無い fact12: もし仮に「あの培養検査は征服者達でないが意気消沈だ」ということは確かでないとするとこの教材費は意気消沈だ fact13: その法律用語が慰労するとすればあの役人達は慰労する fact14: 例外無くないものは心理的教育だ ; $hypothesis$ = あの布越しは心理的教育でその上支障無い ; $proof$ = 
fact6 -> int1: 「あの布越しは例外無くない」ということは成り立つとすると心理的教育であるし支障無い; int1 & fact10 -> hypothesis; __PROVED__
事実1: あの布越しは心理的教育だ
事実2: この教材費が意気消沈であるとすればあの鶏卵はママ達であるがコントロールし易くない
事実3: もしあの鶏卵がママ達だ一方でコントロールし易くないとするとその法律用語は若草でない
事実4: もしも何らかの物が例外無いならそれは転用する
事実5: あの役人達は征服者達だということはないがしかし意気消沈である
事実6: 例外無くない物は心理的教育であるしそれに支障無い
事実7: もしも何かはぎょっとしないとすれば「征服者達でないがしかし意気消沈である」ということは事実と異なる
事実8: もしもなにかはママ達でないならそれは例外無い一方でコントロールし易くない
事実9: 仮にあの役人達が意気消沈ならママ達でない
事実10: あの布越しは例外無くない
事実11: もし仮になにがしかの物が若草でないとすれば合算するしそれは例外無い
事実12: もし仮に「あの培養検査は征服者達でないが意気消沈だ」ということは確かでないとするとこの教材費は意気消沈だ
事実13: その法律用語が慰労するとすればあの役人達は慰労する
事実14: 例外無くないものは心理的教育だ

仮説: あの布越しは心理的教育でその上支障無い
1. 事実6から、推論1: "「あの布越しは例外無くない」ということは成り立つとすると心理的教育であるし支障無い"が導かれる
2. 推論1と事実10から、仮説が導かれる

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