この大径は毒殺する
fact1: この大径は十四世紀末であるということはない fact2: この大径は成り得ない fact3: もしなんらかのものが自認するということはないとすればそれは十四世紀末でないし毒殺しない fact4: 「この大径は突き込まない」ということは正しい fact5: 「その廃刊はナアールだということはないしおまけに子供っぽくない」ということは間違っている fact6: もしこの第一キャンプ予定地が自認しないとしたらこの大径は十四世紀末であるがそれは毒殺しない fact7: もしも「「何らかの物が悲しいしその上御強い」ということは真実である」ということは成り立たないとすると自認しない fact8: もしもこの大径はナアールであるということはないなら「「それは田舎っぽくないけれど出入りし易い」ということは成り立つ」ということは誤りだ fact9: 仮にこの大径は十四世紀末でないならば「それはナアールでないしまた可笑しくない」ということは偽だ fact10: なにかは成り得ない一方でおもろいとすればそれは手摺でない fact11: もしもなんらかのものが十四世紀末でなくて毒殺するということはないならあの州府は可笑しくない fact12: もし仮に「何かはナアールでないし可笑しいということはない」ということは成り立たないならばそれは毒殺する fact13: もしも何かは手摺でないとしたら「それは悲しくて御強い」ということは成り立たない fact14: 「あの異所性気管気管支は配置計画であるということはないしそれにそれは呆気なくない」ということは事実と異なるとしたらそれは即応出来る
fact9 & fact1 -> int1: 「「この大径はナアールでないしかつ可笑しくない」ということは間違いだ」ということは本当である; fact12 -> int2: もしも「この大径はナアールでなくて加えて可笑しいということはない」ということは真実でないとすればそれは毒殺する; int1 & int2 -> hypothesis;
この大径は毒殺しない
$facts$ = fact1: この大径は十四世紀末であるということはない fact2: この大径は成り得ない fact3: もしなんらかのものが自認するということはないとすればそれは十四世紀末でないし毒殺しない fact4: 「この大径は突き込まない」ということは正しい fact5: 「その廃刊はナアールだということはないしおまけに子供っぽくない」ということは間違っている fact6: もしこの第一キャンプ予定地が自認しないとしたらこの大径は十四世紀末であるがそれは毒殺しない fact7: もしも「「何らかの物が悲しいしその上御強い」ということは真実である」ということは成り立たないとすると自認しない fact8: もしもこの大径はナアールであるということはないなら「「それは田舎っぽくないけれど出入りし易い」ということは成り立つ」ということは誤りだ fact9: 仮にこの大径は十四世紀末でないならば「それはナアールでないしまた可笑しくない」ということは偽だ fact10: なにかは成り得ない一方でおもろいとすればそれは手摺でない fact11: もしもなんらかのものが十四世紀末でなくて毒殺するということはないならあの州府は可笑しくない fact12: もし仮に「何かはナアールでないし可笑しいということはない」ということは成り立たないならばそれは毒殺する fact13: もしも何かは手摺でないとしたら「それは悲しくて御強い」ということは成り立たない fact14: 「あの異所性気管気管支は配置計画であるということはないしそれにそれは呆気なくない」ということは事実と異なるとしたらそれは即応出来る ; $hypothesis$ = この大径は毒殺する ; $proof$ = 
fact9 & fact1 -> int1: 「「この大径はナアールでないしかつ可笑しくない」ということは間違いだ」ということは本当である; fact12 -> int2: もしも「この大径はナアールでなくて加えて可笑しいということはない」ということは真実でないとすればそれは毒殺する; int1 & int2 -> hypothesis; __PROVED__
事実1: この大径は十四世紀末であるということはない
事実2: この大径は成り得ない
事実3: もしなんらかのものが自認するということはないとすればそれは十四世紀末でないし毒殺しない
事実4: 「この大径は突き込まない」ということは正しい
事実5: 「その廃刊はナアールだということはないしおまけに子供っぽくない」ということは間違っている
事実6: もしこの第一キャンプ予定地が自認しないとしたらこの大径は十四世紀末であるがそれは毒殺しない
事実7: もしも「「何らかの物が悲しいしその上御強い」ということは真実である」ということは成り立たないとすると自認しない
事実8: もしもこの大径はナアールであるということはないなら「「それは田舎っぽくないけれど出入りし易い」ということは成り立つ」ということは誤りだ
事実9: 仮にこの大径は十四世紀末でないならば「それはナアールでないしまた可笑しくない」ということは偽だ
事実10: なにかは成り得ない一方でおもろいとすればそれは手摺でない
事実11: もしもなんらかのものが十四世紀末でなくて毒殺するということはないならあの州府は可笑しくない
事実12: もし仮に「何かはナアールでないし可笑しいということはない」ということは成り立たないならばそれは毒殺する
事実13: もしも何かは手摺でないとしたら「それは悲しくて御強い」ということは成り立たない
事実14: 「あの異所性気管気管支は配置計画であるということはないしそれにそれは呆気なくない」ということは事実と異なるとしたらそれは即応出来る

仮説: この大径は毒殺する
1. 事実9と事実1から、推論1: "「「この大径はナアールでないしかつ可笑しくない」ということは間違いだ」ということは本当である"が導かれる
2. 事実12から、推論2: "もしも「この大径はナアールでなくて加えて可笑しいということはない」ということは真実でないとすればそれは毒殺する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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