そのスクープは疑わしない
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: もしその加入意向性向がオイルセラピーでないしそれに疑わしないとするとそのスクープは疑わし
fact12 & fact15 -> int1: 「その加入意向性向は貧しくないし更に許し難くない」ということは成り立たない; int1 & fact17 -> int2: あの農村人は素晴らしい; int2 & fact1 -> int3: あの農村人は素晴らしいしまたひ弱い; int3 & fact8 -> int4: 「このＬＡＮカードは遣り兼ねらない」ということは成り立つ; int4 & fact23 -> int5: その居眠りは遣り兼ねるし情け深い; int5 & fact20 -> int6: そのシティホテルは御存じ無くない; int6 & fact4 -> int7: そのスクープは御存じ無くないしおまけにそれはライブカメラだということはない; fact9 -> int8: 仮にそのスクープが御存じ無いということはなくてそれはライブカメラでないならば疑わしない; int7 & int8 -> 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$ = 
fact12 & fact15 -> int1: 「その加入意向性向は貧しくないし更に許し難くない」ということは成り立たない; int1 & fact17 -> int2: あの農村人は素晴らしい; int2 & fact1 -> int3: あの農村人は素晴らしいしまたひ弱い; int3 & fact8 -> int4: 「このＬＡＮカードは遣り兼ねらない」ということは成り立つ; int4 & fact23 -> int5: その居眠りは遣り兼ねるし情け深い; int5 & fact20 -> int6: そのシティホテルは御存じ無くない; int6 & fact4 -> int7: そのスクープは御存じ無くないしおまけにそれはライブカメラだということはない; fact9 -> int8: 仮にそのスクープが御存じ無いということはなくてそれはライブカメラでないならば疑わしない; int7 & int8 -> hypothesis; __PROVED__
事実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. 事実12と事実15から、推論1: "「その加入意向性向は貧しくないし更に許し難くない」ということは成り立たない"が導かれる
2. 推論1と事実17から、推論2: "あの農村人は素晴らしい"が導かれる
3. 推論2と事実1から、推論3: "あの農村人は素晴らしいしまたひ弱い"が導かれる
4. 推論3と事実8から、推論4: "「このＬＡＮカードは遣り兼ねらない」ということは成り立つ"が導かれる
5. 推論4と事実23から、推論5: "その居眠りは遣り兼ねるし情け深い"が導かれる
6. 推論5と事実20から、推論6: "そのシティホテルは御存じ無くない"が導かれる
7. 推論6と事実4から、推論7: "そのスクープは御存じ無くないしおまけにそれはライブカメラだということはない"が導かれる
8. 事実9から、推論8: "仮にそのスクープが御存じ無いということはなくてそれはライブカメラでないならば疑わしない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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