その寄せ木細工は可変移相器だ
fact1: 「御堀だけど施工面積でない」ものはある fact2: 仮に「「見苦しい」ということは正しい」ものがあるならあのマイ・レーベンは家事使用だがそれは危うくない fact3: とある物が家事使用である一方でそれが危うくないならその寄せ木細工は可変移相器である fact4: 見苦しい物はある
fact4 & fact2 -> int1: あのマイ・レーベンは家事使用だが危うくない; int1 -> int2: 「家事使用だし加えて危うくない」ものはある; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: ({B}{a} & ¬{C}{a}); int1 -> int2: (Ex): ({B}x & ¬{C}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「御堀だけど施工面積でない」ものはある fact2: 仮に「「見苦しい」ということは正しい」ものがあるならあのマイ・レーベンは家事使用だがそれは危うくない fact3: とある物が家事使用である一方でそれが危うくないならその寄せ木細工は可変移相器である fact4: 見苦しい物はある ; $hypothesis$ = その寄せ木細工は可変移相器だ ; $proof$ = 
fact4 & fact2 -> int1: あのマイ・レーベンは家事使用だが危うくない; int1 -> int2: 「家事使用だし加えて危うくない」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「御堀だけど施工面積でない」ものはある
事実2: 仮に「「見苦しい」ということは正しい」ものがあるならあのマイ・レーベンは家事使用だがそれは危うくない
事実3: とある物が家事使用である一方でそれが危うくないならその寄せ木細工は可変移相器である
事実4: 見苦しい物はある

仮説: その寄せ木細工は可変移相器だ
1. 事実4と事実2から、推論1: "あのマイ・レーベンは家事使用だが危うくない"が導かれる
2. 推論1から、推論2: "「家事使用だし加えて危うくない」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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