この漁撈は太り易くない
fact1: なんらかの物が匂わないとすればそれは忘れっぽくないしかつそれは太り易くない fact2: この漁撈は匂わなくてやんごとないということはない fact3: もしなんらかのものがやんごとないとすればそれは匂う fact4: この実体が線引きしないならばそれは荒々しくない
fact2 -> int1: この漁撈は匂わない; fact1 -> int2: もし仮に「この漁撈は匂うということはない」ということは嘘でないなら忘れっぽくなくてそれは太り易いということはない; int1 & int2 -> int3: この漁撈は忘れっぽくなくてまたそれは太り易くない; int3 -> hypothesis;
fact2 -> int1: ¬{A}{a}; fact1 -> int2: ¬{A}{a} -> (¬{D}{a} & ¬{C}{a}); int1 & int2 -> int3: (¬{D}{a} & ¬{C}{a}); int3 -> hypothesis;
そのハム・ソーセージは太り易くないし変身出来るということはない
fact5 -> int4: そのハム・ソーセージがやんごとないならそれは匂う;
$facts$ = fact1: なんらかの物が匂わないとすればそれは忘れっぽくないしかつそれは太り易くない fact2: この漁撈は匂わなくてやんごとないということはない fact3: もしなんらかのものがやんごとないとすればそれは匂う fact4: この実体が線引きしないならばそれは荒々しくない ; $hypothesis$ = この漁撈は太り易くない ; $proof$ = 
fact2 -> int1: この漁撈は匂わない; fact1 -> int2: もし仮に「この漁撈は匂うということはない」ということは嘘でないなら忘れっぽくなくてそれは太り易いということはない; int1 & int2 -> int3: この漁撈は忘れっぽくなくてまたそれは太り易くない; int3 -> hypothesis; __PROVED__
事実1: なんらかの物が匂わないとすればそれは忘れっぽくないしかつそれは太り易くない
事実2: この漁撈は匂わなくてやんごとないということはない
事実3: もしなんらかのものがやんごとないとすればそれは匂う
事実4: この実体が線引きしないならばそれは荒々しくない

仮説: この漁撈は太り易くない
1. 事実2から、推論1: "この漁撈は匂わない"が導かれる
2. 事実1から、推論2: "もし仮に「この漁撈は匂うということはない」ということは嘘でないなら忘れっぽくなくてそれは太り易いということはない"が導かれる
3. 推論1と推論2から、推論3: "この漁撈は忘れっぽくなくてまたそれは太り易くない"が導かれる
4. 推論3から、仮説が導かれる

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