「痩せ難くないがしかし青臭い」ものはある
fact1: もし仮にこの敏が痩せ難いとすればあの句点は痩せ難くない一方で青臭い fact2: とある物は抵抗出来るしまた荒っぽい fact3: もし仮にこの敏が痩せ難いとしたらこの句点は痩せ難くない fact4: 「抵抗出来る」ものはある fact5: とある物が抵抗出来る一方で荒っぽくないとしたらあの用途は化粧品である fact6: この句点は痩せ難くない fact7: もしあの馴染み幅が抵抗出来ないならばその動静脈酸素較差は抵抗出来る一方で荒っぽくない fact8: 仮に「あの用途は化粧品だ」ということは正しいとすればあの敏は痩せ難い fact9: あるものは痩せ難くてそれは青臭い fact10: 痩せ難いということはない物はある fact11: あの馴染み幅は御茶の水書房でなくてまた抵抗出来ない fact12: なんらかの物が化粧品でないとするとそれは御茶の水書房であるし更にそれは抵抗出来る fact13: ある物は荒っぽくない fact14: もしもこの句点が御茶の水書房であるとするとあの馴染み幅は痩せ難い fact15: その動静脈酸素較差は抵抗出来る
fact11 -> int1: あの馴染み幅は抵抗出来ない; int1 & fact7 -> int2: その動静脈酸素較差は抵抗出来るけど荒っぽくない; int2 -> int3: 「抵抗出来るし荒っぽいということはない」ものはある; int3 & fact5 -> int4: あの用途は化粧品である; int4 & fact8 -> int5: この敏は痩せ難い; int5 & fact1 -> int6: この句点は痩せ難くないがしかし青臭い; int6 -> hypothesis;
「妻せるしポリ紐でない」ものはある
fact16 -> int7: その動静脈酸素較差が化粧品であるということはないとすると御茶の水書房であるし更に抵抗出来る;
$facts$ = fact1: もし仮にこの敏が痩せ難いとすればあの句点は痩せ難くない一方で青臭い fact2: とある物は抵抗出来るしまた荒っぽい fact3: もし仮にこの敏が痩せ難いとしたらこの句点は痩せ難くない fact4: 「抵抗出来る」ものはある fact5: とある物が抵抗出来る一方で荒っぽくないとしたらあの用途は化粧品である fact6: この句点は痩せ難くない fact7: もしあの馴染み幅が抵抗出来ないならばその動静脈酸素較差は抵抗出来る一方で荒っぽくない fact8: 仮に「あの用途は化粧品だ」ということは正しいとすればあの敏は痩せ難い fact9: あるものは痩せ難くてそれは青臭い fact10: 痩せ難いということはない物はある fact11: あの馴染み幅は御茶の水書房でなくてまた抵抗出来ない fact12: なんらかの物が化粧品でないとするとそれは御茶の水書房であるし更にそれは抵抗出来る fact13: ある物は荒っぽくない fact14: もしもこの句点が御茶の水書房であるとするとあの馴染み幅は痩せ難い fact15: その動静脈酸素較差は抵抗出来る ; $hypothesis$ = 「痩せ難くないがしかし青臭い」ものはある ; $proof$ = 
fact11 -> int1: あの馴染み幅は抵抗出来ない; int1 & fact7 -> int2: その動静脈酸素較差は抵抗出来るけど荒っぽくない; int2 -> int3: 「抵抗出来るし荒っぽいということはない」ものはある; int3 & fact5 -> int4: あの用途は化粧品である; int4 & fact8 -> int5: この敏は痩せ難い; int5 & fact1 -> int6: この句点は痩せ難くないがしかし青臭い; int6 -> hypothesis; __PROVED__
事実1: もし仮にこの敏が痩せ難いとすればあの句点は痩せ難くない一方で青臭い
事実2: とある物は抵抗出来るしまた荒っぽい
事実3: もし仮にこの敏が痩せ難いとしたらこの句点は痩せ難くない
事実4: 「抵抗出来る」ものはある
事実5: とある物が抵抗出来る一方で荒っぽくないとしたらあの用途は化粧品である
事実6: この句点は痩せ難くない
事実7: もしあの馴染み幅が抵抗出来ないならばその動静脈酸素較差は抵抗出来る一方で荒っぽくない
事実8: 仮に「あの用途は化粧品だ」ということは正しいとすればあの敏は痩せ難い
事実9: あるものは痩せ難くてそれは青臭い
事実10: 痩せ難いということはない物はある
事実11: あの馴染み幅は御茶の水書房でなくてまた抵抗出来ない
事実12: なんらかの物が化粧品でないとするとそれは御茶の水書房であるし更にそれは抵抗出来る
事実13: ある物は荒っぽくない
事実14: もしもこの句点が御茶の水書房であるとするとあの馴染み幅は痩せ難い
事実15: その動静脈酸素較差は抵抗出来る

仮説: 「痩せ難くないがしかし青臭い」ものはある
1. 事実11から、推論1: "あの馴染み幅は抵抗出来ない"が導かれる
2. 推論1と事実7から、推論2: "その動静脈酸素較差は抵抗出来るけど荒っぽくない"が導かれる
3. 推論2から、推論3: "「抵抗出来るし荒っぽいということはない」ものはある"が導かれる
4. 推論3と事実5から、推論4: "あの用途は化粧品である"が導かれる
5. 推論4と事実8から、推論5: "この敏は痩せ難い"が導かれる
6. 推論5と事実1から、推論6: "この句点は痩せ難くないがしかし青臭い"が導かれる
7. 推論6から、仮説が導かれる

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