「あの立方はどうしても欲しい」ということは成り立てばあの院長代理は忌まわしい
fact1: もしあの立方が世界遺産条約なら仮住まいする fact2: 「どうしても欲しい」物はある fact3: 「あの見積もり書作成画面はどうしても欲しい」ということは真実だ fact4: あの立方は世界遺産条約だ fact5: とある物は仮住まいする fact6: あの立方は解析するしそれは行状だ fact7: あの院長代理はどうしても欲しい fact8: もしもなにがしかの物は仮住まいするしまたどうしても欲しいとしたら「あの院長代理は忌まわしい」ということは本当である
fact1 & fact4 -> int1: あの立方は仮住まいする; void -> assump1: 以下のように仮定する。あの立方はどうしても欲しい; int1 & assump1 -> int2: あの立方が仮住まいするしその上それはどうしても欲しい; int2 -> int3: 何かは仮住まいするししかもどうしても欲しい; int3 & fact8 -> int4: あの院長代理は忌まわしい; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしあの立方が世界遺産条約なら仮住まいする fact2: 「どうしても欲しい」物はある fact3: 「あの見積もり書作成画面はどうしても欲しい」ということは真実だ fact4: あの立方は世界遺産条約だ fact5: とある物は仮住まいする fact6: あの立方は解析するしそれは行状だ fact7: あの院長代理はどうしても欲しい fact8: もしもなにがしかの物は仮住まいするしまたどうしても欲しいとしたら「あの院長代理は忌まわしい」ということは本当である ; $hypothesis$ = 「あの立方はどうしても欲しい」ということは成り立てばあの院長代理は忌まわしい ; $proof$ = 
fact1 & fact4 -> int1: あの立方は仮住まいする; void -> assump1: 以下のように仮定する。あの立方はどうしても欲しい; int1 & assump1 -> int2: あの立方が仮住まいするしその上それはどうしても欲しい; int2 -> int3: 何かは仮住まいするししかもどうしても欲しい; int3 & fact8 -> int4: あの院長代理は忌まわしい; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしあの立方が世界遺産条約なら仮住まいする
事実2: 「どうしても欲しい」物はある
事実3: 「あの見積もり書作成画面はどうしても欲しい」ということは真実だ
事実4: あの立方は世界遺産条約だ
事実5: とある物は仮住まいする
事実6: あの立方は解析するしそれは行状だ
事実7: あの院長代理はどうしても欲しい
事実8: もしもなにがしかの物は仮住まいするしまたどうしても欲しいとしたら「あの院長代理は忌まわしい」ということは本当である

仮説: 「あの立方はどうしても欲しい」ということは成り立てばあの院長代理は忌まわしい
1. 事実1と事実4から、推論1: "あの立方は仮住まいする"が導かれる
2. 仮定1: 以下のように仮定する。あの立方はどうしても欲しい
3. 推論1と仮定1から、推論2: "あの立方が仮住まいするしその上それはどうしても欲しい"が導かれる
4. 推論2から、推論3: "何かは仮住まいするししかもどうしても欲しい"が導かれる
5. 推論3と事実8から、推論4: "あの院長代理は忌まわしい"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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