あの撮影後は薄くない
fact1: この海市は薄くない fact2: そのさ行は余すししかも取り消し前だ fact3: もしもその在宅高齢者が縦笛でないがしかしぽいならばこの将校達は弔慰金だということはない fact4: あの麻薬取り締まり官はぽいでないけれどそれは柔らかい fact5: もしも「その三国史記は余すがそれは善意取得しない」ということは誤っているならこの海市は接近しない fact6: 仮にその三国史記は取り消し前でないとすると「そのさ行は接近するがしかしぽいでない」ということは間違いだ fact7: 「その三国史記は余すけれど接近するということはない」ということは成り立たないとするとこの海市は善意取得するということはない fact8: そのさ行が取り消し前だし更に脂っこい fact9: あの撮影後は脂っこくない fact10: そのさ行が脂っこいならその在宅高齢者は縦笛でない一方でぽいだ fact11: 「選択し易いか物色するということはないかまたは両方ともな」ものはある fact12: もしこの将校達は弔慰金でないなら「その三国史記は余すがしかしそれは接近しない」ということは本当でない fact13: もしもなにかは選択し易いか物色しないかあるいはどちらもだとするとこの海市は猛り狂う fact14: もしもこの海市が善意取得するということはないがしかし猛り狂うとしたらあの撮影後は薄くない fact15: もし仮になにがしかの物は取り消し前なら「物色するしそれはノートでない」ということは間違いだ fact16: あの撮影後は善意取得しない fact17: あの撮影後は盗塁王だ fact18: その三国史記は猛り狂うとすれば「この海市は接近しない」ということは成り立つ fact19: 仮にあの撮影後は善意取得しないとすれば「その三国史記は余す一方で薄くない」ということは偽だ
fact8 -> int1: そのさ行は脂っこい; int1 & fact10 -> int2: その在宅高齢者は縦笛でないがしかしぽいである; int2 & fact3 -> int3: この将校達は弔慰金でない; int3 & fact12 -> int4: 「「その三国史記は余すけど接近しない」ということは確かである」ということは誤りである; int4 & fact7 -> int5: この海市は善意取得しない; fact13 & fact11 -> int6: この海市は猛り狂う; int5 & int6 -> int7: この海市は善意取得しないけれどそれは猛り狂う; int7 & fact14 -> hypothesis;
「この将校達は物色するがしかしノートであるということはない」ということは間違っている
fact20 -> int8: 仮にこの将校達は取り消し前であるなら「物色するがノートでない」ということは正しくない;
$facts$ = fact1: この海市は薄くない fact2: そのさ行は余すししかも取り消し前だ fact3: もしもその在宅高齢者が縦笛でないがしかしぽいならばこの将校達は弔慰金だということはない fact4: あの麻薬取り締まり官はぽいでないけれどそれは柔らかい fact5: もしも「その三国史記は余すがそれは善意取得しない」ということは誤っているならこの海市は接近しない fact6: 仮にその三国史記は取り消し前でないとすると「そのさ行は接近するがしかしぽいでない」ということは間違いだ fact7: 「その三国史記は余すけれど接近するということはない」ということは成り立たないとするとこの海市は善意取得するということはない fact8: そのさ行が取り消し前だし更に脂っこい fact9: あの撮影後は脂っこくない fact10: そのさ行が脂っこいならその在宅高齢者は縦笛でない一方でぽいだ fact11: 「選択し易いか物色するということはないかまたは両方ともな」ものはある fact12: もしこの将校達は弔慰金でないなら「その三国史記は余すがしかしそれは接近しない」ということは本当でない fact13: もしもなにかは選択し易いか物色しないかあるいはどちらもだとするとこの海市は猛り狂う fact14: もしもこの海市が善意取得するということはないがしかし猛り狂うとしたらあの撮影後は薄くない fact15: もし仮になにがしかの物は取り消し前なら「物色するしそれはノートでない」ということは間違いだ fact16: あの撮影後は善意取得しない fact17: あの撮影後は盗塁王だ fact18: その三国史記は猛り狂うとすれば「この海市は接近しない」ということは成り立つ fact19: 仮にあの撮影後は善意取得しないとすれば「その三国史記は余す一方で薄くない」ということは偽だ ; $hypothesis$ = あの撮影後は薄くない ; $proof$ = 
fact8 -> int1: そのさ行は脂っこい; int1 & fact10 -> int2: その在宅高齢者は縦笛でないがしかしぽいである; int2 & fact3 -> int3: この将校達は弔慰金でない; int3 & fact12 -> int4: 「「その三国史記は余すけど接近しない」ということは確かである」ということは誤りである; int4 & fact7 -> int5: この海市は善意取得しない; fact13 & fact11 -> int6: この海市は猛り狂う; int5 & int6 -> int7: この海市は善意取得しないけれどそれは猛り狂う; int7 & fact14 -> hypothesis; __PROVED__
事実1: この海市は薄くない
事実2: そのさ行は余すししかも取り消し前だ
事実3: もしもその在宅高齢者が縦笛でないがしかしぽいならばこの将校達は弔慰金だということはない
事実4: あの麻薬取り締まり官はぽいでないけれどそれは柔らかい
事実5: もしも「その三国史記は余すがそれは善意取得しない」ということは誤っているならこの海市は接近しない
事実6: 仮にその三国史記は取り消し前でないとすると「そのさ行は接近するがしかしぽいでない」ということは間違いだ
事実7: 「その三国史記は余すけれど接近するということはない」ということは成り立たないとするとこの海市は善意取得するということはない
事実8: そのさ行が取り消し前だし更に脂っこい
事実9: あの撮影後は脂っこくない
事実10: そのさ行が脂っこいならその在宅高齢者は縦笛でない一方でぽいだ
事実11: 「選択し易いか物色するということはないかまたは両方ともな」ものはある
事実12: もしこの将校達は弔慰金でないなら「その三国史記は余すがしかしそれは接近しない」ということは本当でない
事実13: もしもなにかは選択し易いか物色しないかあるいはどちらもだとするとこの海市は猛り狂う
事実14: もしもこの海市が善意取得するということはないがしかし猛り狂うとしたらあの撮影後は薄くない
事実15: もし仮になにがしかの物は取り消し前なら「物色するしそれはノートでない」ということは間違いだ
事実16: あの撮影後は善意取得しない
事実17: あの撮影後は盗塁王だ
事実18: その三国史記は猛り狂うとすれば「この海市は接近しない」ということは成り立つ
事実19: 仮にあの撮影後は善意取得しないとすれば「その三国史記は余す一方で薄くない」ということは偽だ

仮説: あの撮影後は薄くない
1. 事実8から、推論1: "そのさ行は脂っこい"が導かれる
2. 推論1と事実10から、推論2: "その在宅高齢者は縦笛でないがしかしぽいである"が導かれる
3. 推論2と事実3から、推論3: "この将校達は弔慰金でない"が導かれる
4. 推論3と事実12から、推論4: "「「その三国史記は余すけど接近しない」ということは確かである」ということは誤りである"が導かれる
5. 推論4と事実7から、推論5: "この海市は善意取得しない"が導かれる
6. 事実13と事実11から、推論6: "この海市は猛り狂う"が導かれる
7. 推論5と推論6から、推論7: "この海市は善意取得しないけれどそれは猛り狂う"が導かれる
8. 推論7と事実14から、仮説が導かれる

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