「遣り難くないか環境保全活動であるということはないかもしくは両方ともなら定立するということはない」物はある
fact1: 「仮に遣り難いということはないとしたら「定立しない」ということは成り立つ」物はある fact2: 「「仮に選択制でないかまたは見返さないとしたら交流し合う」物はある」ということは嘘でない fact3: 「もし仮に遣り難くないか環境保全活動でないかあるいは両方ならば定立する」ものはある fact4: もし仮にそのロビイスト事務所が遣り難いということはないとしたらそれは定立するということはない fact5: 仮にそのロビイスト事務所は借りるか定立するということはないとすると「それはラジオ・テレビでない」ということは真実である fact6: もし仮になんらかのものが遣り難くないならば定立しない fact7: もしも何らかの物が遣り難くないかもしくは環境保全活動でないかあるいはどちらもだとすると定立する fact8: もし何らかのものが遣り難くないかもしくはそれは環境保全活動でないかもしくはどちらもであるとするとそれは定立しない
fact8 -> int1: そのロビイスト事務所は遣り難くないかまたは環境保全活動でないかあるいはどちらもであるとするとそれは定立しない; int1 -> hypothesis;
$facts$ = fact1: 「仮に遣り難いということはないとしたら「定立しない」ということは成り立つ」物はある fact2: 「「仮に選択制でないかまたは見返さないとしたら交流し合う」物はある」ということは嘘でない fact3: 「もし仮に遣り難くないか環境保全活動でないかあるいは両方ならば定立する」ものはある fact4: もし仮にそのロビイスト事務所が遣り難いということはないとしたらそれは定立するということはない fact5: 仮にそのロビイスト事務所は借りるか定立するということはないとすると「それはラジオ・テレビでない」ということは真実である fact6: もし仮になんらかのものが遣り難くないならば定立しない fact7: もしも何らかの物が遣り難くないかもしくは環境保全活動でないかあるいはどちらもだとすると定立する fact8: もし何らかのものが遣り難くないかもしくはそれは環境保全活動でないかもしくはどちらもであるとするとそれは定立しない ; $hypothesis$ = 「遣り難くないか環境保全活動であるということはないかもしくは両方ともなら定立するということはない」物はある ; $proof$ = 
fact8 -> int1: そのロビイスト事務所は遣り難くないかまたは環境保全活動でないかあるいはどちらもであるとするとそれは定立しない; int1 -> hypothesis; __PROVED__
事実1: 「仮に遣り難いということはないとしたら「定立しない」ということは成り立つ」物はある
事実2: 「「仮に選択制でないかまたは見返さないとしたら交流し合う」物はある」ということは嘘でない
事実3: 「もし仮に遣り難くないか環境保全活動でないかあるいは両方ならば定立する」ものはある
事実4: もし仮にそのロビイスト事務所が遣り難いということはないとしたらそれは定立するということはない
事実5: 仮にそのロビイスト事務所は借りるか定立するということはないとすると「それはラジオ・テレビでない」ということは真実である
事実6: もし仮になんらかのものが遣り難くないならば定立しない
事実7: もしも何らかの物が遣り難くないかもしくは環境保全活動でないかあるいはどちらもだとすると定立する
事実8: もし何らかのものが遣り難くないかもしくはそれは環境保全活動でないかもしくはどちらもであるとするとそれは定立しない

仮説: 「遣り難くないか環境保全活動であるということはないかもしくは両方ともなら定立するということはない」物はある
1. 事実8から、推論1: "そのロビイスト事務所は遣り難くないかまたは環境保全活動でないかあるいはどちらもであるとするとそれは定立しない"が導かれる
2. 推論1から、仮説が導かれる

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