「その二〜三回程度は甚だしということはない一方で好ましい」ということは本当でない
fact1: この自然療法は小狡いししかも嫌味っぽい fact2: 変化し易い物は喋り難い fact3: もし仮にこの自然療法が果たすしその上小狡いならばあのドキュメントは針師でない fact4: 仮にとあるものが果たすとすればそれは変化し易い fact5: 仮に何らかの物が針師でないか喋り難いとするとそれは膿む fact6: 仮にそのチャット依存症は荒れないなら「それは好ましくないしかつ賑々しい」ということは間違いだ fact7: もし「その二〜三回程度は喋り難くてかつそれは膿む」ということは正しくないならば「それは膿まない」ということは誤っていない fact8: 「その二〜三回程度は喋り難くてかつそれは膿む」ということは正しくない fact9: もしもなんらかの物は膿まないとすれば「甚だしないけれど好ましい」ということは誤りである fact10: この自然療法は果たすし発生し易い fact11: もしもこの先行技術調査が膿むとしたらその二〜三回程度は甚だしない一方でそれは好ましい fact12: このドキュメントは膿むしその上変化し易い fact13: もしも「膿むしかつ針師だということはない」物があるとしたらこの先行技術調査は喋り難くない
fact9 -> int1: もしもその二〜三回程度は膿まないとすれば「それは甚だしないしそれに好ましい」ということは偽である; fact7 & fact8 -> int2: その二〜三回程度は膿むということはない; int1 & int2 -> hypothesis;
fact9 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact7 & fact8 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「「その証券業はスモールトークでないけれど喋り難い」ということは成り立たない」ということは嘘でない
fact15 -> int3: 「このドキュメントは膿む」ということは間違いでない; fact16 -> int4: この自然療法は果たす; fact18 -> int5: 「この自然療法は小狡い」ということは確かだ; int4 & int5 -> int6: この自然療法は果たすし小狡い; fact14 & int6 -> int7: このドキュメントは針師でない; int3 & int7 -> int8: このドキュメントは膿むけれどそれは針師でない; int8 -> int9: 「膿むけれど針師でない」物はある; int9 & fact17 -> int10: この先行技術調査は喋り難いということはない; int10 -> int11: 「喋り難くない」物はある;
$facts$ = fact1: この自然療法は小狡いししかも嫌味っぽい fact2: 変化し易い物は喋り難い fact3: もし仮にこの自然療法が果たすしその上小狡いならばあのドキュメントは針師でない fact4: 仮にとあるものが果たすとすればそれは変化し易い fact5: 仮に何らかの物が針師でないか喋り難いとするとそれは膿む fact6: 仮にそのチャット依存症は荒れないなら「それは好ましくないしかつ賑々しい」ということは間違いだ fact7: もし「その二〜三回程度は喋り難くてかつそれは膿む」ということは正しくないならば「それは膿まない」ということは誤っていない fact8: 「その二〜三回程度は喋り難くてかつそれは膿む」ということは正しくない fact9: もしもなんらかの物は膿まないとすれば「甚だしないけれど好ましい」ということは誤りである fact10: この自然療法は果たすし発生し易い fact11: もしもこの先行技術調査が膿むとしたらその二〜三回程度は甚だしない一方でそれは好ましい fact12: このドキュメントは膿むしその上変化し易い fact13: もしも「膿むしかつ針師だということはない」物があるとしたらこの先行技術調査は喋り難くない ; $hypothesis$ = 「その二〜三回程度は甚だしということはない一方で好ましい」ということは本当でない ; $proof$ = 
fact9 -> int1: もしもその二〜三回程度は膿まないとすれば「それは甚だしないしそれに好ましい」ということは偽である; fact7 & fact8 -> int2: その二〜三回程度は膿むということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: この自然療法は小狡いししかも嫌味っぽい
事実2: 変化し易い物は喋り難い
事実3: もし仮にこの自然療法が果たすしその上小狡いならばあのドキュメントは針師でない
事実4: 仮にとあるものが果たすとすればそれは変化し易い
事実5: 仮に何らかの物が針師でないか喋り難いとするとそれは膿む
事実6: 仮にそのチャット依存症は荒れないなら「それは好ましくないしかつ賑々しい」ということは間違いだ
事実7: もし「その二〜三回程度は喋り難くてかつそれは膿む」ということは正しくないならば「それは膿まない」ということは誤っていない
事実8: 「その二〜三回程度は喋り難くてかつそれは膿む」ということは正しくない
事実9: もしもなんらかの物は膿まないとすれば「甚だしないけれど好ましい」ということは誤りである
事実10: この自然療法は果たすし発生し易い
事実11: もしもこの先行技術調査が膿むとしたらその二〜三回程度は甚だしない一方でそれは好ましい
事実12: このドキュメントは膿むしその上変化し易い
事実13: もしも「膿むしかつ針師だということはない」物があるとしたらこの先行技術調査は喋り難くない

仮説: 「その二〜三回程度は甚だしということはない一方で好ましい」ということは本当でない
1. 事実9から、推論1: "もしもその二〜三回程度は膿まないとすれば「それは甚だしないしそれに好ましい」ということは偽である"が導かれる
2. 事実7と事実8から、推論2: "その二〜三回程度は膿むということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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