「「作成するししかも慰めるということはない」ということは成り立つということはない」物はある
fact1: とあるものはヨーロッパ評議会ならば「それは遺産分割手続きであるがしかし人懐こくない」ということは誤っている fact2: 「このＤＥＰＰは独演会でない」ということは成り立つ fact3: 仮にこの脱柵が作成しないならばその注射器はヨーロッパ評議会だということはない fact4: あの田螺は交換作業でない fact5: 「あの山下公園はヨーロッパ評議会であるということはない」ということは事実だ fact6: 「その注射器はヨーロッパ評議会だがそれは作成しない」ということは嘘である fact7: もしあの山下公園は重々しかないとすると「「その注射器は作成するしまた慰める」ということは成り立たない」ということは成り立つ fact8: 「「ヨーロッパ評議会であるがしかし作成しない」ということは成り立たない」物はある fact9: 「その注射器は狡賢くない」ということは嘘でない fact10: この脱柵がヨーロッパ評議会でないとするとあの山下公園は重々しかない fact11: 「作成する一方で慰めない」ものはある fact12: この脱柵はヨーロッパ評議会でない fact13: その注射器は重々しかない fact14: その注射器はヨーロッパ評議会であるということはないとすれば「この脱柵は作成するがしかし慰めない」ということは嘘である fact15: もしあの山下公園は重々しかないならば「その注射器は作成する一方で慰めない」ということは成り立たない fact16: 「「慰めるしヨーロッパ評議会でない」ということは間違っている」物はある fact17: 「「重々しいしさらに慰めるということはない」ということは成り立つということはない」物はある fact18: もしもあの山下公園は慰めないなら「その注射器は重々しくて作成する」ということは誤っている fact19: この和解勧試は重々しかない
fact10 & fact12 -> int1: あの山下公園は重々しかない; int1 & fact15 -> int2: 「「その注射器は作成するけれど慰めるということはない」ということは確かである」ということは事実でない; int2 -> hypothesis;
fact10 & fact12 -> int1: ¬{B}{b}; int1 & fact15 -> int2: ¬({C}{c} & ¬{D}{c}); int2 -> hypothesis;
「「遺産分割手続きだが人懐こくない」ということは成り立つということはない」ものはある
fact20 -> int3: もしこの脱柵はヨーロッパ評議会なら「遺産分割手続きだが人懐こくない」ということは間違いだ;
$facts$ = fact1: とあるものはヨーロッパ評議会ならば「それは遺産分割手続きであるがしかし人懐こくない」ということは誤っている fact2: 「このＤＥＰＰは独演会でない」ということは成り立つ fact3: 仮にこの脱柵が作成しないならばその注射器はヨーロッパ評議会だということはない fact4: あの田螺は交換作業でない fact5: 「あの山下公園はヨーロッパ評議会であるということはない」ということは事実だ fact6: 「その注射器はヨーロッパ評議会だがそれは作成しない」ということは嘘である fact7: もしあの山下公園は重々しかないとすると「「その注射器は作成するしまた慰める」ということは成り立たない」ということは成り立つ fact8: 「「ヨーロッパ評議会であるがしかし作成しない」ということは成り立たない」物はある fact9: 「その注射器は狡賢くない」ということは嘘でない fact10: この脱柵がヨーロッパ評議会でないとするとあの山下公園は重々しかない fact11: 「作成する一方で慰めない」ものはある fact12: この脱柵はヨーロッパ評議会でない fact13: その注射器は重々しかない fact14: その注射器はヨーロッパ評議会であるということはないとすれば「この脱柵は作成するがしかし慰めない」ということは嘘である fact15: もしあの山下公園は重々しかないならば「その注射器は作成する一方で慰めない」ということは成り立たない fact16: 「「慰めるしヨーロッパ評議会でない」ということは間違っている」物はある fact17: 「「重々しいしさらに慰めるということはない」ということは成り立つということはない」物はある fact18: もしもあの山下公園は慰めないなら「その注射器は重々しくて作成する」ということは誤っている fact19: この和解勧試は重々しかない ; $hypothesis$ = 「「作成するししかも慰めるということはない」ということは成り立つということはない」物はある ; $proof$ = 
fact10 & fact12 -> int1: あの山下公園は重々しかない; int1 & fact15 -> int2: 「「その注射器は作成するけれど慰めるということはない」ということは確かである」ということは事実でない; int2 -> hypothesis; __PROVED__
事実1: とあるものはヨーロッパ評議会ならば「それは遺産分割手続きであるがしかし人懐こくない」ということは誤っている
事実2: 「このＤＥＰＰは独演会でない」ということは成り立つ
事実3: 仮にこの脱柵が作成しないならばその注射器はヨーロッパ評議会だということはない
事実4: あの田螺は交換作業でない
事実5: 「あの山下公園はヨーロッパ評議会であるということはない」ということは事実だ
事実6: 「その注射器はヨーロッパ評議会だがそれは作成しない」ということは嘘である
事実7: もしあの山下公園は重々しかないとすると「「その注射器は作成するしまた慰める」ということは成り立たない」ということは成り立つ
事実8: 「「ヨーロッパ評議会であるがしかし作成しない」ということは成り立たない」物はある
事実9: 「その注射器は狡賢くない」ということは嘘でない
事実10: この脱柵がヨーロッパ評議会でないとするとあの山下公園は重々しかない
事実11: 「作成する一方で慰めない」ものはある
事実12: この脱柵はヨーロッパ評議会でない
事実13: その注射器は重々しかない
事実14: その注射器はヨーロッパ評議会であるということはないとすれば「この脱柵は作成するがしかし慰めない」ということは嘘である
事実15: もしあの山下公園は重々しかないならば「その注射器は作成する一方で慰めない」ということは成り立たない
事実16: 「「慰めるしヨーロッパ評議会でない」ということは間違っている」物はある
事実17: 「「重々しいしさらに慰めるということはない」ということは成り立つということはない」物はある
事実18: もしもあの山下公園は慰めないなら「その注射器は重々しくて作成する」ということは誤っている
事実19: この和解勧試は重々しかない

仮説: 「「作成するししかも慰めるということはない」ということは成り立つということはない」物はある
1. 事実10と事実12から、推論1: "あの山下公園は重々しかない"が導かれる
2. 推論1と事実15から、推論2: "「「その注射器は作成するけれど慰めるということはない」ということは確かである」ということは事実でない"が導かれる
3. 推論2から、仮説が導かれる

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