「その女房は揮発し易いししかも早馬である」ということは嘘だ
fact1: もし仮に狙われ易くない物が比重ならばこの恐れ有りは猫族でない fact2: もし仮にこの恐れ有りは比重でないなら「狙われ易いということはないしそれは猫族である」ということは成り立たない fact3: この恐れ有りは猫族でないとすると「その女房は揮発し易いしその上早馬である」ということは成り立たない fact4: もし「この恐れ有りは狙われ易いということはないけれど猫族である」ということは成り立たないとしたらあの日雇いは狙われ易くない fact5: あらゆるものは狙われ易くないけど比重だ
fact5 -> int1: この乾燥地域は狙われ易くないけど比重である; int1 -> int2: とあるものは狙われ易くないがしかし比重だ; int2 & fact1 -> int3: この恐れ有りは猫族でない; int3 & fact3 -> hypothesis;
あの日雇いは狙われ易くないがしかし入手する
$facts$ = fact1: もし仮に狙われ易くない物が比重ならばこの恐れ有りは猫族でない fact2: もし仮にこの恐れ有りは比重でないなら「狙われ易いということはないしそれは猫族である」ということは成り立たない fact3: この恐れ有りは猫族でないとすると「その女房は揮発し易いしその上早馬である」ということは成り立たない fact4: もし「この恐れ有りは狙われ易いということはないけれど猫族である」ということは成り立たないとしたらあの日雇いは狙われ易くない fact5: あらゆるものは狙われ易くないけど比重だ ; $hypothesis$ = 「その女房は揮発し易いししかも早馬である」ということは嘘だ ; $proof$ = 
fact5 -> int1: この乾燥地域は狙われ易くないけど比重である; int1 -> int2: とあるものは狙われ易くないがしかし比重だ; int2 & fact1 -> int3: この恐れ有りは猫族でない; int3 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に狙われ易くない物が比重ならばこの恐れ有りは猫族でない
事実2: もし仮にこの恐れ有りは比重でないなら「狙われ易いということはないしそれは猫族である」ということは成り立たない
事実3: この恐れ有りは猫族でないとすると「その女房は揮発し易いしその上早馬である」ということは成り立たない
事実4: もし「この恐れ有りは狙われ易いということはないけれど猫族である」ということは成り立たないとしたらあの日雇いは狙われ易くない
事実5: あらゆるものは狙われ易くないけど比重だ

仮説: 「その女房は揮発し易いししかも早馬である」ということは嘘だ
1. 事実5から、推論1: "この乾燥地域は狙われ易くないけど比重である"が導かれる
2. 推論1から、推論2: "とあるものは狙われ易くないがしかし比重だ"が導かれる
3. 推論2と事実1から、推論3: "この恐れ有りは猫族でない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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