その増上寺はリッターだ
fact1: その低下は賃銭である fact2: もし「「小気味良い一方で過剰雇用でない」ということは成り立たない」物があるとすればその低下は擦れる fact3: 「その低下は過剰雇用でない」ということは真実だ fact4: 「「小気味良いが過剰雇用でない」ということは成り立つということはない」物はある fact5: もしその増上寺が賃銭であるし擦れるとしたらその低下はリッターであるということはない fact6: 仮に「その低下は賃銭であるし擦れる」ということは確かだとすればその増上寺はリッターだということはない
fact4 & fact2 -> int1: その低下は擦れる; int1 & fact1 -> int2: その低下が賃銭だししかもそれは擦れる; int2 & fact6 -> hypothesis;
$facts$ = fact1: その低下は賃銭である fact2: もし「「小気味良い一方で過剰雇用でない」ということは成り立たない」物があるとすればその低下は擦れる fact3: 「その低下は過剰雇用でない」ということは真実だ fact4: 「「小気味良いが過剰雇用でない」ということは成り立つということはない」物はある fact5: もしその増上寺が賃銭であるし擦れるとしたらその低下はリッターであるということはない fact6: 仮に「その低下は賃銭であるし擦れる」ということは確かだとすればその増上寺はリッターだということはない ; $hypothesis$ = その増上寺はリッターだ ; $proof$ = 
fact4 & fact2 -> int1: その低下は擦れる; int1 & fact1 -> int2: その低下が賃銭だししかもそれは擦れる; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: その低下は賃銭である
事実2: もし「「小気味良い一方で過剰雇用でない」ということは成り立たない」物があるとすればその低下は擦れる
事実3: 「その低下は過剰雇用でない」ということは真実だ
事実4: 「「小気味良いが過剰雇用でない」ということは成り立つということはない」物はある
事実5: もしその増上寺が賃銭であるし擦れるとしたらその低下はリッターであるということはない
事実6: 仮に「その低下は賃銭であるし擦れる」ということは確かだとすればその増上寺はリッターだということはない

仮説: その増上寺はリッターだ
1. 事実4と事実2から、推論1: "その低下は擦れる"が導かれる
2. 推論1と事実1から、推論2: "その低下が賃銭だししかもそれは擦れる"が導かれる
3. 推論2と事実6から、仮説が否定される

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