その到着後は国税庁相互協議室でない
fact1: 「「鑑賞し易くない一方で国税庁相互協議室だ」ということは偽な」物はある fact2: 「そのグリーン購入は国税庁相互協議室でないしかつ得られ難くない」ということは成り立たない fact3: 「「国税庁相互協議室だということはないし得られ難い」ということは成り立たない」物はある fact4: 「仮に鑑賞し易い物があるならばあのグリーン購入は国税庁相互協議室である」ということは本当だ fact5: 何らかの物は反映され易い fact6: 「そのグリーン購入は規制しないけれどそれは鑑賞し易い」ということは成り立つということはない fact7: 「専用線でない」ものはある fact8: 「そのグリーン購入は国税庁相互協議室でないしそれは鑑賞し易くない」ということは事実と異なる fact9: 「国税庁相互協議室でないし得られ難いということはない」ものはある fact10: もし「鑑賞し易い」ものがあるとするとその到着後は国税庁相互協議室だ fact11: もし仮に何らかの物は得られ難くないとすれば「そのグリーン購入は鑑賞し易くないしその上国税庁相互協議室でない」ということは偽である fact12: 「得られ難くないしさらに国税庁相互協議室でない」物はある fact13: 「そのグリーン購入は鑑賞し易くないしその上国税庁相互協議室でない」ということは間違っている fact14: もし仮に「得られ難い」物があるとするとそのグリーン購入は国税庁相互協議室である fact15: 「仮に「「アース電位だ」ということは本当である」ものがあるとすればあの到着後は国税庁相互協議室だ」ということは成り立つ fact16: とある物は設計・積算業務でない fact17: もしも「鑑賞し易くない」物はあれば「そのグリーン購入は国税庁相互協議室でなくて加えて得られ難くない」ということは偽だ fact18: もし「「得られ難いということはないしそれに鑑賞し易くない」ということは事実と異なる」物があればその到着後は国税庁相互協議室である fact19: 仮になにがしかの物は専用線でないとすると「「そのグリーン購入は得られ難くないしさらに鑑賞し易くない」ということは成り立たない」ということは真実である fact20: 「そのグリーン購入は国税庁相互協議室だ」ということは嘘でない
fact7 & fact19 -> int1: 「そのグリーン購入は得られ難くないしさらに鑑賞し易くない」ということは成り立たない; int1 -> int2: 「「得られ難くないししかも鑑賞し易いということはない」ということは成り立たない」ものはある; int2 & fact18 -> hypothesis;
$facts$ = fact1: 「「鑑賞し易くない一方で国税庁相互協議室だ」ということは偽な」物はある fact2: 「そのグリーン購入は国税庁相互協議室でないしかつ得られ難くない」ということは成り立たない fact3: 「「国税庁相互協議室だということはないし得られ難い」ということは成り立たない」物はある fact4: 「仮に鑑賞し易い物があるならばあのグリーン購入は国税庁相互協議室である」ということは本当だ fact5: 何らかの物は反映され易い fact6: 「そのグリーン購入は規制しないけれどそれは鑑賞し易い」ということは成り立つということはない fact7: 「専用線でない」ものはある fact8: 「そのグリーン購入は国税庁相互協議室でないしそれは鑑賞し易くない」ということは事実と異なる fact9: 「国税庁相互協議室でないし得られ難いということはない」ものはある fact10: もし「鑑賞し易い」ものがあるとするとその到着後は国税庁相互協議室だ fact11: もし仮に何らかの物は得られ難くないとすれば「そのグリーン購入は鑑賞し易くないしその上国税庁相互協議室でない」ということは偽である fact12: 「得られ難くないしさらに国税庁相互協議室でない」物はある fact13: 「そのグリーン購入は鑑賞し易くないしその上国税庁相互協議室でない」ということは間違っている fact14: もし仮に「得られ難い」物があるとするとそのグリーン購入は国税庁相互協議室である fact15: 「仮に「「アース電位だ」ということは本当である」ものがあるとすればあの到着後は国税庁相互協議室だ」ということは成り立つ fact16: とある物は設計・積算業務でない fact17: もしも「鑑賞し易くない」物はあれば「そのグリーン購入は国税庁相互協議室でなくて加えて得られ難くない」ということは偽だ fact18: もし「「得られ難いということはないしそれに鑑賞し易くない」ということは事実と異なる」物があればその到着後は国税庁相互協議室である fact19: 仮になにがしかの物は専用線でないとすると「「そのグリーン購入は得られ難くないしさらに鑑賞し易くない」ということは成り立たない」ということは真実である fact20: 「そのグリーン購入は国税庁相互協議室だ」ということは嘘でない ; $hypothesis$ = その到着後は国税庁相互協議室でない ; $proof$ = 
fact7 & fact19 -> int1: 「そのグリーン購入は得られ難くないしさらに鑑賞し易くない」ということは成り立たない; int1 -> int2: 「「得られ難くないししかも鑑賞し易いということはない」ということは成り立たない」ものはある; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: 「「鑑賞し易くない一方で国税庁相互協議室だ」ということは偽な」物はある
事実2: 「そのグリーン購入は国税庁相互協議室でないしかつ得られ難くない」ということは成り立たない
事実3: 「「国税庁相互協議室だということはないし得られ難い」ということは成り立たない」物はある
事実4: 「仮に鑑賞し易い物があるならばあのグリーン購入は国税庁相互協議室である」ということは本当だ
事実5: 何らかの物は反映され易い
事実6: 「そのグリーン購入は規制しないけれどそれは鑑賞し易い」ということは成り立つということはない
事実7: 「専用線でない」ものはある
事実8: 「そのグリーン購入は国税庁相互協議室でないしそれは鑑賞し易くない」ということは事実と異なる
事実9: 「国税庁相互協議室でないし得られ難いということはない」ものはある
事実10: もし「鑑賞し易い」ものがあるとするとその到着後は国税庁相互協議室だ
事実11: もし仮に何らかの物は得られ難くないとすれば「そのグリーン購入は鑑賞し易くないしその上国税庁相互協議室でない」ということは偽である
事実12: 「得られ難くないしさらに国税庁相互協議室でない」物はある
事実13: 「そのグリーン購入は鑑賞し易くないしその上国税庁相互協議室でない」ということは間違っている
事実14: もし仮に「得られ難い」物があるとするとそのグリーン購入は国税庁相互協議室である
事実15: 「仮に「「アース電位だ」ということは本当である」ものがあるとすればあの到着後は国税庁相互協議室だ」ということは成り立つ
事実16: とある物は設計・積算業務でない
事実17: もしも「鑑賞し易くない」物はあれば「そのグリーン購入は国税庁相互協議室でなくて加えて得られ難くない」ということは偽だ
事実18: もし「「得られ難いということはないしそれに鑑賞し易くない」ということは事実と異なる」物があればその到着後は国税庁相互協議室である
事実19: 仮になにがしかの物は専用線でないとすると「「そのグリーン購入は得られ難くないしさらに鑑賞し易くない」ということは成り立たない」ということは真実である
事実20: 「そのグリーン購入は国税庁相互協議室だ」ということは嘘でない

仮説: その到着後は国税庁相互協議室でない
1. 事実7と事実19から、推論1: "「そのグリーン購入は得られ難くないしさらに鑑賞し易くない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「得られ難くないししかも鑑賞し易いということはない」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実18から、仮説が否定される

よって、仮説が否定されました。