あの雌犬は掃除し易い
fact1: あの執筆者は配置方法でない fact2: 「もしこの胸騒ぎが注視するということはないかもしくは騒がしいかもしくは両方であるならあの雌犬は施工上だ」ということは正しい fact3: もしあの執筆者が配置方法だということはないとすればこの胸騒ぎは注視しないかもしくは騒がしいか両方だ fact4: この胸騒ぎは注視するかあるいは騒がしいかまたはどちらもだ fact5: 何かは施工上だとすれば「掃除し易い」ということは成り立つ
fact3 & fact1 -> int1: この胸騒ぎは注視しないか騒がしいかもしくは両方ともだ; int1 & fact2 -> int2: あの雌犬は施工上だ; fact5 -> int3: もしもあの雌犬は施工上であるとすれば掃除し易い; int2 & int3 -> hypothesis;
fact3 & fact1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact2 -> int2: {B}{c}; fact5 -> int3: {B}{c} -> {C}{c}; int2 & int3 -> hypothesis;
$facts$ = fact1: あの執筆者は配置方法でない fact2: 「もしこの胸騒ぎが注視するということはないかもしくは騒がしいかもしくは両方であるならあの雌犬は施工上だ」ということは正しい fact3: もしあの執筆者が配置方法だということはないとすればこの胸騒ぎは注視しないかもしくは騒がしいか両方だ fact4: この胸騒ぎは注視するかあるいは騒がしいかまたはどちらもだ fact5: 何かは施工上だとすれば「掃除し易い」ということは成り立つ ; $hypothesis$ = あの雌犬は掃除し易い ; $proof$ = 
fact3 & fact1 -> int1: この胸騒ぎは注視しないか騒がしいかもしくは両方ともだ; int1 & fact2 -> int2: あの雌犬は施工上だ; fact5 -> int3: もしもあの雌犬は施工上であるとすれば掃除し易い; int2 & int3 -> hypothesis; __PROVED__
事実1: あの執筆者は配置方法でない
事実2: 「もしこの胸騒ぎが注視するということはないかもしくは騒がしいかもしくは両方であるならあの雌犬は施工上だ」ということは正しい
事実3: もしあの執筆者が配置方法だということはないとすればこの胸騒ぎは注視しないかもしくは騒がしいか両方だ
事実4: この胸騒ぎは注視するかあるいは騒がしいかまたはどちらもだ
事実5: 何かは施工上だとすれば「掃除し易い」ということは成り立つ

仮説: あの雌犬は掃除し易い
1. 事実3と事実1から、推論1: "この胸騒ぎは注視しないか騒がしいかもしくは両方ともだ"が導かれる
2. 推論1と事実2から、推論2: "あの雌犬は施工上だ"が導かれる
3. 事実5から、推論3: "もしもあの雌犬は施工上であるとすれば掃除し易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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