その関係業界は強要しない
fact1: もしも「その絵葉書は強要するかもしくは食い止めない」ということは間違いならばその関係業界は強要する fact2: その絵葉書は消え掛からない fact3: もしも「その絵葉書は写生しない」ということは偽であるとすると食い止める fact4: もしもなにかは悲しとすると強要するかあるいは食い止めない fact5: あの修正は悲し fact6: この宅地等が悲しないとするとその関係業界は強要しない fact7: 「その意業は消え掛かるし食い止める」ということは成り立たない fact8: 仮にその絵葉書は写生しないとすると「この宅地等は写生するししかも悲し」ということは成り立たない fact9: もしも「この宅地等は写生するしさらに悲し」ということは嘘ならばあの絵葉書は悲しない fact10: もし仮になんらかのものは食い止めないとしたら「写生するししかも後ろ身だ」ということは誤りである fact11: その意業は勿体無い fact12: もしも「その意業は消え掛かるししかも食い止める」ということは間違っていれば「その絵葉書は食い止めない」ということは成り立つ fact13: もし仮にとあるものが強要するかまたはそれは食い止めるということはないか両方であるなら食い止めない fact14: その意業が食い止めるということはないならその絵葉書は食い止めない fact15: 「その絵葉書は食い止めるし消え掛かる」ということは成り立たない fact16: もしも「この宅地等は写生するしおまけに悲し」ということは間違っていればその関係業界は強要しない fact17: もしもその意業が写生するとしたらそれは食い止める fact18: あの土建屋は消え掛からない fact19: 「この消防自動車は写生しない」ということは本当だ fact20: もし仮にその絵葉書が民執規でないとしたらその人殺しは消え掛かるしそれに悲し fact21: もしその意業が勿体無くてさらに実体化すればそれは民執規でない fact22: そのメソジスト教会は写生する fact23: 「その関係業界は強要するしさらにそれは悲し」ということは間違っている
void -> assump1: 以下のように仮定する。その絵葉書は写生する; fact3 & assump1 -> int1: その絵葉書は食い止める; fact7 & fact12 -> int2: その絵葉書は食い止めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その絵葉書は写生しない; int4 & fact8 -> int5: 「この宅地等が写生するしその上それは悲し」ということは成り立つということはない; int5 & fact16 -> hypothesis;
その関係業界は強要する
$facts$ = fact1: もしも「その絵葉書は強要するかもしくは食い止めない」ということは間違いならばその関係業界は強要する fact2: その絵葉書は消え掛からない fact3: もしも「その絵葉書は写生しない」ということは偽であるとすると食い止める fact4: もしもなにかは悲しとすると強要するかあるいは食い止めない fact5: あの修正は悲し fact6: この宅地等が悲しないとするとその関係業界は強要しない fact7: 「その意業は消え掛かるし食い止める」ということは成り立たない fact8: 仮にその絵葉書は写生しないとすると「この宅地等は写生するししかも悲し」ということは成り立たない fact9: もしも「この宅地等は写生するしさらに悲し」ということは嘘ならばあの絵葉書は悲しない fact10: もし仮になんらかのものは食い止めないとしたら「写生するししかも後ろ身だ」ということは誤りである fact11: その意業は勿体無い fact12: もしも「その意業は消え掛かるししかも食い止める」ということは間違っていれば「その絵葉書は食い止めない」ということは成り立つ fact13: もし仮にとあるものが強要するかまたはそれは食い止めるということはないか両方であるなら食い止めない fact14: その意業が食い止めるということはないならその絵葉書は食い止めない fact15: 「その絵葉書は食い止めるし消え掛かる」ということは成り立たない fact16: もしも「この宅地等は写生するしおまけに悲し」ということは間違っていればその関係業界は強要しない fact17: もしもその意業が写生するとしたらそれは食い止める fact18: あの土建屋は消え掛からない fact19: 「この消防自動車は写生しない」ということは本当だ fact20: もし仮にその絵葉書が民執規でないとしたらその人殺しは消え掛かるしそれに悲し fact21: もしその意業が勿体無くてさらに実体化すればそれは民執規でない fact22: そのメソジスト教会は写生する fact23: 「その関係業界は強要するしさらにそれは悲し」ということは間違っている ; $hypothesis$ = その関係業界は強要しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その絵葉書は写生する; fact3 & assump1 -> int1: その絵葉書は食い止める; fact7 & fact12 -> int2: その絵葉書は食い止めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その絵葉書は写生しない; int4 & fact8 -> int5: 「この宅地等が写生するしその上それは悲し」ということは成り立つということはない; int5 & fact16 -> hypothesis; __PROVED__
事実1: もしも「その絵葉書は強要するかもしくは食い止めない」ということは間違いならばその関係業界は強要する
事実2: その絵葉書は消え掛からない
事実3: もしも「その絵葉書は写生しない」ということは偽であるとすると食い止める
事実4: もしもなにかは悲しとすると強要するかあるいは食い止めない
事実5: あの修正は悲し
事実6: この宅地等が悲しないとするとその関係業界は強要しない
事実7: 「その意業は消え掛かるし食い止める」ということは成り立たない
事実8: 仮にその絵葉書は写生しないとすると「この宅地等は写生するししかも悲し」ということは成り立たない
事実9: もしも「この宅地等は写生するしさらに悲し」ということは嘘ならばあの絵葉書は悲しない
事実10: もし仮になんらかのものは食い止めないとしたら「写生するししかも後ろ身だ」ということは誤りである
事実11: その意業は勿体無い
事実12: もしも「その意業は消え掛かるししかも食い止める」ということは間違っていれば「その絵葉書は食い止めない」ということは成り立つ
事実13: もし仮にとあるものが強要するかまたはそれは食い止めるということはないか両方であるなら食い止めない
事実14: その意業が食い止めるということはないならその絵葉書は食い止めない
事実15: 「その絵葉書は食い止めるし消え掛かる」ということは成り立たない
事実16: もしも「この宅地等は写生するしおまけに悲し」ということは間違っていればその関係業界は強要しない
事実17: もしもその意業が写生するとしたらそれは食い止める
事実18: あの土建屋は消え掛からない
事実19: 「この消防自動車は写生しない」ということは本当だ
事実20: もし仮にその絵葉書が民執規でないとしたらその人殺しは消え掛かるしそれに悲し
事実21: もしその意業が勿体無くてさらに実体化すればそれは民執規でない
事実22: そのメソジスト教会は写生する
事実23: 「その関係業界は強要するしさらにそれは悲し」ということは間違っている

仮説: その関係業界は強要しない
1. 仮定1: 以下のように仮定する。その絵葉書は写生する
2. 事実3と仮定1から、推論1: "その絵葉書は食い止める"が導かれる
3. 事実7と事実12から、推論2: "その絵葉書は食い止めない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その絵葉書は写生しない"が導かれる
6. 推論4と事実8から、推論5: "「この宅地等が写生するしその上それは悲し」ということは成り立つということはない"が導かれる
7. 推論5と事実16から、仮説が導かれる

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