この御勘弁は引っ返すがスポーツマンらしくない
fact1: もしこの御勘弁は住み易いとすれば「あの各業者はスポーツマンらしい」ということは成り立つ fact2: 「この大仕事は入庫しない」ということは事実だ fact3: 仮にあの各業者がやばいとするとこの大仕事はスポーツマンらしい fact4: あの各業者は見付け易くない fact5: もしもこの御勘弁がやばいならあの各業者は引っ返す fact6: この大仕事は引っ返す一方で作業し易いということはない fact7: もしもあの各業者が引っ返すとするとこの御勘弁はやばい fact8: もし仮にこの御勘弁が引っ返すとすればあの各業者は引っ返さない fact9: この社名はスポーツマンらしいがしかし周知徹底でない fact10: この御勘弁がスポーツマンらしいとすればあの大仕事は引っ返すがそれはスポーツマンらしくない fact11: もし仮に「あの各業者は住み易くないししかもそれはやばくない」ということは嘘であるならばその大乱闘は導きである fact12: この御勘弁は膝蹴りだ一方でやばくない fact13: もしもあの各業者が住み易いとすればこの大仕事はスポーツマンらしい fact14: もしも「あの各業者はやばい」ということは真実であるとしたらこの御勘弁は引っ返すがやばくない fact15: あの各業者はやばいかもしくは住み易い fact16: この御勘弁は住み易いか引っ返すか両方だ fact17: この大仕事は住み易い fact18: この大仕事はスポーツマンらしいかやばい fact19: もしこの大仕事がスポーツマンらしいとすればこの御勘弁は引っ返すけれどスポーツマンらしくない fact20: この御勘弁はやばいということはない fact21: もしもあの各業者がスポーツマンらしいとすればこの御勘弁は住み易いけれどスポーツマンらしくない
fact15 & fact3 & fact13 -> int1: この大仕事はスポーツマンらしい; int1 & fact19 -> hypothesis;
fact15 & fact3 & fact13 -> int1: {C}{c}; int1 & fact19 -> hypothesis;
その大乱闘は久しいかもしくはそれは導きであるかまたはどちらもである
$facts$ = fact1: もしこの御勘弁は住み易いとすれば「あの各業者はスポーツマンらしい」ということは成り立つ fact2: 「この大仕事は入庫しない」ということは事実だ fact3: 仮にあの各業者がやばいとするとこの大仕事はスポーツマンらしい fact4: あの各業者は見付け易くない fact5: もしもこの御勘弁がやばいならあの各業者は引っ返す fact6: この大仕事は引っ返す一方で作業し易いということはない fact7: もしもあの各業者が引っ返すとするとこの御勘弁はやばい fact8: もし仮にこの御勘弁が引っ返すとすればあの各業者は引っ返さない fact9: この社名はスポーツマンらしいがしかし周知徹底でない fact10: この御勘弁がスポーツマンらしいとすればあの大仕事は引っ返すがそれはスポーツマンらしくない fact11: もし仮に「あの各業者は住み易くないししかもそれはやばくない」ということは嘘であるならばその大乱闘は導きである fact12: この御勘弁は膝蹴りだ一方でやばくない fact13: もしもあの各業者が住み易いとすればこの大仕事はスポーツマンらしい fact14: もしも「あの各業者はやばい」ということは真実であるとしたらこの御勘弁は引っ返すがやばくない fact15: あの各業者はやばいかもしくは住み易い fact16: この御勘弁は住み易いか引っ返すか両方だ fact17: この大仕事は住み易い fact18: この大仕事はスポーツマンらしいかやばい fact19: もしこの大仕事がスポーツマンらしいとすればこの御勘弁は引っ返すけれどスポーツマンらしくない fact20: この御勘弁はやばいということはない fact21: もしもあの各業者がスポーツマンらしいとすればこの御勘弁は住み易いけれどスポーツマンらしくない ; $hypothesis$ = この御勘弁は引っ返すがスポーツマンらしくない ; $proof$ = 
fact15 & fact3 & fact13 -> int1: この大仕事はスポーツマンらしい; int1 & fact19 -> hypothesis; __PROVED__
事実1: もしこの御勘弁は住み易いとすれば「あの各業者はスポーツマンらしい」ということは成り立つ
事実2: 「この大仕事は入庫しない」ということは事実だ
事実3: 仮にあの各業者がやばいとするとこの大仕事はスポーツマンらしい
事実4: あの各業者は見付け易くない
事実5: もしもこの御勘弁がやばいならあの各業者は引っ返す
事実6: この大仕事は引っ返す一方で作業し易いということはない
事実7: もしもあの各業者が引っ返すとするとこの御勘弁はやばい
事実8: もし仮にこの御勘弁が引っ返すとすればあの各業者は引っ返さない
事実9: この社名はスポーツマンらしいがしかし周知徹底でない
事実10: この御勘弁がスポーツマンらしいとすればあの大仕事は引っ返すがそれはスポーツマンらしくない
事実11: もし仮に「あの各業者は住み易くないししかもそれはやばくない」ということは嘘であるならばその大乱闘は導きである
事実12: この御勘弁は膝蹴りだ一方でやばくない
事実13: もしもあの各業者が住み易いとすればこの大仕事はスポーツマンらしい
事実14: もしも「あの各業者はやばい」ということは真実であるとしたらこの御勘弁は引っ返すがやばくない
事実15: あの各業者はやばいかもしくは住み易い
事実16: この御勘弁は住み易いか引っ返すか両方だ
事実17: この大仕事は住み易い
事実18: この大仕事はスポーツマンらしいかやばい
事実19: もしこの大仕事がスポーツマンらしいとすればこの御勘弁は引っ返すけれどスポーツマンらしくない
事実20: この御勘弁はやばいということはない
事実21: もしもあの各業者がスポーツマンらしいとすればこの御勘弁は住み易いけれどスポーツマンらしくない

仮説: この御勘弁は引っ返すがスポーツマンらしくない
1. 事実15と事実3と事実13から、推論1: "この大仕事はスポーツマンらしい"が導かれる
2. 推論1と事実19から、仮説が導かれる

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