この基板は発振しない
fact1: あの行動は冗談ぽい fact2: なにかは科挙でないならそれは仮定法過去完了である fact3: あの行動は奨励策だ fact4: 「「仕事しない」ものはある」ということは正しい fact5: 「仮にとある物は仮定法過去完了であるならば「それは発振する」ということは成り立つ」ということは誤りだということはない fact6: 仮にあるものは科挙でないならば「奨励策だしその上冗談ぽい」ということは事実と異なる fact7: あの行動が冗談ぽいし奨励策ならばこの基板は科挙でない
fact1 & fact3 -> int1: あの行動は冗談ぽいし奨励策だ; int1 & fact7 -> int2: この基板は科挙でない; fact2 -> int3: もしもこの基板は科挙でないならばそれは仮定法過去完了だ; int2 & int3 -> int4: 「この基板は仮定法過去完了である」ということは真実だ; fact5 -> int5: 仮にこの基板は仮定法過去完了であるならそれは発振する; int4 & int5 -> hypothesis;
この洗濯室は発振する
fact9 -> int6: もしあの行動は科挙でないならば「それは奨励策であるし冗談ぽい」ということは誤りだ;
$facts$ = fact1: あの行動は冗談ぽい fact2: なにかは科挙でないならそれは仮定法過去完了である fact3: あの行動は奨励策だ fact4: 「「仕事しない」ものはある」ということは正しい fact5: 「仮にとある物は仮定法過去完了であるならば「それは発振する」ということは成り立つ」ということは誤りだということはない fact6: 仮にあるものは科挙でないならば「奨励策だしその上冗談ぽい」ということは事実と異なる fact7: あの行動が冗談ぽいし奨励策ならばこの基板は科挙でない ; $hypothesis$ = この基板は発振しない ; $proof$ = 
fact1 & fact3 -> int1: あの行動は冗談ぽいし奨励策だ; int1 & fact7 -> int2: この基板は科挙でない; fact2 -> int3: もしもこの基板は科挙でないならばそれは仮定法過去完了だ; int2 & int3 -> int4: 「この基板は仮定法過去完了である」ということは真実だ; fact5 -> int5: 仮にこの基板は仮定法過去完了であるならそれは発振する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あの行動は冗談ぽい
事実2: なにかは科挙でないならそれは仮定法過去完了である
事実3: あの行動は奨励策だ
事実4: 「「仕事しない」ものはある」ということは正しい
事実5: 「仮にとある物は仮定法過去完了であるならば「それは発振する」ということは成り立つ」ということは誤りだということはない
事実6: 仮にあるものは科挙でないならば「奨励策だしその上冗談ぽい」ということは事実と異なる
事実7: あの行動が冗談ぽいし奨励策ならばこの基板は科挙でない

仮説: この基板は発振しない
1. 事実1と事実3から、推論1: "あの行動は冗談ぽいし奨励策だ"が導かれる
2. 推論1と事実7から、推論2: "この基板は科挙でない"が導かれる
3. 事実2から、推論3: "もしもこの基板は科挙でないならばそれは仮定法過去完了だ"が導かれる
4. 推論2と推論3から、推論4: "「この基板は仮定法過去完了である」ということは真実だ"が導かれる
5. 事実5から、推論5: "仮にこの基板は仮定法過去完了であるならそれは発振する"が導かれる
6. 推論4と推論5から、仮説が否定される

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