この贅はステレオスピーカーでない
fact1: 仮にあの返却本がノーマークだとするとこの贅はステレオスピーカーである fact2: もしあの返却本が有り難しということはないならばこの贅は押し黙るかまたはそれはノーマークでないか両方ともだ fact3: もしもあるものが押し黙るかあるいはそれはノーマークでないなら「それはステレオスピーカーでない」ということは事実だ fact4: もしもこの部族間はノーマークだとすれば「あの返却本は押し黙らない一方でステレオスピーカーだ」ということは成り立たない fact5: この部族間はステレオスピーカーだ fact6: あの返却本はノーマークである fact7: もし「ある物は問い直さないけど懸濁する」ということは成り立たないとすれば有り難しない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
「この贅はステレオスピーカーであるということはない」ということは誤っていない
fact10 -> int1: 仮にこの贅が押し黙るかもしくはそれがノーマークだということはないとすればそれはステレオスピーカーだということはない; fact8 -> int2: もしも「あの返却本は問い直さないがしかし懸濁する」ということは誤りであるならばそれは有り難しない;
$facts$ = fact1: 仮にあの返却本がノーマークだとするとこの贅はステレオスピーカーである fact2: もしあの返却本が有り難しということはないならばこの贅は押し黙るかまたはそれはノーマークでないか両方ともだ fact3: もしもあるものが押し黙るかあるいはそれはノーマークでないなら「それはステレオスピーカーでない」ということは事実だ fact4: もしもこの部族間はノーマークだとすれば「あの返却本は押し黙らない一方でステレオスピーカーだ」ということは成り立たない fact5: この部族間はステレオスピーカーだ fact6: あの返却本はノーマークである fact7: もし「ある物は問い直さないけど懸濁する」ということは成り立たないとすれば有り難しない ; $hypothesis$ = この贅はステレオスピーカーでない ; $proof$ = 
fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあの返却本がノーマークだとするとこの贅はステレオスピーカーである
事実2: もしあの返却本が有り難しということはないならばこの贅は押し黙るかまたはそれはノーマークでないか両方ともだ
事実3: もしもあるものが押し黙るかあるいはそれはノーマークでないなら「それはステレオスピーカーでない」ということは事実だ
事実4: もしもこの部族間はノーマークだとすれば「あの返却本は押し黙らない一方でステレオスピーカーだ」ということは成り立たない
事実5: この部族間はステレオスピーカーだ
事実6: あの返却本はノーマークである
事実7: もし「ある物は問い直さないけど懸濁する」ということは成り立たないとすれば有り難しない

仮説: この贅はステレオスピーカーでない
1. 事実1と事実6から、仮説が否定される

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