その新書は咳き込まない
fact1: 心深くない物は咳き込むししかも新監督就任である fact2: もし仮にその新書が招き易くないがそれが軽挙妄動だとするとそれは咳き込まない fact3: その新書は招き易くないしそれに軽挙妄動でない fact4: もしその新書が招き易くないしさらにそれは軽挙妄動でないなら咳き込まない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
その新書は咳き込む
fact5 -> int1: 仮にその新書が心深しということはないならそれは咳き込むししかも新監督就任だ;
$facts$ = fact1: 心深くない物は咳き込むししかも新監督就任である fact2: もし仮にその新書が招き易くないがそれが軽挙妄動だとするとそれは咳き込まない fact3: その新書は招き易くないしそれに軽挙妄動でない fact4: もしその新書が招き易くないしさらにそれは軽挙妄動でないなら咳き込まない ; $hypothesis$ = その新書は咳き込まない ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: 心深くない物は咳き込むししかも新監督就任である
事実2: もし仮にその新書が招き易くないがそれが軽挙妄動だとするとそれは咳き込まない
事実3: その新書は招き易くないしそれに軽挙妄動でない
事実4: もしその新書が招き易くないしさらにそれは軽挙妄動でないなら咳き込まない

仮説: その新書は咳き込まない
1. 事実4と事実3から、仮説が導かれる

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