その一号組合は引っ掻き回すということはない
fact1: 「この藁床は引っ掻き回さない」ということは確かだ fact2: もしもこのニンフが焼き打ちしないとするとそのトラック島は町娘であるし加えて切り盛りする fact3: もしもその一号組合が杓文字なら常連らしくない fact4: そのトラック島が町娘であるがそれが血糖コントロールでないとするとその社会事情は血糖コントロールでない fact5: もしその一号組合が老成するとすればそれは手厚くない fact6: もしその社会事情が血糖コントロールでないとしたらその一号組合は引っ掻き回すし更に底深い fact7: そのベンチャーズは君らしくない fact8: とある物は君らしくないとすると「焼き打ちするしその上それはぶつけない」ということは偽である fact9: その一号組合が引っ掻き回すとすればその代議機関は引っ掻き回す fact10: 仮に「「焼き打ちするしぶつけない」ということは間違いである」ものがあるとすればこのニンフは焼き打ちしない fact11: あの汽笛は引っ掻き回さない fact12: その一号組合は底深い fact13: もしその一号組合は底深いとすると「引っ掻き回さない」ということは本当である fact14: 「その一号組合は初心運転者講習である」ということは成り立つとしたら底深くない
fact13 & fact12 -> hypothesis;
fact13 & fact12 -> hypothesis;
その代議機関は底深い
$facts$ = fact1: 「この藁床は引っ掻き回さない」ということは確かだ fact2: もしもこのニンフが焼き打ちしないとするとそのトラック島は町娘であるし加えて切り盛りする fact3: もしもその一号組合が杓文字なら常連らしくない fact4: そのトラック島が町娘であるがそれが血糖コントロールでないとするとその社会事情は血糖コントロールでない fact5: もしその一号組合が老成するとすればそれは手厚くない fact6: もしその社会事情が血糖コントロールでないとしたらその一号組合は引っ掻き回すし更に底深い fact7: そのベンチャーズは君らしくない fact8: とある物は君らしくないとすると「焼き打ちするしその上それはぶつけない」ということは偽である fact9: その一号組合が引っ掻き回すとすればその代議機関は引っ掻き回す fact10: 仮に「「焼き打ちするしぶつけない」ということは間違いである」ものがあるとすればこのニンフは焼き打ちしない fact11: あの汽笛は引っ掻き回さない fact12: その一号組合は底深い fact13: もしその一号組合は底深いとすると「引っ掻き回さない」ということは本当である fact14: 「その一号組合は初心運転者講習である」ということは成り立つとしたら底深くない ; $hypothesis$ = その一号組合は引っ掻き回すということはない ; $proof$ = 
fact13 & fact12 -> hypothesis; __PROVED__
事実1: 「この藁床は引っ掻き回さない」ということは確かだ
事実2: もしもこのニンフが焼き打ちしないとするとそのトラック島は町娘であるし加えて切り盛りする
事実3: もしもその一号組合が杓文字なら常連らしくない
事実4: そのトラック島が町娘であるがそれが血糖コントロールでないとするとその社会事情は血糖コントロールでない
事実5: もしその一号組合が老成するとすればそれは手厚くない
事実6: もしその社会事情が血糖コントロールでないとしたらその一号組合は引っ掻き回すし更に底深い
事実7: そのベンチャーズは君らしくない
事実8: とある物は君らしくないとすると「焼き打ちするしその上それはぶつけない」ということは偽である
事実9: その一号組合が引っ掻き回すとすればその代議機関は引っ掻き回す
事実10: 仮に「「焼き打ちするしぶつけない」ということは間違いである」ものがあるとすればこのニンフは焼き打ちしない
事実11: あの汽笛は引っ掻き回さない
事実12: その一号組合は底深い
事実13: もしその一号組合は底深いとすると「引っ掻き回さない」ということは本当である
事実14: 「その一号組合は初心運転者講習である」ということは成り立つとしたら底深くない

仮説: その一号組合は引っ掻き回すということはない
1. 事実13と事実12から、仮説が導かれる

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