「その派生接尾辞は淡い」ということは成り立つ
fact1: 仮に「駄菓子屋であるし半角英数である」物があればこの対物防衛は淡くない fact2: 「なにがしかの物は談合である」ということは嘘でない fact3: もしなにがしかの物は半角英数であるとすれば「それは駄菓子屋でないしさらにそれは淡くない」ということは成り立たない fact4: 「この中央駅は駄菓子屋でなくて更にそれは淡くない」ということは成り立たないならばそれは駄菓子屋だ fact5: この対物防衛は駄菓子屋であるしおまけに半角英数である fact6: あの区切り文字は駄菓子屋である fact7: あるものは半角英数である fact8: もし駄菓子屋が半角英数であるならばその派生接尾辞は淡くない fact9: もしもとある物が半角英数でないなら淡くて更にそれは駄菓子屋だ fact10: もしこの中央駅が編み入れればそれは半角英数だ
fact5 -> int1: 「駄菓子屋であるしおまけに半角英数な」物はある; int1 & fact8 -> hypothesis;
とある物は使い易くてまたエトルリア人だ
fact13 -> int2: もしもこの中央駅は半角英数なら「駄菓子屋でないし淡くない」ということは成り立たない;
$facts$ = fact1: 仮に「駄菓子屋であるし半角英数である」物があればこの対物防衛は淡くない fact2: 「なにがしかの物は談合である」ということは嘘でない fact3: もしなにがしかの物は半角英数であるとすれば「それは駄菓子屋でないしさらにそれは淡くない」ということは成り立たない fact4: 「この中央駅は駄菓子屋でなくて更にそれは淡くない」ということは成り立たないならばそれは駄菓子屋だ fact5: この対物防衛は駄菓子屋であるしおまけに半角英数である fact6: あの区切り文字は駄菓子屋である fact7: あるものは半角英数である fact8: もし駄菓子屋が半角英数であるならばその派生接尾辞は淡くない fact9: もしもとある物が半角英数でないなら淡くて更にそれは駄菓子屋だ fact10: もしこの中央駅が編み入れればそれは半角英数だ ; $hypothesis$ = 「その派生接尾辞は淡い」ということは成り立つ ; $proof$ = 
fact5 -> int1: 「駄菓子屋であるしおまけに半角英数な」物はある; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「駄菓子屋であるし半角英数である」物があればこの対物防衛は淡くない
事実2: 「なにがしかの物は談合である」ということは嘘でない
事実3: もしなにがしかの物は半角英数であるとすれば「それは駄菓子屋でないしさらにそれは淡くない」ということは成り立たない
事実4: 「この中央駅は駄菓子屋でなくて更にそれは淡くない」ということは成り立たないならばそれは駄菓子屋だ
事実5: この対物防衛は駄菓子屋であるしおまけに半角英数である
事実6: あの区切り文字は駄菓子屋である
事実7: あるものは半角英数である
事実8: もし駄菓子屋が半角英数であるならばその派生接尾辞は淡くない
事実9: もしもとある物が半角英数でないなら淡くて更にそれは駄菓子屋だ
事実10: もしこの中央駅が編み入れればそれは半角英数だ

仮説: 「その派生接尾辞は淡い」ということは成り立つ
1. 事実5から、推論1: "「駄菓子屋であるしおまけに半角英数な」物はある"が導かれる
2. 推論1と事実8から、仮説が否定される

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