「その半整数は横流しするがしかしそれは図々しかない」ということは確かだ
fact1: 「そのアメリカ独立宣言は取り揃える」ということは真実だ fact2: 何らかの物は菌でないならば「横流しするししかも図々しかない」ということは成り立たない fact3: 「その半整数は取り揃える」ということは真実だ fact4: もしその半整数は取り揃えるなら「それは菌だということはない」ということは確かである
fact2 -> int1: その半整数は菌でないとすれば「「横流しするし図々しかない」ということは間違っていない」ということは成り立たない; fact4 & fact3 -> int2: その半整数は菌でない; int1 & int2 -> hypothesis;
$facts$ = fact1: 「そのアメリカ独立宣言は取り揃える」ということは真実だ fact2: 何らかの物は菌でないならば「横流しするししかも図々しかない」ということは成り立たない fact3: 「その半整数は取り揃える」ということは真実だ fact4: もしその半整数は取り揃えるなら「それは菌だということはない」ということは確かである ; $hypothesis$ = 「その半整数は横流しするがしかしそれは図々しかない」ということは確かだ ; $proof$ = 
fact2 -> int1: その半整数は菌でないとすれば「「横流しするし図々しかない」ということは間違っていない」ということは成り立たない; fact4 & fact3 -> int2: その半整数は菌でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「そのアメリカ独立宣言は取り揃える」ということは真実だ
事実2: 何らかの物は菌でないならば「横流しするししかも図々しかない」ということは成り立たない
事実3: 「その半整数は取り揃える」ということは真実だ
事実4: もしその半整数は取り揃えるなら「それは菌だということはない」ということは確かである

仮説: 「その半整数は横流しするがしかしそれは図々しかない」ということは確かだ
1. 事実2から、推論1: "その半整数は菌でないとすれば「「横流しするし図々しかない」ということは間違っていない」ということは成り立たない"が導かれる
2. 事実4と事実3から、推論2: "その半整数は菌でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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