このウィーン宮廷は抽送しないし更に乾き易くない
fact1: もしも「「このロジスティクス体系は口煩くなくてそれは現われ易くない」ということは成り立たない」ということは成り立つとしたらそれは駆け落ちしない fact2: もしこのウィーン宮廷が抽送するなら焦がれない fact3: もし「そのネガティブセレクションは断定し難くないしまた苦々しかない」ということは成り立つということはないならばそれはとろ臭くない fact4: 「このウィーン宮廷は恭順しないしその上それは人懐こくない」ということは嘘である fact5: 「このウィーン宮廷は乾き易くない」ということは成り立つ fact6: 「もしある物が乾き易いかもしくはそれがうら若しないとすると乾き易い」ということは本当だ fact7: 「このウィーン宮廷は乾き易くないしそれは信じ難くない」ということは正しくない fact8: このウィーン宮廷は書しないし老人語でない fact9: もし仮にあの惑星Ｘが目的無しとすれば乾き易いかあるいはうら若しということはない fact10: 「このウィーン宮廷は乾き易くないし三ＮＳでない」ということは間違っている fact11: 「この事前・事後は仰角撮影でないがしかし幼けない」ということは成り立たない fact12: もし「このウィーン宮廷は恭順しないしかつそれは人懐こくない」ということは誤りだとしたら抽送しない
fact12 & fact4 -> int1: このウィーン宮廷は抽送しない; int1 & fact5 -> hypothesis;
fact12 & fact4 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
「このウィーン宮廷が抽送するということはないしその上それは乾き易くない」ということは事実と異なる
fact13 -> int2: 仮にあの惑星Ｘは乾き易いかもしくはうら若しないかもしくは両方ともならば乾き易い;
$facts$ = fact1: もしも「「このロジスティクス体系は口煩くなくてそれは現われ易くない」ということは成り立たない」ということは成り立つとしたらそれは駆け落ちしない fact2: もしこのウィーン宮廷が抽送するなら焦がれない fact3: もし「そのネガティブセレクションは断定し難くないしまた苦々しかない」ということは成り立つということはないならばそれはとろ臭くない fact4: 「このウィーン宮廷は恭順しないしその上それは人懐こくない」ということは嘘である fact5: 「このウィーン宮廷は乾き易くない」ということは成り立つ fact6: 「もしある物が乾き易いかもしくはそれがうら若しないとすると乾き易い」ということは本当だ fact7: 「このウィーン宮廷は乾き易くないしそれは信じ難くない」ということは正しくない fact8: このウィーン宮廷は書しないし老人語でない fact9: もし仮にあの惑星Ｘが目的無しとすれば乾き易いかあるいはうら若しということはない fact10: 「このウィーン宮廷は乾き易くないし三ＮＳでない」ということは間違っている fact11: 「この事前・事後は仰角撮影でないがしかし幼けない」ということは成り立たない fact12: もし「このウィーン宮廷は恭順しないしかつそれは人懐こくない」ということは誤りだとしたら抽送しない ; $hypothesis$ = このウィーン宮廷は抽送しないし更に乾き易くない ; $proof$ = 
fact12 & fact4 -> int1: このウィーン宮廷は抽送しない; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしも「「このロジスティクス体系は口煩くなくてそれは現われ易くない」ということは成り立たない」ということは成り立つとしたらそれは駆け落ちしない
事実2: もしこのウィーン宮廷が抽送するなら焦がれない
事実3: もし「そのネガティブセレクションは断定し難くないしまた苦々しかない」ということは成り立つということはないならばそれはとろ臭くない
事実4: 「このウィーン宮廷は恭順しないしその上それは人懐こくない」ということは嘘である
事実5: 「このウィーン宮廷は乾き易くない」ということは成り立つ
事実6: 「もしある物が乾き易いかもしくはそれがうら若しないとすると乾き易い」ということは本当だ
事実7: 「このウィーン宮廷は乾き易くないしそれは信じ難くない」ということは正しくない
事実8: このウィーン宮廷は書しないし老人語でない
事実9: もし仮にあの惑星Ｘが目的無しとすれば乾き易いかあるいはうら若しということはない
事実10: 「このウィーン宮廷は乾き易くないし三ＮＳでない」ということは間違っている
事実11: 「この事前・事後は仰角撮影でないがしかし幼けない」ということは成り立たない
事実12: もし「このウィーン宮廷は恭順しないしかつそれは人懐こくない」ということは誤りだとしたら抽送しない

仮説: このウィーン宮廷は抽送しないし更に乾き易くない
1. 事実12と事実4から、推論1: "このウィーン宮廷は抽送しない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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