このウは流し入れない
fact1: 仮にこの予科練習生はシャッター速度でないけど姦しいとするとそれは王子稲荷だ fact2: 仮にこのウは記者会見するなら「それは植栽しない」ということは確かだ fact3: このＯ型は用ゆけど青年社員でない fact4: あの競合店調査は汚れ難くないが聡い fact5: もし仮にこのＯ型がシャッター速度でないとすればこの予科練習生は送り迎えする fact6: この予科練習生は貸せるとすると「姦しくない」ということは真実だ fact7: 仮にこの予科練習生が送り迎えするけど貸せないとしたらこのＯ型は姦しい fact8: この予科練習生はシャッター速度でない fact9: この予科練習生が青年社員でないがそれが流し入れるとしたらこのウは流し入れない fact10: もしこのＯ型が姦しくないとしたらこの予科練習生は貸せる一方で姦しくない fact11: 仮にこのＯ型が貸せるけれどそれが送り迎えするということはないならばあのウは流し入れる fact12: 「この予科練習生は青年社員である」ということは事実である fact13: あのグルタミン酸は貸せるということはないがしかしばあかしい fact14: このＯ型が王子稲荷であるということはないならばこの予科練習生は送り迎えする一方で王子稲荷でない fact15: もしもこの予科練習生は貸せるとしたら「シャッター速度でないが姦しい」ということは確かである fact16: 仮にこのＣＩＴは貸せれば「このＯ型は王子稲荷だが送り迎えしない」ということは間違いである fact17: このウは不同でない fact18: 仮にこの予科練習生が青年社員であるとしたらシャッター速度でなくてしかも姦しい fact19: あの担保は姦しい fact20: 仮にこのＯ型が青年社員であるということはないとすればあの予科練習生は流し入れないか王子稲荷でないか両方ともである fact21: この予科練習生は王子稲荷であるならばそれは送り迎えしない fact22: もしこのＯ型が姦しい一方で貸せないとするとこの予科練習生はシャッター速度だ fact23: このＯ型は貸せる fact24: この予科練習生はごり押しだけれど貸せるということはない fact25: もしこの予科練習生が送り迎えしないとすればこのＯ型は貸せる一方でそれは送り迎えしない fact26: このウは青年社員でない
fact18 & fact12 -> int1: この予科練習生はシャッター速度でないがしかし姦しい; int1 & fact1 -> int2: この予科練習生は王子稲荷だ; int2 & fact21 -> int3: この予科練習生は送り迎えしない; int3 & fact25 -> int4: このＯ型は貸せるがしかし送り迎えしない; int4 & fact11 -> hypothesis;
このウは流し入れない
$facts$ = fact1: 仮にこの予科練習生はシャッター速度でないけど姦しいとするとそれは王子稲荷だ fact2: 仮にこのウは記者会見するなら「それは植栽しない」ということは確かだ fact3: このＯ型は用ゆけど青年社員でない fact4: あの競合店調査は汚れ難くないが聡い fact5: もし仮にこのＯ型がシャッター速度でないとすればこの予科練習生は送り迎えする fact6: この予科練習生は貸せるとすると「姦しくない」ということは真実だ fact7: 仮にこの予科練習生が送り迎えするけど貸せないとしたらこのＯ型は姦しい fact8: この予科練習生はシャッター速度でない fact9: この予科練習生が青年社員でないがそれが流し入れるとしたらこのウは流し入れない fact10: もしこのＯ型が姦しくないとしたらこの予科練習生は貸せる一方で姦しくない fact11: 仮にこのＯ型が貸せるけれどそれが送り迎えするということはないならばあのウは流し入れる fact12: 「この予科練習生は青年社員である」ということは事実である fact13: あのグルタミン酸は貸せるということはないがしかしばあかしい fact14: このＯ型が王子稲荷であるということはないならばこの予科練習生は送り迎えする一方で王子稲荷でない fact15: もしもこの予科練習生は貸せるとしたら「シャッター速度でないが姦しい」ということは確かである fact16: 仮にこのＣＩＴは貸せれば「このＯ型は王子稲荷だが送り迎えしない」ということは間違いである fact17: このウは不同でない fact18: 仮にこの予科練習生が青年社員であるとしたらシャッター速度でなくてしかも姦しい fact19: あの担保は姦しい fact20: 仮にこのＯ型が青年社員であるということはないとすればあの予科練習生は流し入れないか王子稲荷でないか両方ともである fact21: この予科練習生は王子稲荷であるならばそれは送り迎えしない fact22: もしこのＯ型が姦しい一方で貸せないとするとこの予科練習生はシャッター速度だ fact23: このＯ型は貸せる fact24: この予科練習生はごり押しだけれど貸せるということはない fact25: もしこの予科練習生が送り迎えしないとすればこのＯ型は貸せる一方でそれは送り迎えしない fact26: このウは青年社員でない ; $hypothesis$ = このウは流し入れない ; $proof$ = 
fact18 & fact12 -> int1: この予科練習生はシャッター速度でないがしかし姦しい; int1 & fact1 -> int2: この予科練習生は王子稲荷だ; int2 & fact21 -> int3: この予科練習生は送り迎えしない; int3 & fact25 -> int4: このＯ型は貸せるがしかし送り迎えしない; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にこの予科練習生はシャッター速度でないけど姦しいとするとそれは王子稲荷だ
事実2: 仮にこのウは記者会見するなら「それは植栽しない」ということは確かだ
事実3: このＯ型は用ゆけど青年社員でない
事実4: あの競合店調査は汚れ難くないが聡い
事実5: もし仮にこのＯ型がシャッター速度でないとすればこの予科練習生は送り迎えする
事実6: この予科練習生は貸せるとすると「姦しくない」ということは真実だ
事実7: 仮にこの予科練習生が送り迎えするけど貸せないとしたらこのＯ型は姦しい
事実8: この予科練習生はシャッター速度でない
事実9: この予科練習生が青年社員でないがそれが流し入れるとしたらこのウは流し入れない
事実10: もしこのＯ型が姦しくないとしたらこの予科練習生は貸せる一方で姦しくない
事実11: 仮にこのＯ型が貸せるけれどそれが送り迎えするということはないならばあのウは流し入れる
事実12: 「この予科練習生は青年社員である」ということは事実である
事実13: あのグルタミン酸は貸せるということはないがしかしばあかしい
事実14: このＯ型が王子稲荷であるということはないならばこの予科練習生は送り迎えする一方で王子稲荷でない
事実15: もしもこの予科練習生は貸せるとしたら「シャッター速度でないが姦しい」ということは確かである
事実16: 仮にこのＣＩＴは貸せれば「このＯ型は王子稲荷だが送り迎えしない」ということは間違いである
事実17: このウは不同でない
事実18: 仮にこの予科練習生が青年社員であるとしたらシャッター速度でなくてしかも姦しい
事実19: あの担保は姦しい
事実20: 仮にこのＯ型が青年社員であるということはないとすればあの予科練習生は流し入れないか王子稲荷でないか両方ともである
事実21: この予科練習生は王子稲荷であるならばそれは送り迎えしない
事実22: もしこのＯ型が姦しい一方で貸せないとするとこの予科練習生はシャッター速度だ
事実23: このＯ型は貸せる
事実24: この予科練習生はごり押しだけれど貸せるということはない
事実25: もしこの予科練習生が送り迎えしないとすればこのＯ型は貸せる一方でそれは送り迎えしない
事実26: このウは青年社員でない

仮説: このウは流し入れない
1. 事実18と事実12から、推論1: "この予科練習生はシャッター速度でないがしかし姦しい"が導かれる
2. 推論1と事実1から、推論2: "この予科練習生は王子稲荷だ"が導かれる
3. 推論2と事実21から、推論3: "この予科練習生は送り迎えしない"が導かれる
4. 推論3と事実25から、推論4: "このＯ型は貸せるがしかし送り迎えしない"が導かれる
5. 推論4と事実11から、仮説が否定される

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