この小男は透かす
fact1: もしとあるものが生み付けないとするとそれは透かすかあるいは滑空する fact2: この小男は弱々しかない fact3: この小男は生み付ける fact4: もし仮にあるものが滑空するということはないならば透かすし生み付ける fact5: その限定付きは攻撃し易いしかつ投資会社法だ fact6: この書証は生み付ける fact7: もしこの小男は滑空するし透かすなら「このクラウド・ナインは生み付けるということはない」ということは真実だ fact8: このクラウド・ナインは生み付けるししかも滑空するとすれば「この小男は透かさない」ということは確かである fact9: この小男は可視化しない fact10: もし仮にこの小男が滑空するし加えて生み付けるとしたらこのクラウド・ナインは透かさない fact11: この万国は滑空しない fact12: このクラウド・ナインは生み付ける fact13: このクラウド・ナインは滑空する
fact12 & fact13 -> int1: このクラウド・ナインは生み付けるし滑空する; int1 & fact8 -> hypothesis;
fact12 & fact13 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> hypothesis;
この秋祭りは透かす
fact14 -> int2: この秋祭りが滑空しないならば透かすしそれに生み付ける;
$facts$ = fact1: もしとあるものが生み付けないとするとそれは透かすかあるいは滑空する fact2: この小男は弱々しかない fact3: この小男は生み付ける fact4: もし仮にあるものが滑空するということはないならば透かすし生み付ける fact5: その限定付きは攻撃し易いしかつ投資会社法だ fact6: この書証は生み付ける fact7: もしこの小男は滑空するし透かすなら「このクラウド・ナインは生み付けるということはない」ということは真実だ fact8: このクラウド・ナインは生み付けるししかも滑空するとすれば「この小男は透かさない」ということは確かである fact9: この小男は可視化しない fact10: もし仮にこの小男が滑空するし加えて生み付けるとしたらこのクラウド・ナインは透かさない fact11: この万国は滑空しない fact12: このクラウド・ナインは生み付ける fact13: このクラウド・ナインは滑空する ; $hypothesis$ = この小男は透かす ; $proof$ = 
fact12 & fact13 -> int1: このクラウド・ナインは生み付けるし滑空する; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もしとあるものが生み付けないとするとそれは透かすかあるいは滑空する
事実2: この小男は弱々しかない
事実3: この小男は生み付ける
事実4: もし仮にあるものが滑空するということはないならば透かすし生み付ける
事実5: その限定付きは攻撃し易いしかつ投資会社法だ
事実6: この書証は生み付ける
事実7: もしこの小男は滑空するし透かすなら「このクラウド・ナインは生み付けるということはない」ということは真実だ
事実8: このクラウド・ナインは生み付けるししかも滑空するとすれば「この小男は透かさない」ということは確かである
事実9: この小男は可視化しない
事実10: もし仮にこの小男が滑空するし加えて生み付けるとしたらこのクラウド・ナインは透かさない
事実11: この万国は滑空しない
事実12: このクラウド・ナインは生み付ける
事実13: このクラウド・ナインは滑空する

仮説: この小男は透かす
1. 事実12と事実13から、推論1: "このクラウド・ナインは生み付けるし滑空する"が導かれる
2. 推論1と事実8から、仮説が否定される

よって、仮説が否定されました。