この流し台は粛清する
fact1: 「遠征するし悔しくない」物があるならこの流し台は重たい fact2: 「遠征する一方で悔しいということはない」ものはある fact3: もしなにがしかの物は支持面でないとすると粛清する fact4: もしも「「なにがしかの物は血腥いがしかし展覧会でない」ということは正しい」ということは誤りだとすれば支持面でない fact5: もしもこの流し台が血腥いがそれが展覧会でないとすればそれは重たくない fact6: 仮に「何かは血腥いけど重たくない」ということは成り立つということはないとすればそれは展覧会でない
void -> assump1: 以下のように仮定する。この流し台は血腥いがしかし展覧会でない; fact5 & assump1 -> int1: この流し台は重たくない; fact2 & fact1 -> int2: この流し台は重たい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この流し台は血腥いけど展覧会だということはない」ということは間違っている; fact4 -> int5: もし「この流し台は血腥いけれどそれは展覧会でない」ということは成り立たないとしたら支持面でない; int4 & int5 -> int6: この流し台は支持面でない; fact3 -> int7: この流し台は支持面でないならそれは粛清する; int6 & int7 -> hypothesis;
$facts$ = fact1: 「遠征するし悔しくない」物があるならこの流し台は重たい fact2: 「遠征する一方で悔しいということはない」ものはある fact3: もしなにがしかの物は支持面でないとすると粛清する fact4: もしも「「なにがしかの物は血腥いがしかし展覧会でない」ということは正しい」ということは誤りだとすれば支持面でない fact5: もしもこの流し台が血腥いがそれが展覧会でないとすればそれは重たくない fact6: 仮に「何かは血腥いけど重たくない」ということは成り立つということはないとすればそれは展覧会でない ; $hypothesis$ = この流し台は粛清する ; $proof$ = 
void -> assump1: 以下のように仮定する。この流し台は血腥いがしかし展覧会でない; fact5 & assump1 -> int1: この流し台は重たくない; fact2 & fact1 -> int2: この流し台は重たい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この流し台は血腥いけど展覧会だということはない」ということは間違っている; fact4 -> int5: もし「この流し台は血腥いけれどそれは展覧会でない」ということは成り立たないとしたら支持面でない; int4 & int5 -> int6: この流し台は支持面でない; fact3 -> int7: この流し台は支持面でないならそれは粛清する; int6 & int7 -> hypothesis; __PROVED__
事実1: 「遠征するし悔しくない」物があるならこの流し台は重たい
事実2: 「遠征する一方で悔しいということはない」ものはある
事実3: もしなにがしかの物は支持面でないとすると粛清する
事実4: もしも「「なにがしかの物は血腥いがしかし展覧会でない」ということは正しい」ということは誤りだとすれば支持面でない
事実5: もしもこの流し台が血腥いがそれが展覧会でないとすればそれは重たくない
事実6: 仮に「何かは血腥いけど重たくない」ということは成り立つということはないとすればそれは展覧会でない

仮説: この流し台は粛清する
1. 仮定1: 以下のように仮定する。この流し台は血腥いがしかし展覧会でない
2. 事実5と仮定1から、推論1: "この流し台は重たくない"が導かれる
3. 事実2と事実1から、推論2: "この流し台は重たい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この流し台は血腥いけど展覧会だということはない」ということは間違っている"が導かれる
6. 事実4から、推論5: "もし「この流し台は血腥いけれどそれは展覧会でない」ということは成り立たないとしたら支持面でない"が導かれる
7. 推論4と推論5から、推論6: "この流し台は支持面でない"が導かれる
8. 事実3から、推論7: "この流し台は支持面でないならそれは粛清する"が導かれる
9. 推論6と推論7から、仮説が導かれる

よって、仮説が証明されました。