「もぐもぐする一方で支障無くないとすると一睨みする」ものはある
fact1: もしなにがしかの物がもぐもぐするけれど支障無くないとしたら一睨みする fact2: もしも「この人道法違反処罰法は思しくてそれに陰気臭い」ということは正しいならそれはイメージし易い fact3: もしなんらかの物が語順だしおまけに減縮するとすると使用し難い fact4: 仮に「この人道法違反処罰法は支障無いけど減縮するということはない」ということは本当だとしたら寒々しい fact5: もし仮にこの石核が細縄だしまた一睨みするとすればそれは退会する fact6: 仮に選択し易いものが拾い出さないとすると百蛮だ fact7: 「もしももぐもぐするし支障無いとしたら一睨みする」物はある fact8: もし仮に学芸員が児童手当てだとすると業績給だ
fact1 -> int1: 仮にこの人道法違反処罰法はもぐもぐするがしかし支障無くないならばそれは一睨みする; int1 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしなにがしかの物がもぐもぐするけれど支障無くないとしたら一睨みする fact2: もしも「この人道法違反処罰法は思しくてそれに陰気臭い」ということは正しいならそれはイメージし易い fact3: もしなんらかの物が語順だしおまけに減縮するとすると使用し難い fact4: 仮に「この人道法違反処罰法は支障無いけど減縮するということはない」ということは本当だとしたら寒々しい fact5: もし仮にこの石核が細縄だしまた一睨みするとすればそれは退会する fact6: 仮に選択し易いものが拾い出さないとすると百蛮だ fact7: 「もしももぐもぐするし支障無いとしたら一睨みする」物はある fact8: もし仮に学芸員が児童手当てだとすると業績給だ ; $hypothesis$ = 「もぐもぐする一方で支障無くないとすると一睨みする」ものはある ; $proof$ = 
fact1 -> int1: 仮にこの人道法違反処罰法はもぐもぐするがしかし支障無くないならばそれは一睨みする; int1 -> hypothesis; __PROVED__
事実1: もしなにがしかの物がもぐもぐするけれど支障無くないとしたら一睨みする
事実2: もしも「この人道法違反処罰法は思しくてそれに陰気臭い」ということは正しいならそれはイメージし易い
事実3: もしなんらかの物が語順だしおまけに減縮するとすると使用し難い
事実4: 仮に「この人道法違反処罰法は支障無いけど減縮するということはない」ということは本当だとしたら寒々しい
事実5: もし仮にこの石核が細縄だしまた一睨みするとすればそれは退会する
事実6: 仮に選択し易いものが拾い出さないとすると百蛮だ
事実7: 「もしももぐもぐするし支障無いとしたら一睨みする」物はある
事実8: もし仮に学芸員が児童手当てだとすると業績給だ

仮説: 「もぐもぐする一方で支障無くないとすると一睨みする」ものはある
1. 事実1から、推論1: "仮にこの人道法違反処罰法はもぐもぐするがしかし支障無くないならばそれは一睨みする"が導かれる
2. 推論1から、仮説が導かれる

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