「その人妻は入眠でないがしかしそれは作り変える」ということは誤りだ
fact1: 仮にある物が個人向けでないとすればそれは作り変える fact2: 何かは回し入れないしそれが知らせ合わないとしたら上塗り塗料でない fact3: もし仮にその江戸幕府は入眠だがしかし上塗り塗料でないとすると回し入れない fact4: もし仮になんらかのものは上塗り塗料でないならば入眠でないけど作り変える fact5: その江戸幕府は個人向けである fact6: もしその江戸幕府が回し入れればその人妻は回し入れないししかもそれは知らせ合わない fact7: もし仮に「その江戸幕府は個人向けだ」ということは事実であるならそれは回し入れる
fact7 & fact5 -> int1: 「その江戸幕府は回し入れる」ということは真実である; int1 & fact6 -> int2: その人妻は回し入れないしそれは知らせ合わない; fact2 -> int3: もしもその人妻は回し入れないし更に知らせ合わないとするとそれは上塗り塗料でない; int2 & int3 -> int4: その人妻は上塗り塗料だということはない; fact4 -> int5: もし「その人妻は上塗り塗料でない」ということは本当ならそれは入眠でないけど作り変える; int4 & int5 -> hypothesis;
$facts$ = fact1: 仮にある物が個人向けでないとすればそれは作り変える fact2: 何かは回し入れないしそれが知らせ合わないとしたら上塗り塗料でない fact3: もし仮にその江戸幕府は入眠だがしかし上塗り塗料でないとすると回し入れない fact4: もし仮になんらかのものは上塗り塗料でないならば入眠でないけど作り変える fact5: その江戸幕府は個人向けである fact6: もしその江戸幕府が回し入れればその人妻は回し入れないししかもそれは知らせ合わない fact7: もし仮に「その江戸幕府は個人向けだ」ということは事実であるならそれは回し入れる ; $hypothesis$ = 「その人妻は入眠でないがしかしそれは作り変える」ということは誤りだ ; $proof$ = 
fact7 & fact5 -> int1: 「その江戸幕府は回し入れる」ということは真実である; int1 & fact6 -> int2: その人妻は回し入れないしそれは知らせ合わない; fact2 -> int3: もしもその人妻は回し入れないし更に知らせ合わないとするとそれは上塗り塗料でない; int2 & int3 -> int4: その人妻は上塗り塗料だということはない; fact4 -> int5: もし「その人妻は上塗り塗料でない」ということは本当ならそれは入眠でないけど作り変える; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮にある物が個人向けでないとすればそれは作り変える
事実2: 何かは回し入れないしそれが知らせ合わないとしたら上塗り塗料でない
事実3: もし仮にその江戸幕府は入眠だがしかし上塗り塗料でないとすると回し入れない
事実4: もし仮になんらかのものは上塗り塗料でないならば入眠でないけど作り変える
事実5: その江戸幕府は個人向けである
事実6: もしその江戸幕府が回し入れればその人妻は回し入れないししかもそれは知らせ合わない
事実7: もし仮に「その江戸幕府は個人向けだ」ということは事実であるならそれは回し入れる

仮説: 「その人妻は入眠でないがしかしそれは作り変える」ということは誤りだ
1. 事実7と事実5から、推論1: "「その江戸幕府は回し入れる」ということは真実である"が導かれる
2. 推論1と事実6から、推論2: "その人妻は回し入れないしそれは知らせ合わない"が導かれる
3. 事実2から、推論3: "もしもその人妻は回し入れないし更に知らせ合わないとするとそれは上塗り塗料でない"が導かれる
4. 推論2と推論3から、推論4: "その人妻は上塗り塗料だということはない"が導かれる
5. 事実4から、推論5: "もし「その人妻は上塗り塗料でない」ということは本当ならそれは入眠でないけど作り変える"が導かれる
6. 推論4と推論5から、仮説が否定される

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