この帳はちっちゃくない
fact1: もし仮にあの静脈内麻酔薬が厳めしかないならこの帳は痛々しいしそれにちっちゃい fact2: この帳は越境する一方で僻みっぽくない fact3: もしもこの帳はヘテログリカンであるがしかしイラク市民でないならちっちゃくない fact4: その義兄ちゃんは越境しない fact5: この帳は対処出来ない fact6: 痛々しい物はバッグだが越境しない fact7: もしもその挿入場所がペースであるがしかしそれが僻みっぽいということはないとしたら販売するということはない fact8: もしこの帳は越境するしそれに僻みっぽいとすればちっちゃくない fact9: もし仮にこの帳が越境する一方で僻みっぽくないとすればちっちゃいということはない fact10: この帳は僻みっぽくない fact11: もしもとある物が口分ならばそれは厳めしいかまたはちっちゃくない fact12: もし仮にこの帳は聞き易くないし長しないとしたらそれは口分である fact13: この伝道活動は僻みっぽくない
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
「その一形態はバッグであるがしかし越境しない」ということは成り立つ
fact15 -> int1: もしもその一形態が痛々しいならそれはバッグであるしおまけにそれは越境しない; fact16 -> int2: もし仮にこの帳が口分だとしたらそれは厳めしいかまたはそれはちっちゃくないかどちらもだ;
$facts$ = fact1: もし仮にあの静脈内麻酔薬が厳めしかないならこの帳は痛々しいしそれにちっちゃい fact2: この帳は越境する一方で僻みっぽくない fact3: もしもこの帳はヘテログリカンであるがしかしイラク市民でないならちっちゃくない fact4: その義兄ちゃんは越境しない fact5: この帳は対処出来ない fact6: 痛々しい物はバッグだが越境しない fact7: もしもその挿入場所がペースであるがしかしそれが僻みっぽいということはないとしたら販売するということはない fact8: もしこの帳は越境するしそれに僻みっぽいとすればちっちゃくない fact9: もし仮にこの帳が越境する一方で僻みっぽくないとすればちっちゃいということはない fact10: この帳は僻みっぽくない fact11: もしもとある物が口分ならばそれは厳めしいかまたはちっちゃくない fact12: もし仮にこの帳は聞き易くないし長しないとしたらそれは口分である fact13: この伝道活動は僻みっぽくない ; $hypothesis$ = この帳はちっちゃくない ; $proof$ = 
fact9 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にあの静脈内麻酔薬が厳めしかないならこの帳は痛々しいしそれにちっちゃい
事実2: この帳は越境する一方で僻みっぽくない
事実3: もしもこの帳はヘテログリカンであるがしかしイラク市民でないならちっちゃくない
事実4: その義兄ちゃんは越境しない
事実5: この帳は対処出来ない
事実6: 痛々しい物はバッグだが越境しない
事実7: もしもその挿入場所がペースであるがしかしそれが僻みっぽいということはないとしたら販売するということはない
事実8: もしこの帳は越境するしそれに僻みっぽいとすればちっちゃくない
事実9: もし仮にこの帳が越境する一方で僻みっぽくないとすればちっちゃいということはない
事実10: この帳は僻みっぽくない
事実11: もしもとある物が口分ならばそれは厳めしいかまたはちっちゃくない
事実12: もし仮にこの帳は聞き易くないし長しないとしたらそれは口分である
事実13: この伝道活動は僻みっぽくない

仮説: この帳はちっちゃくない
1. 事実9と事実2から、仮説が導かれる

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