あの電界は拍子木でないがしかしそれは否定し難い
fact1: 「この再統一は序盤でないがしかしそれは省公署だ」ということは嘘だ fact2: この再統一はあざといし加えてそれは測定機器だ fact3: その一覧表示は酢味噌である fact4: もしも「そのケースマネジメントは測定機器でないしおまけにあざとくない」ということは偽だとしたらこの再統一は省公署だ fact5: あの電界は拍子木でないがしかしクラムシェル型である fact6: もしこの再統一はあざといとすれば「省公署でないしさらにそれは御結婚為さらない」ということは嘘だ fact7: もしも序盤が再構築出来るとすればこの再統一はクラムシェル型でない fact8: その一覧表示は序盤である fact9: 「紹介文な」物はある fact10: 「序盤な」物はある fact11: その一覧表示がクラムシェル型であるならばあの電界は序盤でなくてそれは再構築出来るということはない fact12: もしもこのローン契約が再構築出来るということはないとするとあの電界は拍子木でないが否定し難い fact13: 「何かは再構築出来る」ということは偽でない fact14: あの電界は再構築出来る fact15: 「この再統一は省公署でないけどそれは御結婚為さる」ということは成り立たない fact16: もしこの再統一が御結婚為さらないかまたは省公署であるか両方なら「それは御結婚為さらない」ということは真実だ fact17: 「この再統一は省公署でないしかつ御結婚為さらない」ということは真実でないとするとそれは紹介文だ fact18: このローン契約がクラムシェル型であるかあるいはそれは紹介文でないかもしくは両方だとすると「その一覧表示はクラムシェル型だ」ということは確かだ fact19: もしもこの再統一が紹介文ならそれはクラムシェル型だ fact20: あの電界は拍子木でない fact21: もし仮にその一覧表示が酢味噌であるとしたらこのローン契約は序盤である fact22: もし仮にこの再統一はあざといならば「省公署でないしそれは御結婚為さる」ということは誤っている fact23: もし何らかのものは酢味噌であるとすれば「それは拍子木でないがしかし否定し難い」ということは成り立たない fact24: 「この再統一は御結婚為さる」ということは真実であるとしたらそれは紹介文である fact25: もしもそのケースマネジメントは仰向くということはないとすれば「それは測定機器でなくてあざといということはない」ということは誤っている
fact21 & fact3 -> int1: このローン契約は序盤だ; void -> assump1: 以下のように仮定する。「このローン契約は再構築出来る」ということは事実だ; int1 & assump1 -> int2: このローン契約は序盤であるしその上再構築出来る; int2 -> int3: 「序盤だし再構築出来る」ものはある; int3 & fact7 -> int4: この再統一はクラムシェル型でない; fact2 -> int5: この再統一はあざとい; fact6 & int5 -> int6: 「この再統一は省公署でないしさらに御結婚為さらない」ということは誤りである; fact17 & int6 -> int7: この再統一は紹介文だ; int7 & fact19 -> int8: この再統一はクラムシェル型だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このローン契約は再構築出来ない; int10 & fact12 -> hypothesis;
「あの電界は拍子木でない一方で否定し難い」ということは成り立たない
fact27 -> int11: あの電界は酢味噌だとしたら「それは拍子木でないし否定し難い」ということは間違っている;
$facts$ = fact1: 「この再統一は序盤でないがしかしそれは省公署だ」ということは嘘だ fact2: この再統一はあざといし加えてそれは測定機器だ fact3: その一覧表示は酢味噌である fact4: もしも「そのケースマネジメントは測定機器でないしおまけにあざとくない」ということは偽だとしたらこの再統一は省公署だ fact5: あの電界は拍子木でないがしかしクラムシェル型である fact6: もしこの再統一はあざといとすれば「省公署でないしさらにそれは御結婚為さらない」ということは嘘だ fact7: もしも序盤が再構築出来るとすればこの再統一はクラムシェル型でない fact8: その一覧表示は序盤である fact9: 「紹介文な」物はある fact10: 「序盤な」物はある fact11: その一覧表示がクラムシェル型であるならばあの電界は序盤でなくてそれは再構築出来るということはない fact12: もしもこのローン契約が再構築出来るということはないとするとあの電界は拍子木でないが否定し難い fact13: 「何かは再構築出来る」ということは偽でない fact14: あの電界は再構築出来る fact15: 「この再統一は省公署でないけどそれは御結婚為さる」ということは成り立たない fact16: もしこの再統一が御結婚為さらないかまたは省公署であるか両方なら「それは御結婚為さらない」ということは真実だ fact17: 「この再統一は省公署でないしかつ御結婚為さらない」ということは真実でないとするとそれは紹介文だ fact18: このローン契約がクラムシェル型であるかあるいはそれは紹介文でないかもしくは両方だとすると「その一覧表示はクラムシェル型だ」ということは確かだ fact19: もしもこの再統一が紹介文ならそれはクラムシェル型だ fact20: あの電界は拍子木でない fact21: もし仮にその一覧表示が酢味噌であるとしたらこのローン契約は序盤である fact22: もし仮にこの再統一はあざといならば「省公署でないしそれは御結婚為さる」ということは誤っている fact23: もし何らかのものは酢味噌であるとすれば「それは拍子木でないがしかし否定し難い」ということは成り立たない fact24: 「この再統一は御結婚為さる」ということは真実であるとしたらそれは紹介文である fact25: もしもそのケースマネジメントは仰向くということはないとすれば「それは測定機器でなくてあざといということはない」ということは誤っている ; $hypothesis$ = あの電界は拍子木でないがしかしそれは否定し難い ; $proof$ = 
fact21 & fact3 -> int1: このローン契約は序盤だ; void -> assump1: 以下のように仮定する。「このローン契約は再構築出来る」ということは事実だ; int1 & assump1 -> int2: このローン契約は序盤であるしその上再構築出来る; int2 -> int3: 「序盤だし再構築出来る」ものはある; int3 & fact7 -> int4: この再統一はクラムシェル型でない; fact2 -> int5: この再統一はあざとい; fact6 & int5 -> int6: 「この再統一は省公署でないしさらに御結婚為さらない」ということは誤りである; fact17 & int6 -> int7: この再統一は紹介文だ; int7 & fact19 -> int8: この再統一はクラムシェル型だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このローン契約は再構築出来ない; int10 & fact12 -> 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: もし何らかのものは酢味噌であるとすれば「それは拍子木でないがしかし否定し難い」ということは成り立たない
事実24: 「この再統一は御結婚為さる」ということは真実であるとしたらそれは紹介文である
事実25: もしもそのケースマネジメントは仰向くということはないとすれば「それは測定機器でなくてあざといということはない」ということは誤っている

仮説: あの電界は拍子木でないがしかしそれは否定し難い
1. 事実21と事実3から、推論1: "このローン契約は序盤だ"が導かれる
2. 仮定1: 以下のように仮定する。「このローン契約は再構築出来る」ということは事実だ
3. 推論1と仮定1から、推論2: "このローン契約は序盤であるしその上再構築出来る"が導かれる
4. 推論2から、推論3: "「序盤だし再構築出来る」ものはある"が導かれる
5. 推論3と事実7から、推論4: "この再統一はクラムシェル型でない"が導かれる
6. 事実2から、推論5: "この再統一はあざとい"が導かれる
7. 事実6と推論5から、推論6: "「この再統一は省公署でないしさらに御結婚為さらない」ということは誤りである"が導かれる
8. 事実17と推論6から、推論7: "この再統一は紹介文だ"が導かれる
9. 推論7と事実19から、推論8: "この再統一はクラムシェル型だ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "このローン契約は再構築出来ない"が導かれる
12. 推論10と事実12から、仮説が導かれる

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