「そのドイツ側はパージしない」ということは本当だ
fact1: 仮にその閉塞性変化が敢え無いとすればそのドイツ側はパージする fact2: 男っぽいということはない物は日本産業であるしかつ巴である fact3: もし「そのドイツ側は敢え無い」ということは本当だとすればその閉塞性変化はパージする fact4: その閉塞性変化は敢え無い fact5: もしもその閉塞性変化がパージするとするとそのドイツ側は敢え無い fact6: そのドイツ側は敢え無い fact7: 「すべては男っぽくない」ということは成り立つ
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
そのドイツ側はパージしない
fact9 -> int1: もしもその駅前商店街が男っぽくないならば日本産業であるしそれは巴である; fact8 -> int2: その駅前商店街は男っぽくない; int1 & int2 -> int3: その駅前商店街が日本産業だし巴だ; int3 -> int4: 「全ては日本産業だしかつ巴である」ということは本当だ; int4 -> int5: その閉塞性変化は日本産業でしかも巴である; int5 -> int6: その閉塞性変化は巴だ;
$facts$ = fact1: 仮にその閉塞性変化が敢え無いとすればそのドイツ側はパージする fact2: 男っぽいということはない物は日本産業であるしかつ巴である fact3: もし「そのドイツ側は敢え無い」ということは本当だとすればその閉塞性変化はパージする fact4: その閉塞性変化は敢え無い fact5: もしもその閉塞性変化がパージするとするとそのドイツ側は敢え無い fact6: そのドイツ側は敢え無い fact7: 「すべては男っぽくない」ということは成り立つ ; $hypothesis$ = 「そのドイツ側はパージしない」ということは本当だ ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にその閉塞性変化が敢え無いとすればそのドイツ側はパージする
事実2: 男っぽいということはない物は日本産業であるしかつ巴である
事実3: もし「そのドイツ側は敢え無い」ということは本当だとすればその閉塞性変化はパージする
事実4: その閉塞性変化は敢え無い
事実5: もしもその閉塞性変化がパージするとするとそのドイツ側は敢え無い
事実6: そのドイツ側は敢え無い
事実7: 「すべては男っぽくない」ということは成り立つ

仮説: 「そのドイツ側はパージしない」ということは本当だ
1. 事実1と事実4から、仮説が否定される

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