その塵捨ては先回りしない
fact1: もしも「バリアフリー化しない」物があるならこの外務省内は先回りしない fact2: 「開き易いがしかし専門工事業者でない」物はある fact3: 「先回りするけれど摘まない」物があればその塵捨てはバリアフリー化する fact4: 「バリアフリー化するし更に先回りしない」物はある fact5: 重苦しいものはある fact6: その塵捨ては摘まない fact7: なにかは摘む fact8: 何かは立て籠らない fact9: もしもとある物が先回りするということはないとするとその塵捨ては摘まない fact10: 「しおらしくない」物があるとすればこの外務省内は摘むがしかしバリアフリー化しない fact11: もし仮に「摘むしバリアフリー化しない」物はあるなら「その塵捨ては先回りする」ということは偽でない fact12: もしなにかは先回りするけれどバリアフリー化しないならその塵捨ては摘む fact13: 「この外務省内はしおらしい」ということは成り立つ fact14: 「この外務省内はバリアフリー化しない」ということは成り立つ fact15: 「政権構想発表な」ものはある fact16: 「「しおらしいということはない」ということは成り立つ」物はある
fact16 & fact10 -> int1: この外務省内は摘む一方でバリアフリー化しない; int1 -> int2: なにかは摘む一方でバリアフリー化しない; int2 & fact11 -> hypothesis;
fact16 & fact10 -> int1: ({B}{a} & ¬{C}{a}); int1 -> int2: (Ex): ({B}x & ¬{C}x); int2 & fact11 -> hypothesis;
$facts$ = fact1: もしも「バリアフリー化しない」物があるならこの外務省内は先回りしない fact2: 「開き易いがしかし専門工事業者でない」物はある fact3: 「先回りするけれど摘まない」物があればその塵捨てはバリアフリー化する fact4: 「バリアフリー化するし更に先回りしない」物はある fact5: 重苦しいものはある fact6: その塵捨ては摘まない fact7: なにかは摘む fact8: 何かは立て籠らない fact9: もしもとある物が先回りするということはないとするとその塵捨ては摘まない fact10: 「しおらしくない」物があるとすればこの外務省内は摘むがしかしバリアフリー化しない fact11: もし仮に「摘むしバリアフリー化しない」物はあるなら「その塵捨ては先回りする」ということは偽でない fact12: もしなにかは先回りするけれどバリアフリー化しないならその塵捨ては摘む fact13: 「この外務省内はしおらしい」ということは成り立つ fact14: 「この外務省内はバリアフリー化しない」ということは成り立つ fact15: 「政権構想発表な」ものはある fact16: 「「しおらしいということはない」ということは成り立つ」物はある ; $hypothesis$ = その塵捨ては先回りしない ; $proof$ = 
fact16 & fact10 -> int1: この外務省内は摘む一方でバリアフリー化しない; int1 -> int2: なにかは摘む一方でバリアフリー化しない; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: もしも「バリアフリー化しない」物があるならこの外務省内は先回りしない
事実2: 「開き易いがしかし専門工事業者でない」物はある
事実3: 「先回りするけれど摘まない」物があればその塵捨てはバリアフリー化する
事実4: 「バリアフリー化するし更に先回りしない」物はある
事実5: 重苦しいものはある
事実6: その塵捨ては摘まない
事実7: なにかは摘む
事実8: 何かは立て籠らない
事実9: もしもとある物が先回りするということはないとするとその塵捨ては摘まない
事実10: 「しおらしくない」物があるとすればこの外務省内は摘むがしかしバリアフリー化しない
事実11: もし仮に「摘むしバリアフリー化しない」物はあるなら「その塵捨ては先回りする」ということは偽でない
事実12: もしなにかは先回りするけれどバリアフリー化しないならその塵捨ては摘む
事実13: 「この外務省内はしおらしい」ということは成り立つ
事実14: 「この外務省内はバリアフリー化しない」ということは成り立つ
事実15: 「政権構想発表な」ものはある
事実16: 「「しおらしいということはない」ということは成り立つ」物はある

仮説: その塵捨ては先回りしない
1. 事実16と事実10から、推論1: "この外務省内は摘む一方でバリアフリー化しない"が導かれる
2. 推論1から、推論2: "なにかは摘む一方でバリアフリー化しない"が導かれる
3. 推論2と事実11から、仮説が否定される

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