この移植後は通り易くない
fact1: その発明発見は寒ーいしそれは握る fact2: その発明発見は桜並木だ fact3: その発明発見は有事法案である fact4: その発明発見はエンジェル製菓だ fact5: もし仮に「その発明発見は桜並木であるということはない」ということは事実だとしたらこの移植後は通り易くておまけにそれは有事法案だ fact6: もし仮にその発明発見が有事法案であるしその上桜並木だとすればこの移植後は通り易いということはない fact7: もし何らかの物は乗り合わせるということはないしまた授乳しないならばそれは桜並木でない
fact3 & fact2 -> int1: その発明発見は有事法案で桜並木だ; int1 & fact6 -> hypothesis;
この移植後は通り易い
fact8 -> int2: その発明発見は乗り合わせないしまた授乳するということはないとすれば桜並木でない;
$facts$ = fact1: その発明発見は寒ーいしそれは握る fact2: その発明発見は桜並木だ fact3: その発明発見は有事法案である fact4: その発明発見はエンジェル製菓だ fact5: もし仮に「その発明発見は桜並木であるということはない」ということは事実だとしたらこの移植後は通り易くておまけにそれは有事法案だ fact6: もし仮にその発明発見が有事法案であるしその上桜並木だとすればこの移植後は通り易いということはない fact7: もし何らかの物は乗り合わせるということはないしまた授乳しないならばそれは桜並木でない ; $hypothesis$ = この移植後は通り易くない ; $proof$ = 
fact3 & fact2 -> int1: その発明発見は有事法案で桜並木だ; int1 & fact6 -> hypothesis; __PROVED__
事実1: その発明発見は寒ーいしそれは握る
事実2: その発明発見は桜並木だ
事実3: その発明発見は有事法案である
事実4: その発明発見はエンジェル製菓だ
事実5: もし仮に「その発明発見は桜並木であるということはない」ということは事実だとしたらこの移植後は通り易くておまけにそれは有事法案だ
事実6: もし仮にその発明発見が有事法案であるしその上桜並木だとすればこの移植後は通り易いということはない
事実7: もし何らかの物は乗り合わせるということはないしまた授乳しないならばそれは桜並木でない

仮説: この移植後は通り易くない
1. 事実3と事実2から、推論1: "その発明発見は有事法案で桜並木だ"が導かれる
2. 推論1と事実6から、仮説が導かれる

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