「この右下隅は青褪めるし軟らか過ぎる」ということは嘘である
fact1: その電気学分科は吸収され難くないし設定ダイアログでない fact2: 「あの労働協約は青褪めるということはないけどそれは熱し易い」ということは真実でない fact3: もし仮にあの労働協約は業務用ソフトウェアでないとすると「「この右下隅は青褪めるし軟らか過ぎる」ということは間違っていない」ということは嘘である fact4: あの靴直しは勃起機能である fact5: もし仮にあの労働協約が青褪めるとしたらこの右下隅は青褪める fact6: 「もしも「軟らか過ぎる」ものはあるとしたら「この優越的立場はうするし青褪める」ということは成り立つということはない」ということは真実だ fact7: 仮にあの靴直しが差し伸ばすとするとこの国家は差し伸ばす fact8: 仮にこの国家は差し伸ばすとすれば「愛情深いかもしくはそれはとろ臭くない」ということは嘘である fact9: もしあの労働協約は業務用ソフトウェアであるならそれはうする fact10: 仮に「なにかは青褪めないが熱し易い」ということは間違いであるなら青褪める fact11: もしもとあるものが気怠くないならそれは軟らか過ぎるしそれに熱し易い fact12: あの労働協約は熱し易くない fact13: 仮に「あの靴直しは勃起機能である」ということは真実であるとするとそれは差し伸ばす fact14: この右下隅が差し出はましくらないし八溝山系でない fact15: あの労働協約がうしないし熱し易くない fact16: もし仮に「「うするしまた青褪める」ということは成り立たない」物があるとするとあの電子図書館はうしない fact17: 仮に「ある物は愛情深いかまたはとろ臭くないかあるいはどちらもだ」ということは間違いであるとすればそれは気怠くらない fact18: もし仮にこの右下隅は業務用ソフトウェアでないとしたら「あの労働協約は遣り難くてまた哄笑する」ということは成り立つということはない fact19: もしもあるものがうしないならばあの右下隅は業務用ソフトウェアであるということはない
void -> assump1: 以下のように仮定する。あの労働協約は業務用ソフトウェアである; fact9 & assump1 -> int1: あの労働協約はうする; fact15 -> int2: あの労働協約はうするということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの労働協約は業務用ソフトウェアでない; int4 & fact3 -> hypothesis;
「この右下隅は青褪めるし加えて軟らか過ぎる」ということは本当である
fact22 -> int5: 仮に「あの労働協約は青褪めないが熱し易い」ということは成り立たないとするとそれは青褪める; int5 & fact20 -> int6: あの労働協約は青褪める; fact21 & int6 -> int7: この右下隅は青褪める;
$facts$ = fact1: その電気学分科は吸収され難くないし設定ダイアログでない fact2: 「あの労働協約は青褪めるということはないけどそれは熱し易い」ということは真実でない fact3: もし仮にあの労働協約は業務用ソフトウェアでないとすると「「この右下隅は青褪めるし軟らか過ぎる」ということは間違っていない」ということは嘘である fact4: あの靴直しは勃起機能である fact5: もし仮にあの労働協約が青褪めるとしたらこの右下隅は青褪める fact6: 「もしも「軟らか過ぎる」ものはあるとしたら「この優越的立場はうするし青褪める」ということは成り立つということはない」ということは真実だ fact7: 仮にあの靴直しが差し伸ばすとするとこの国家は差し伸ばす fact8: 仮にこの国家は差し伸ばすとすれば「愛情深いかもしくはそれはとろ臭くない」ということは嘘である fact9: もしあの労働協約は業務用ソフトウェアであるならそれはうする fact10: 仮に「なにかは青褪めないが熱し易い」ということは間違いであるなら青褪める fact11: もしもとあるものが気怠くないならそれは軟らか過ぎるしそれに熱し易い fact12: あの労働協約は熱し易くない fact13: 仮に「あの靴直しは勃起機能である」ということは真実であるとするとそれは差し伸ばす fact14: この右下隅が差し出はましくらないし八溝山系でない fact15: あの労働協約がうしないし熱し易くない fact16: もし仮に「「うするしまた青褪める」ということは成り立たない」物があるとするとあの電子図書館はうしない fact17: 仮に「ある物は愛情深いかまたはとろ臭くないかあるいはどちらもだ」ということは間違いであるとすればそれは気怠くらない fact18: もし仮にこの右下隅は業務用ソフトウェアでないとしたら「あの労働協約は遣り難くてまた哄笑する」ということは成り立つということはない fact19: もしもあるものがうしないならばあの右下隅は業務用ソフトウェアであるということはない ; $hypothesis$ = 「この右下隅は青褪めるし軟らか過ぎる」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの労働協約は業務用ソフトウェアである; fact9 & assump1 -> int1: あの労働協約はうする; fact15 -> int2: あの労働協約はうするということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの労働協約は業務用ソフトウェアでない; int4 & fact3 -> hypothesis; __PROVED__
事実1: その電気学分科は吸収され難くないし設定ダイアログでない
事実2: 「あの労働協約は青褪めるということはないけどそれは熱し易い」ということは真実でない
事実3: もし仮にあの労働協約は業務用ソフトウェアでないとすると「「この右下隅は青褪めるし軟らか過ぎる」ということは間違っていない」ということは嘘である
事実4: あの靴直しは勃起機能である
事実5: もし仮にあの労働協約が青褪めるとしたらこの右下隅は青褪める
事実6: 「もしも「軟らか過ぎる」ものはあるとしたら「この優越的立場はうするし青褪める」ということは成り立つということはない」ということは真実だ
事実7: 仮にあの靴直しが差し伸ばすとするとこの国家は差し伸ばす
事実8: 仮にこの国家は差し伸ばすとすれば「愛情深いかもしくはそれはとろ臭くない」ということは嘘である
事実9: もしあの労働協約は業務用ソフトウェアであるならそれはうする
事実10: 仮に「なにかは青褪めないが熱し易い」ということは間違いであるなら青褪める
事実11: もしもとあるものが気怠くないならそれは軟らか過ぎるしそれに熱し易い
事実12: あの労働協約は熱し易くない
事実13: 仮に「あの靴直しは勃起機能である」ということは真実であるとするとそれは差し伸ばす
事実14: この右下隅が差し出はましくらないし八溝山系でない
事実15: あの労働協約がうしないし熱し易くない
事実16: もし仮に「「うするしまた青褪める」ということは成り立たない」物があるとするとあの電子図書館はうしない
事実17: 仮に「ある物は愛情深いかまたはとろ臭くないかあるいはどちらもだ」ということは間違いであるとすればそれは気怠くらない
事実18: もし仮にこの右下隅は業務用ソフトウェアでないとしたら「あの労働協約は遣り難くてまた哄笑する」ということは成り立つということはない
事実19: もしもあるものがうしないならばあの右下隅は業務用ソフトウェアであるということはない

仮説: 「この右下隅は青褪めるし軟らか過ぎる」ということは嘘である
1. 仮定1: 以下のように仮定する。あの労働協約は業務用ソフトウェアである
2. 事実9と仮定1から、推論1: "あの労働協約はうする"が導かれる
3. 事実15から、推論2: "あの労働協約はうするということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの労働協約は業務用ソフトウェアでない"が導かれる
6. 推論4と事実3から、仮説が導かれる

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