この各コントロールは口籠もる
fact1: もし仮になにがしかのものは広告宣伝費でないかまたはきったないかあるいは両方ともであるとするとそれは口籠もらない fact2: もし仮にその割り増し賃金が口籠もらないならこの各コントロールは広告宣伝費である fact3: もしもなんらかのものは課するとすれば「それは広告宣伝費であるしその上きったなくない」ということは成り立たない fact4: その中薬学は広告宣伝費であるということはない fact5: なにかはマスター出来ないならば情報交換しないしさらに課する fact6: この各コントロールは亀頭部であるとすると「朝市でないしさらにマスター出来ない」ということは成り立つ fact7: その割り増し賃金は広告宣伝費でない fact8: 仮にこの各コントロールが広告宣伝費でないとしたらその割り増し賃金は口籠もる fact9: この親戚中は広告宣伝費でない fact10: その割り増し賃金は口籠もらない fact11: その遺物は広告宣伝費だということはない fact12: この各コントロールはスポーツマンらしい fact13: そのパルス出力は口籠もるということはない fact14: 「もし仮に「何かは広告宣伝費だ一方できったなくない」ということは誤りならそれは口籠もらない」ということは本当である fact15: その割り増し賃金が広告宣伝費でないならこの各コントロールは口籠もる
fact15 & fact7 -> hypothesis;
fact15 & fact7 -> hypothesis;
この各コントロールは口籠もらない
fact17 -> int1: 仮に「この各コントロールは広告宣伝費だけれどそれはきったなくない」ということは誤っているなら口籠もらない; fact16 -> int2: 仮にこの各コントロールは課するなら「広告宣伝費であるがしかしきったないということはない」ということは事実と異なる; fact18 -> int3: もし仮にこの各コントロールがマスター出来ないとしたら情報交換しないがしかし課する;
$facts$ = fact1: もし仮になにがしかのものは広告宣伝費でないかまたはきったないかあるいは両方ともであるとするとそれは口籠もらない fact2: もし仮にその割り増し賃金が口籠もらないならこの各コントロールは広告宣伝費である fact3: もしもなんらかのものは課するとすれば「それは広告宣伝費であるしその上きったなくない」ということは成り立たない fact4: その中薬学は広告宣伝費であるということはない fact5: なにかはマスター出来ないならば情報交換しないしさらに課する fact6: この各コントロールは亀頭部であるとすると「朝市でないしさらにマスター出来ない」ということは成り立つ fact7: その割り増し賃金は広告宣伝費でない fact8: 仮にこの各コントロールが広告宣伝費でないとしたらその割り増し賃金は口籠もる fact9: この親戚中は広告宣伝費でない fact10: その割り増し賃金は口籠もらない fact11: その遺物は広告宣伝費だということはない fact12: この各コントロールはスポーツマンらしい fact13: そのパルス出力は口籠もるということはない fact14: 「もし仮に「何かは広告宣伝費だ一方できったなくない」ということは誤りならそれは口籠もらない」ということは本当である fact15: その割り増し賃金が広告宣伝費でないならこの各コントロールは口籠もる ; $hypothesis$ = この各コントロールは口籠もる ; $proof$ = 
fact15 & fact7 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは広告宣伝費でないかまたはきったないかあるいは両方ともであるとするとそれは口籠もらない
事実2: もし仮にその割り増し賃金が口籠もらないならこの各コントロールは広告宣伝費である
事実3: もしもなんらかのものは課するとすれば「それは広告宣伝費であるしその上きったなくない」ということは成り立たない
事実4: その中薬学は広告宣伝費であるということはない
事実5: なにかはマスター出来ないならば情報交換しないしさらに課する
事実6: この各コントロールは亀頭部であるとすると「朝市でないしさらにマスター出来ない」ということは成り立つ
事実7: その割り増し賃金は広告宣伝費でない
事実8: 仮にこの各コントロールが広告宣伝費でないとしたらその割り増し賃金は口籠もる
事実9: この親戚中は広告宣伝費でない
事実10: その割り増し賃金は口籠もらない
事実11: その遺物は広告宣伝費だということはない
事実12: この各コントロールはスポーツマンらしい
事実13: そのパルス出力は口籠もるということはない
事実14: 「もし仮に「何かは広告宣伝費だ一方できったなくない」ということは誤りならそれは口籠もらない」ということは本当である
事実15: その割り増し賃金が広告宣伝費でないならこの各コントロールは口籠もる

仮説: この各コントロールは口籠もる
1. 事実15と事実7から、仮説が導かれる

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