その担当以外は拉しない
fact1: このドナーカードは小暗いしユニオン号である fact2: もしもあのＯＦＦ‐ＪＴは出来難くて更に用心すれば「その担当以外は拉しない」ということは成り立つ fact3: もしその皮膚癌発生は商登法であるとすれば「それは慣れ切る」ということは正しい fact4: その担当以外はターンするということはない fact5: 仮に「この愛知県下はターンしない」ということは真実であるとしたらその上級者は出来難いけど用心しない fact6: もしも「等し」物はあるなら「あのＯＦＦ‐ＪＴは拉しないけれど出来難い」ということは成り立たない fact7: この治部は等し fact8: もしあるものが揺られないならそれは脂っこいということはないしかつそれはターンしない fact9: もし仮にこの愛知県下がターンしないならばその福は等しし加えて用心する fact10: もしその上級者は出来難いがしかし用心しないならば「それは喧嘩する」ということは事実と異ならない fact11: あのＯＦＦ‐ＪＴはターンする fact12: もしも「あの博士は等し」ということは成り立つとすれば膠原線維である fact13: あのＯＦＦ‐ＪＴが等しならば出来難い fact14: その担当以外は相前後する fact15: もし仮にその担当以外は洗い方であるとすればプランする fact16: この愛知県下は揺られない fact17: あのＯＦＦ‐ＪＴは等し fact18: 「あのＯＦＦ‐ＪＴはターンするし用心する」ということは事実である
fact13 & fact17 -> int1: あのＯＦＦ‐ＪＴは出来難い; fact18 -> int2: あのＯＦＦ‐ＪＴは用心する; int1 & int2 -> int3: 「あのＯＦＦ‐ＪＴは出来難いししかも用心する」ということは成り立つ; int3 & fact2 -> hypothesis;
fact13 & fact17 -> int1: {B}{a}; fact18 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact2 -> hypothesis;
その担当以外は拉する
fact21 -> int4: この愛知県下が揺られないとすればそれは脂っこくないしさらにターンしない; int4 & fact22 -> int5: この愛知県下は脂っこくないしターンしない; int5 -> int6: この愛知県下はターンしない; fact20 & int6 -> int7: その福は等ししさらにそれは用心する; int7 -> int8: その福は等し; int8 -> int9: ある物は等し; int9 & fact19 -> int10: 「あのＯＦＦ‐ＪＴは拉しないけれど出来難い」ということは偽だ; int10 -> int11: 「「拉しないけど出来難い」ということは誤りな」物はある;
$facts$ = fact1: このドナーカードは小暗いしユニオン号である fact2: もしもあのＯＦＦ‐ＪＴは出来難くて更に用心すれば「その担当以外は拉しない」ということは成り立つ fact3: もしその皮膚癌発生は商登法であるとすれば「それは慣れ切る」ということは正しい fact4: その担当以外はターンするということはない fact5: 仮に「この愛知県下はターンしない」ということは真実であるとしたらその上級者は出来難いけど用心しない fact6: もしも「等し」物はあるなら「あのＯＦＦ‐ＪＴは拉しないけれど出来難い」ということは成り立たない fact7: この治部は等し fact8: もしあるものが揺られないならそれは脂っこいということはないしかつそれはターンしない fact9: もし仮にこの愛知県下がターンしないならばその福は等しし加えて用心する fact10: もしその上級者は出来難いがしかし用心しないならば「それは喧嘩する」ということは事実と異ならない fact11: あのＯＦＦ‐ＪＴはターンする fact12: もしも「あの博士は等し」ということは成り立つとすれば膠原線維である fact13: あのＯＦＦ‐ＪＴが等しならば出来難い fact14: その担当以外は相前後する fact15: もし仮にその担当以外は洗い方であるとすればプランする fact16: この愛知県下は揺られない fact17: あのＯＦＦ‐ＪＴは等し fact18: 「あのＯＦＦ‐ＪＴはターンするし用心する」ということは事実である ; $hypothesis$ = その担当以外は拉しない ; $proof$ = 
fact13 & fact17 -> int1: あのＯＦＦ‐ＪＴは出来難い; fact18 -> int2: あのＯＦＦ‐ＪＴは用心する; int1 & int2 -> int3: 「あのＯＦＦ‐ＪＴは出来難いししかも用心する」ということは成り立つ; int3 & fact2 -> hypothesis; __PROVED__
事実1: このドナーカードは小暗いしユニオン号である
事実2: もしもあのＯＦＦ‐ＪＴは出来難くて更に用心すれば「その担当以外は拉しない」ということは成り立つ
事実3: もしその皮膚癌発生は商登法であるとすれば「それは慣れ切る」ということは正しい
事実4: その担当以外はターンするということはない
事実5: 仮に「この愛知県下はターンしない」ということは真実であるとしたらその上級者は出来難いけど用心しない
事実6: もしも「等し」物はあるなら「あのＯＦＦ‐ＪＴは拉しないけれど出来難い」ということは成り立たない
事実7: この治部は等し
事実8: もしあるものが揺られないならそれは脂っこいということはないしかつそれはターンしない
事実9: もし仮にこの愛知県下がターンしないならばその福は等しし加えて用心する
事実10: もしその上級者は出来難いがしかし用心しないならば「それは喧嘩する」ということは事実と異ならない
事実11: あのＯＦＦ‐ＪＴはターンする
事実12: もしも「あの博士は等し」ということは成り立つとすれば膠原線維である
事実13: あのＯＦＦ‐ＪＴが等しならば出来難い
事実14: その担当以外は相前後する
事実15: もし仮にその担当以外は洗い方であるとすればプランする
事実16: この愛知県下は揺られない
事実17: あのＯＦＦ‐ＪＴは等し
事実18: 「あのＯＦＦ‐ＪＴはターンするし用心する」ということは事実である

仮説: その担当以外は拉しない
1. 事実13と事実17から、推論1: "あのＯＦＦ‐ＪＴは出来難い"が導かれる
2. 事実18から、推論2: "あのＯＦＦ‐ＪＴは用心する"が導かれる
3. 推論1と推論2から、推論3: "「あのＯＦＦ‐ＪＴは出来難いししかも用心する」ということは成り立つ"が導かれる
4. 推論3と事実2から、仮説が導かれる

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