そのお転婆娘は移ろい易いし忠実忠実しい
fact1: 「この陣笠は黒いが修道服でない」ということは偽である fact2: もし仮にこの陣笠が聞き出すとすればそのお転婆娘は移ろい易い fact3: そのお転婆娘は忠実忠実しいし加えて遣る瀬無い fact4: 仮に「「この陣笠は黒いが修道服でない」ということは嘘である」ということは本当だとすると聞き出す
fact4 & fact1 -> int1: この陣笠は聞き出す; int1 & fact2 -> int2: そのお転婆娘は移ろい易い; fact3 -> int3: そのお転婆娘は忠実忠実しい; int2 & int3 -> hypothesis;
$facts$ = fact1: 「この陣笠は黒いが修道服でない」ということは偽である fact2: もし仮にこの陣笠が聞き出すとすればそのお転婆娘は移ろい易い fact3: そのお転婆娘は忠実忠実しいし加えて遣る瀬無い fact4: 仮に「「この陣笠は黒いが修道服でない」ということは嘘である」ということは本当だとすると聞き出す ; $hypothesis$ = そのお転婆娘は移ろい易いし忠実忠実しい ; $proof$ = 
fact4 & fact1 -> int1: この陣笠は聞き出す; int1 & fact2 -> int2: そのお転婆娘は移ろい易い; fact3 -> int3: そのお転婆娘は忠実忠実しい; int2 & int3 -> hypothesis; __PROVED__
事実1: 「この陣笠は黒いが修道服でない」ということは偽である
事実2: もし仮にこの陣笠が聞き出すとすればそのお転婆娘は移ろい易い
事実3: そのお転婆娘は忠実忠実しいし加えて遣る瀬無い
事実4: 仮に「「この陣笠は黒いが修道服でない」ということは嘘である」ということは本当だとすると聞き出す

仮説: そのお転婆娘は移ろい易いし忠実忠実しい
1. 事実4と事実1から、推論1: "この陣笠は聞き出す"が導かれる
2. 推論1と事実2から、推論2: "そのお転婆娘は移ろい易い"が導かれる
3. 事実3から、推論3: "そのお転婆娘は忠実忠実しい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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