あの窓敷居は発症し易くない
fact1: もしも生臭いものが可笑しならばそれは発症し易くない fact2: あの窓敷居は可笑し fact3: あの窓敷居は生臭い fact4: 仮に「あの窓敷居は発症し易くないけど生臭い」ということは成り立たないならそれは発症し易い
fact3 & fact2 -> int1: あの窓敷居は生臭いしさらに可笑し; fact1 -> int2: もしもあの窓敷居が生臭いしその上可笑しならそれは発症し易くない; int1 & int2 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); fact1 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの窓敷居は発症し易い
$facts$ = fact1: もしも生臭いものが可笑しならばそれは発症し易くない fact2: あの窓敷居は可笑し fact3: あの窓敷居は生臭い fact4: 仮に「あの窓敷居は発症し易くないけど生臭い」ということは成り立たないならそれは発症し易い ; $hypothesis$ = あの窓敷居は発症し易くない ; $proof$ = 
fact3 & fact2 -> int1: あの窓敷居は生臭いしさらに可笑し; fact1 -> int2: もしもあの窓敷居が生臭いしその上可笑しならそれは発症し易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも生臭いものが可笑しならばそれは発症し易くない
事実2: あの窓敷居は可笑し
事実3: あの窓敷居は生臭い
事実4: 仮に「あの窓敷居は発症し易くないけど生臭い」ということは成り立たないならそれは発症し易い

仮説: あの窓敷居は発症し易くない
1. 事実3と事実2から、推論1: "あの窓敷居は生臭いしさらに可笑し"が導かれる
2. 事実1から、推論2: "もしもあの窓敷居が生臭いしその上可笑しならそれは発症し易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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