「思い易くないなら「望ましくらないしまたやんごとなくない」ということは誤りな」ものはある
fact1: 「もし思い易くないとすると「望ましい一方でやんごとなくない」ということは間違いである」ものはある fact2: 仮に何かは思い易くないとすれば「望ましくらなくてそれはやんごとなくない」ということは誤りである fact3: 「もし愛しくないならば「ブロンでなくて攪乱しない」ということは成り立たない」ものはある fact4: あるものは思い易くないならば「望ましくらないがやんごとない」ということは誤りである fact5: 仮にあの特別優遇措置は望ましいとしたら「生み難くなくて蒸らさない」ということは間違っている fact6: 何らかの物が文書化しないとしたらそれは偏り易くなくてしかもそれは世慣れない fact7: 仮にこの伊賀者が思い易くないとしたら望ましくらなくてやんごとなくない fact8: 仮になんらかの物は思い易くないとしたら「それは望ましくて加えてそれはやんごとなくない」ということは成り立たない fact9: 「仮に全組合員でないなら「顕在化しないし発揮し難い」ということは成り立たない」ものはある fact10: 仮になんらかのものは思い易いとすると「望ましくらないし更にやんごとなくない」ということは成り立たない
fact2 -> int1: 仮にこの伊賀者は思い易いということはないとしたら「望ましくらないししかもやんごとなくない」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: 「もし思い易くないとすると「望ましい一方でやんごとなくない」ということは間違いである」ものはある fact2: 仮に何かは思い易くないとすれば「望ましくらなくてそれはやんごとなくない」ということは誤りである fact3: 「もし愛しくないならば「ブロンでなくて攪乱しない」ということは成り立たない」ものはある fact4: あるものは思い易くないならば「望ましくらないがやんごとない」ということは誤りである fact5: 仮にあの特別優遇措置は望ましいとしたら「生み難くなくて蒸らさない」ということは間違っている fact6: 何らかの物が文書化しないとしたらそれは偏り易くなくてしかもそれは世慣れない fact7: 仮にこの伊賀者が思い易くないとしたら望ましくらなくてやんごとなくない fact8: 仮になんらかの物は思い易くないとしたら「それは望ましくて加えてそれはやんごとなくない」ということは成り立たない fact9: 「仮に全組合員でないなら「顕在化しないし発揮し難い」ということは成り立たない」ものはある fact10: 仮になんらかのものは思い易いとすると「望ましくらないし更にやんごとなくない」ということは成り立たない ; $hypothesis$ = 「思い易くないなら「望ましくらないしまたやんごとなくない」ということは誤りな」ものはある ; $proof$ = 
fact2 -> int1: 仮にこの伊賀者は思い易いということはないとしたら「望ましくらないししかもやんごとなくない」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: 「もし思い易くないとすると「望ましい一方でやんごとなくない」ということは間違いである」ものはある
事実2: 仮に何かは思い易くないとすれば「望ましくらなくてそれはやんごとなくない」ということは誤りである
事実3: 「もし愛しくないならば「ブロンでなくて攪乱しない」ということは成り立たない」ものはある
事実4: あるものは思い易くないならば「望ましくらないがやんごとない」ということは誤りである
事実5: 仮にあの特別優遇措置は望ましいとしたら「生み難くなくて蒸らさない」ということは間違っている
事実6: 何らかの物が文書化しないとしたらそれは偏り易くなくてしかもそれは世慣れない
事実7: 仮にこの伊賀者が思い易くないとしたら望ましくらなくてやんごとなくない
事実8: 仮になんらかの物は思い易くないとしたら「それは望ましくて加えてそれはやんごとなくない」ということは成り立たない
事実9: 「仮に全組合員でないなら「顕在化しないし発揮し難い」ということは成り立たない」ものはある
事実10: 仮になんらかのものは思い易いとすると「望ましくらないし更にやんごとなくない」ということは成り立たない

仮説: 「思い易くないなら「望ましくらないしまたやんごとなくない」ということは誤りな」ものはある
1. 事実2から、推論1: "仮にこの伊賀者は思い易いということはないとしたら「望ましくらないししかもやんごとなくない」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

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