「その評価法は結城氏新法度でなくてそれは会話らしくない」ということは成り立たない
fact1: もしも「歩行しない」ものがあるとするとあの往生要集は栽培カレンダーであるということはない fact2: 仮にある物が歩行するとすると結城氏新法度でないししかもそれは会話らしくない fact3: もしとあるものが参与するとすれば危ない fact4: 「その評価法は結城氏新法度でない一方でそれは会話らしい」ということは事実と異なる fact5: 「あの往生要集は会話らしいということはないし栽培カレンダーでない」ということは誤りである fact6: もしもあの往生要集が噴射するとすればそれは参与する fact7: 危ない物は航空機事故でないしその上青信号であるということはない fact8: もしもあの往生要集が航空機事故でなくてかつ青信号であるということはないとしたらその評価法は航空機事故でない fact9: あるものは歩行するということはない fact10: 仮になにかは航空機事故でないとすればそれは栽培カレンダーであるし歩行する fact11: もしもあの往生要集は栽培カレンダーでないとすると「その評価法は結城氏新法度でなくて更に会話らしくない」ということは間違いである
fact9 & fact1 -> int1: あの往生要集は栽培カレンダーでない; int1 & fact11 -> hypothesis;
その評価法は結城氏新法度でないしそれは会話らしくない
fact17 -> int2: もし仮にその評価法が歩行するとしたらそれは結城氏新法度でなくて会話らしくない; fact14 -> int3: もしその評価法が航空機事故でないとすればそれは栽培カレンダーだし歩行する; fact13 -> int4: もしもあの往生要集が危ないとしたら航空機事故でなくて青信号でない; fact15 -> int5: もしもあの往生要集は参与するとすると「危ない」ということは真実である;
$facts$ = fact1: もしも「歩行しない」ものがあるとするとあの往生要集は栽培カレンダーであるということはない fact2: 仮にある物が歩行するとすると結城氏新法度でないししかもそれは会話らしくない fact3: もしとあるものが参与するとすれば危ない fact4: 「その評価法は結城氏新法度でない一方でそれは会話らしい」ということは事実と異なる fact5: 「あの往生要集は会話らしいということはないし栽培カレンダーでない」ということは誤りである fact6: もしもあの往生要集が噴射するとすればそれは参与する fact7: 危ない物は航空機事故でないしその上青信号であるということはない fact8: もしもあの往生要集が航空機事故でなくてかつ青信号であるということはないとしたらその評価法は航空機事故でない fact9: あるものは歩行するということはない fact10: 仮になにかは航空機事故でないとすればそれは栽培カレンダーであるし歩行する fact11: もしもあの往生要集は栽培カレンダーでないとすると「その評価法は結城氏新法度でなくて更に会話らしくない」ということは間違いである ; $hypothesis$ = 「その評価法は結城氏新法度でなくてそれは会話らしくない」ということは成り立たない ; $proof$ = 
fact9 & fact1 -> int1: あの往生要集は栽培カレンダーでない; int1 & fact11 -> hypothesis; __PROVED__
事実1: もしも「歩行しない」ものがあるとするとあの往生要集は栽培カレンダーであるということはない
事実2: 仮にある物が歩行するとすると結城氏新法度でないししかもそれは会話らしくない
事実3: もしとあるものが参与するとすれば危ない
事実4: 「その評価法は結城氏新法度でない一方でそれは会話らしい」ということは事実と異なる
事実5: 「あの往生要集は会話らしいということはないし栽培カレンダーでない」ということは誤りである
事実6: もしもあの往生要集が噴射するとすればそれは参与する
事実7: 危ない物は航空機事故でないしその上青信号であるということはない
事実8: もしもあの往生要集が航空機事故でなくてかつ青信号であるということはないとしたらその評価法は航空機事故でない
事実9: あるものは歩行するということはない
事実10: 仮になにかは航空機事故でないとすればそれは栽培カレンダーであるし歩行する
事実11: もしもあの往生要集は栽培カレンダーでないとすると「その評価法は結城氏新法度でなくて更に会話らしくない」ということは間違いである

仮説: 「その評価法は結城氏新法度でなくてそれは会話らしくない」ということは成り立たない
1. 事実9と事実1から、推論1: "あの往生要集は栽培カレンダーでない"が導かれる
2. 推論1と事実11から、仮説が導かれる

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