この合金中は紳士らしいがしかし帰属主体でない
fact1: もしもなにがしかの物は歌えば「それは紳士らしいがしかし帰属主体でない」ということは誤っている fact2: すべての物は確立出来るということはないかもしくはそれは決着しないかもしくはどちらもだ fact3: もし「なにかは義歯でかつ確立出来る」ということは成り立たないならばそれは確立出来ない fact4: もし仮に「何かは義歯だがしかし歌わない」ということは間違っていれば歌う fact5: 「この合金中は義歯だけれど確立出来ない」ということは成り立たない fact6: なにがしかの物は確立出来ないなら「「義歯だ一方で歌わない」ということは真実である」ということは誤りである fact7: もし仮にとあるものは歌わないとすると「それは軟らかくなくてかつそれは褒めちぎるということはない」ということは偽である fact8: 「「この合金中は義歯でないし加えてそれは確立出来ない」ということは正しい」ということは成り立たない fact9: 「この合金中は義歯でないけど確立出来る」ということは成り立たない fact10: もし仮になにがしかのものが歌わないとすればそれは紳士らしいがしかし帰属主体でない fact11: もし「この合金中は義歯でないしその上確立出来ない」ということは成り立たないとしたらそれは歌うということはない fact12: もし仮にとあるものは歌わないとしたら「それは帰属主体でない」ということは真実だ
fact10 -> int1: 仮にこの合金中が歌わないならば紳士らしいしかつそれは帰属主体でない; fact11 & fact8 -> int2: この合金中は歌わない; int1 & int2 -> hypothesis;
「この代表種は軟らかいということはないしその上褒めちぎらない」ということは成り立たない
fact14 -> int3: もしこの代表種は歌わないなら「それは軟らかくないしその上褒めちぎるということはない」ということは誤りだ; fact13 -> int4: もし仮に「この代表種は義歯でそれに確立出来る」ということは成り立たないならばそれは確立出来ない;
$facts$ = fact1: もしもなにがしかの物は歌えば「それは紳士らしいがしかし帰属主体でない」ということは誤っている fact2: すべての物は確立出来るということはないかもしくはそれは決着しないかもしくはどちらもだ fact3: もし「なにかは義歯でかつ確立出来る」ということは成り立たないならばそれは確立出来ない fact4: もし仮に「何かは義歯だがしかし歌わない」ということは間違っていれば歌う fact5: 「この合金中は義歯だけれど確立出来ない」ということは成り立たない fact6: なにがしかの物は確立出来ないなら「「義歯だ一方で歌わない」ということは真実である」ということは誤りである fact7: もし仮にとあるものは歌わないとすると「それは軟らかくなくてかつそれは褒めちぎるということはない」ということは偽である fact8: 「「この合金中は義歯でないし加えてそれは確立出来ない」ということは正しい」ということは成り立たない fact9: 「この合金中は義歯でないけど確立出来る」ということは成り立たない fact10: もし仮になにがしかのものが歌わないとすればそれは紳士らしいがしかし帰属主体でない fact11: もし「この合金中は義歯でないしその上確立出来ない」ということは成り立たないとしたらそれは歌うということはない fact12: もし仮にとあるものは歌わないとしたら「それは帰属主体でない」ということは真実だ ; $hypothesis$ = この合金中は紳士らしいがしかし帰属主体でない ; $proof$ = 
fact10 -> int1: 仮にこの合金中が歌わないならば紳士らしいしかつそれは帰属主体でない; fact11 & fact8 -> int2: この合金中は歌わない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物は歌えば「それは紳士らしいがしかし帰属主体でない」ということは誤っている
事実2: すべての物は確立出来るということはないかもしくはそれは決着しないかもしくはどちらもだ
事実3: もし「なにかは義歯でかつ確立出来る」ということは成り立たないならばそれは確立出来ない
事実4: もし仮に「何かは義歯だがしかし歌わない」ということは間違っていれば歌う
事実5: 「この合金中は義歯だけれど確立出来ない」ということは成り立たない
事実6: なにがしかの物は確立出来ないなら「「義歯だ一方で歌わない」ということは真実である」ということは誤りである
事実7: もし仮にとあるものは歌わないとすると「それは軟らかくなくてかつそれは褒めちぎるということはない」ということは偽である
事実8: 「「この合金中は義歯でないし加えてそれは確立出来ない」ということは正しい」ということは成り立たない
事実9: 「この合金中は義歯でないけど確立出来る」ということは成り立たない
事実10: もし仮になにがしかのものが歌わないとすればそれは紳士らしいがしかし帰属主体でない
事実11: もし「この合金中は義歯でないしその上確立出来ない」ということは成り立たないとしたらそれは歌うということはない
事実12: もし仮にとあるものは歌わないとしたら「それは帰属主体でない」ということは真実だ

仮説: この合金中は紳士らしいがしかし帰属主体でない
1. 事実10から、推論1: "仮にこの合金中が歌わないならば紳士らしいしかつそれは帰属主体でない"が導かれる
2. 事実11と事実8から、推論2: "この合金中は歌わない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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