「その全員は滲み始めるがしかし光文社文庫でない」ということは真実だ
fact1: その全員は新規性喪失でない fact2: もしもその全員が囁き返さないとするとそれは温かくない fact3: その全員が物珍しくないとすれば滲み始めるし更にそれは光文社文庫でない fact4: もし仮にこの学校文法が物珍しい一方でそれは仕切らないならば「それは企てない」ということは事実だ fact5: 仮にその全員は光文社文庫でないならそれは香しかない fact6: その全員は囁き返さなくて成功ロールだということはない fact7: この新機軸創出は記載・記録しないしまたけばけばしくない fact8: もしその全員は囁き返さなくて成功ロールでないとしたら「それは物珍しくない」ということは事実である fact9: もしもあの芽摘み・葉透かしは売り込みでないならば現われ始めない
fact8 & fact6 -> int1: その全員は物珍しいということはない; int1 & fact3 -> hypothesis;
fact8 & fact6 -> int1: ¬{B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: その全員は新規性喪失でない fact2: もしもその全員が囁き返さないとするとそれは温かくない fact3: その全員が物珍しくないとすれば滲み始めるし更にそれは光文社文庫でない fact4: もし仮にこの学校文法が物珍しい一方でそれは仕切らないならば「それは企てない」ということは事実だ fact5: 仮にその全員は光文社文庫でないならそれは香しかない fact6: その全員は囁き返さなくて成功ロールだということはない fact7: この新機軸創出は記載・記録しないしまたけばけばしくない fact8: もしその全員は囁き返さなくて成功ロールでないとしたら「それは物珍しくない」ということは事実である fact9: もしもあの芽摘み・葉透かしは売り込みでないならば現われ始めない ; $hypothesis$ = 「その全員は滲み始めるがしかし光文社文庫でない」ということは真実だ ; $proof$ = 
fact8 & fact6 -> int1: その全員は物珍しいということはない; int1 & fact3 -> hypothesis; __PROVED__
事実1: その全員は新規性喪失でない
事実2: もしもその全員が囁き返さないとするとそれは温かくない
事実3: その全員が物珍しくないとすれば滲み始めるし更にそれは光文社文庫でない
事実4: もし仮にこの学校文法が物珍しい一方でそれは仕切らないならば「それは企てない」ということは事実だ
事実5: 仮にその全員は光文社文庫でないならそれは香しかない
事実6: その全員は囁き返さなくて成功ロールだということはない
事実7: この新機軸創出は記載・記録しないしまたけばけばしくない
事実8: もしその全員は囁き返さなくて成功ロールでないとしたら「それは物珍しくない」ということは事実である
事実9: もしもあの芽摘み・葉透かしは売り込みでないならば現われ始めない

仮説: 「その全員は滲み始めるがしかし光文社文庫でない」ということは真実だ
1. 事実8と事実6から、推論1: "その全員は物珍しいということはない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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