この最大化は事実等でない
fact1: あの金庫検査は夫婦らしくない fact2: あのＰＲは憎々しくない fact3: あのＰＲが絡め合わせらないしその上憎々しくないならその凡例は倹約しない fact4: 夫婦らしくないものが興味深いとしたらこの最大化は事実等でない fact5: 「夫婦らしくない」物はある fact6: なんらかの物は光る fact7: 興味深くないものは夫婦らしくない fact8: この最大化は夫婦らしい fact9: もしも夫婦らしくない物は事実等であるとしたら「あの金庫検査は興味深くない」ということは間違っていない fact10: とある物は夫婦らしいし事実等だ fact11: あのＰＲは絡め合わせらない fact12: もし仮にその凡例が倹約するということはないとすればあの世界文明は格好悪い fact13: あの世界文明が格好悪いならこの勤行は眠い fact14: この最大化は乗客達でないけどそれは正装する fact15: なんらかの物は夫婦らしいししかも興味深い fact16: 「何らかのものは登山出来ないけれど興味深い」ということは成り立たないとするとそれは興味深くない fact17: その口込みは夫婦らしくない fact18: 「あの金庫検査は夫婦らしくないけれど興味深い」ということは成り立つ fact19: 興味深い事実等はある
fact18 -> int1: 「なにがしかのものは夫婦らしくないけれど興味深い」ということは成り立つ; int1 & fact4 -> hypothesis;
この最大化は事実等だ
fact25 -> int2: もし仮にあのビットマップイメージが興味深くないならば夫婦らしいということはない; fact23 -> int3: 仮に「あのビットマップイメージは登山出来ないけれどそれは興味深い」ということは誤りだとすれば「それは興味深くない」ということは成り立つ; fact24 & fact22 -> int4: あのＰＲは絡め合わせらなくて憎々しくない; fact20 & int4 -> int5: その凡例は倹約しない; fact26 & int5 -> int6: あの世界文明は格好悪い; fact21 & int6 -> int7: この勤行は眠い; int7 -> int8: 「眠い」物はある;
$facts$ = fact1: あの金庫検査は夫婦らしくない fact2: あのＰＲは憎々しくない fact3: あのＰＲが絡め合わせらないしその上憎々しくないならその凡例は倹約しない fact4: 夫婦らしくないものが興味深いとしたらこの最大化は事実等でない fact5: 「夫婦らしくない」物はある fact6: なんらかの物は光る fact7: 興味深くないものは夫婦らしくない fact8: この最大化は夫婦らしい fact9: もしも夫婦らしくない物は事実等であるとしたら「あの金庫検査は興味深くない」ということは間違っていない fact10: とある物は夫婦らしいし事実等だ fact11: あのＰＲは絡め合わせらない fact12: もし仮にその凡例が倹約するということはないとすればあの世界文明は格好悪い fact13: あの世界文明が格好悪いならこの勤行は眠い fact14: この最大化は乗客達でないけどそれは正装する fact15: なんらかの物は夫婦らしいししかも興味深い fact16: 「何らかのものは登山出来ないけれど興味深い」ということは成り立たないとするとそれは興味深くない fact17: その口込みは夫婦らしくない fact18: 「あの金庫検査は夫婦らしくないけれど興味深い」ということは成り立つ fact19: 興味深い事実等はある ; $hypothesis$ = この最大化は事実等でない ; $proof$ = 
fact18 -> int1: 「なにがしかのものは夫婦らしくないけれど興味深い」ということは成り立つ; int1 & fact4 -> hypothesis; __PROVED__
事実1: あの金庫検査は夫婦らしくない
事実2: あのＰＲは憎々しくない
事実3: あのＰＲが絡め合わせらないしその上憎々しくないならその凡例は倹約しない
事実4: 夫婦らしくないものが興味深いとしたらこの最大化は事実等でない
事実5: 「夫婦らしくない」物はある
事実6: なんらかの物は光る
事実7: 興味深くないものは夫婦らしくない
事実8: この最大化は夫婦らしい
事実9: もしも夫婦らしくない物は事実等であるとしたら「あの金庫検査は興味深くない」ということは間違っていない
事実10: とある物は夫婦らしいし事実等だ
事実11: あのＰＲは絡め合わせらない
事実12: もし仮にその凡例が倹約するということはないとすればあの世界文明は格好悪い
事実13: あの世界文明が格好悪いならこの勤行は眠い
事実14: この最大化は乗客達でないけどそれは正装する
事実15: なんらかの物は夫婦らしいししかも興味深い
事実16: 「何らかのものは登山出来ないけれど興味深い」ということは成り立たないとするとそれは興味深くない
事実17: その口込みは夫婦らしくない
事実18: 「あの金庫検査は夫婦らしくないけれど興味深い」ということは成り立つ
事実19: 興味深い事実等はある

仮説: この最大化は事実等でない
1. 事実18から、推論1: "「なにがしかのものは夫婦らしくないけれど興味深い」ということは成り立つ"が導かれる
2. 推論1と事実4から、仮説が導かれる

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