このスパークリング・ワインは威厳でないか存在すらない
fact1: もしある物がボーイソプラノでないけれど存在すればそれは威厳でない fact2: もしも「ある物はなぐり書きでない」ということは成り立つとしたらボーイソプラノでなくて更に存在す fact3: この漁撈は六分の一程度でないか威厳であるということはないかまたは両方である fact4: このスパークリング・ワインは磨けないかあるいは威厳であるかまたは両方だ fact5: もし仮に「このスパークリング・ワインは交通検問であるかあるいは遅れ易くないかあるいは両方ともである」ということは成り立たないとするとこの毛穴はなぐり書きだということはない fact6: このスパークリング・ワインは存在すらないかまたは代読するかあるいはどちらもである fact7: このスパークリング・ワインは威厳でない fact8: このスパークリング・ワインは威厳であるかあるいは存在すらないかまたは両方ともだ
fact7 -> hypothesis;
fact7 -> hypothesis;
この毛穴は威厳でないかまたは分かり難くないかもしくはどちらもだ
fact9 -> int1: もし仮にこの毛穴がボーイソプラノであるということはない一方でそれが存在すとしたら威厳でない; fact10 -> int2: もしもこの毛穴がなぐり書きだということはないとするとボーイソプラノでないしそれは存在す;
$facts$ = fact1: もしある物がボーイソプラノでないけれど存在すればそれは威厳でない fact2: もしも「ある物はなぐり書きでない」ということは成り立つとしたらボーイソプラノでなくて更に存在す fact3: この漁撈は六分の一程度でないか威厳であるということはないかまたは両方である fact4: このスパークリング・ワインは磨けないかあるいは威厳であるかまたは両方だ fact5: もし仮に「このスパークリング・ワインは交通検問であるかあるいは遅れ易くないかあるいは両方ともである」ということは成り立たないとするとこの毛穴はなぐり書きだということはない fact6: このスパークリング・ワインは存在すらないかまたは代読するかあるいはどちらもである fact7: このスパークリング・ワインは威厳でない fact8: このスパークリング・ワインは威厳であるかあるいは存在すらないかまたは両方ともだ ; $hypothesis$ = このスパークリング・ワインは威厳でないか存在すらない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしある物がボーイソプラノでないけれど存在すればそれは威厳でない
事実2: もしも「ある物はなぐり書きでない」ということは成り立つとしたらボーイソプラノでなくて更に存在す
事実3: この漁撈は六分の一程度でないか威厳であるということはないかまたは両方である
事実4: このスパークリング・ワインは磨けないかあるいは威厳であるかまたは両方だ
事実5: もし仮に「このスパークリング・ワインは交通検問であるかあるいは遅れ易くないかあるいは両方ともである」ということは成り立たないとするとこの毛穴はなぐり書きだということはない
事実6: このスパークリング・ワインは存在すらないかまたは代読するかあるいはどちらもである
事実7: このスパークリング・ワインは威厳でない
事実8: このスパークリング・ワインは威厳であるかあるいは存在すらないかまたは両方ともだ

仮説: このスパークリング・ワインは威厳でないか存在すらない
1. 事実7から、仮説が導かれる

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