この実用新案登録願いは忌避するということはない
fact1: もしこの実用新案登録願いが人懐っこくないならそっとしない fact2: 仮に何かはそっとしないならそれは忌避するし懐こい fact3: この実用新案登録願いは動き易くないけれど生まれ難いならばそれは忌避しない fact4: この実用新案登録願いは動き易いということはないが生まれ難い fact5: あの葉序パターンは動き易くない fact6: もし仮にこの実用新案登録願いが十二番人気であるししかも是正するとするとそれは人懐っこくない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
この実用新案登録願いは忌避する
fact8 -> int1: もしこの実用新案登録願いがそっとしないならそれは忌避するしかつ懐こい;
$facts$ = fact1: もしこの実用新案登録願いが人懐っこくないならそっとしない fact2: 仮に何かはそっとしないならそれは忌避するし懐こい fact3: この実用新案登録願いは動き易くないけれど生まれ難いならばそれは忌避しない fact4: この実用新案登録願いは動き易いということはないが生まれ難い fact5: あの葉序パターンは動き易くない fact6: もし仮にこの実用新案登録願いが十二番人気であるししかも是正するとするとそれは人懐っこくない ; $hypothesis$ = この実用新案登録願いは忌避するということはない ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: もしこの実用新案登録願いが人懐っこくないならそっとしない
事実2: 仮に何かはそっとしないならそれは忌避するし懐こい
事実3: この実用新案登録願いは動き易くないけれど生まれ難いならばそれは忌避しない
事実4: この実用新案登録願いは動き易いということはないが生まれ難い
事実5: あの葉序パターンは動き易くない
事実6: もし仮にこの実用新案登録願いが十二番人気であるししかも是正するとするとそれは人懐っこくない

仮説: この実用新案登録願いは忌避するということはない
1. 事実3と事実4から、仮説が導かれる

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