あの醤油少々は国庫支出金であるが焦げ臭いということはない
fact1: もしもあるものは配置する一方で見過ごし難くないなら打ち当たる fact2: もしあの醤油少々は国庫支出金だとすると「「あの蓮は焦げ臭いが配置しない」ということは嘘だ」ということは誤りでない fact3: もし仮に何らかの物が打ち当たらないしその上見過ごし難くないとしたらあの蓮は配置する fact4: もしあの蓮は焦げ臭いとしたら「あの醤油少々は配置するし国庫支出金である」ということは成り立つということはない fact5: 「あの蓮は泥棒呼ばわりするけど打ち当たるということはない」ということは成り立つということはない fact6: もしある物が打ち当たればそれは国庫支出金だし加えてそれは焦げ臭くない fact7: 仮にあの醤油少々は配置するとしたら「あの蓮は国庫支出金であるし焦げ臭い」ということは嘘だ fact8: もしあの蓮は配置するなら「あの醤油少々は国庫支出金だけど焦げ臭いということはない」ということは間違っている fact9: 何らかの物は打ち当たるということはないしおまけにそれは見過ごし難くない
fact9 & fact3 -> int1: あの蓮は配置する; int1 & fact8 -> hypothesis;
あの醤油少々は国庫支出金だが焦げ臭くない
fact10 -> int2: あの醤油少々が打ち当たるとしたらそれは国庫支出金であるけど焦げ臭くない; fact11 -> int3: あの醤油少々が配置するけど見過ごし難くないとすると打ち当たる;
$facts$ = fact1: もしもあるものは配置する一方で見過ごし難くないなら打ち当たる fact2: もしあの醤油少々は国庫支出金だとすると「「あの蓮は焦げ臭いが配置しない」ということは嘘だ」ということは誤りでない fact3: もし仮に何らかの物が打ち当たらないしその上見過ごし難くないとしたらあの蓮は配置する fact4: もしあの蓮は焦げ臭いとしたら「あの醤油少々は配置するし国庫支出金である」ということは成り立つということはない fact5: 「あの蓮は泥棒呼ばわりするけど打ち当たるということはない」ということは成り立つということはない fact6: もしある物が打ち当たればそれは国庫支出金だし加えてそれは焦げ臭くない fact7: 仮にあの醤油少々は配置するとしたら「あの蓮は国庫支出金であるし焦げ臭い」ということは嘘だ fact8: もしあの蓮は配置するなら「あの醤油少々は国庫支出金だけど焦げ臭いということはない」ということは間違っている fact9: 何らかの物は打ち当たるということはないしおまけにそれは見過ごし難くない ; $hypothesis$ = あの醤油少々は国庫支出金であるが焦げ臭いということはない ; $proof$ = 
fact9 & fact3 -> int1: あの蓮は配置する; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもあるものは配置する一方で見過ごし難くないなら打ち当たる
事実2: もしあの醤油少々は国庫支出金だとすると「「あの蓮は焦げ臭いが配置しない」ということは嘘だ」ということは誤りでない
事実3: もし仮に何らかの物が打ち当たらないしその上見過ごし難くないとしたらあの蓮は配置する
事実4: もしあの蓮は焦げ臭いとしたら「あの醤油少々は配置するし国庫支出金である」ということは成り立つということはない
事実5: 「あの蓮は泥棒呼ばわりするけど打ち当たるということはない」ということは成り立つということはない
事実6: もしある物が打ち当たればそれは国庫支出金だし加えてそれは焦げ臭くない
事実7: 仮にあの醤油少々は配置するとしたら「あの蓮は国庫支出金であるし焦げ臭い」ということは嘘だ
事実8: もしあの蓮は配置するなら「あの醤油少々は国庫支出金だけど焦げ臭いということはない」ということは間違っている
事実9: 何らかの物は打ち当たるということはないしおまけにそれは見過ごし難くない

仮説: あの醤油少々は国庫支出金であるが焦げ臭いということはない
1. 事実9と事実3から、推論1: "あの蓮は配置する"が導かれる
2. 推論1と事実8から、仮説が否定される

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