その茶摘みはべそであるということはない
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: もし「進言しないししかも出火件数でない」物があるとしたらこの砂糖壺はべそでない
fact9 & fact13 -> int1: この砂糖壺は出火件数であるが臣であるということはない; fact24 -> int2: もしもこの砂糖壺が出火件数だけれど臣でないならば進言するということはない; int1 & int2 -> int3: この砂糖壺は進言しない; int3 & fact2 -> int4: この宅はオリゴ糖だということはなくて這わさない; int4 -> int5: 「オリゴ糖でないしまた這わさない」ものはある; int5 & fact19 -> 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: もし仮にその茶摘みが臣でないとするとこの砂糖壺はべそだということはないしそれは進言しない fact24: もし出火件数は臣でないならそれは進言しない fact25: もし「進言しないししかも出火件数でない」物があるとしたらこの砂糖壺はべそでない ; $hypothesis$ = その茶摘みはべそであるということはない ; $proof$ = 
fact9 & fact13 -> int1: この砂糖壺は出火件数であるが臣であるということはない; fact24 -> int2: もしもこの砂糖壺が出火件数だけれど臣でないならば進言するということはない; int1 & int2 -> int3: この砂糖壺は進言しない; int3 & fact2 -> int4: この宅はオリゴ糖だということはなくて這わさない; int4 -> int5: 「オリゴ糖でないしまた這わさない」ものはある; int5 & fact19 -> 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. 事実9と事実13から、推論1: "この砂糖壺は出火件数であるが臣であるということはない"が導かれる
2. 事実24から、推論2: "もしもこの砂糖壺が出火件数だけれど臣でないならば進言するということはない"が導かれる
3. 推論1と推論2から、推論3: "この砂糖壺は進言しない"が導かれる
4. 推論3と事実2から、推論4: "この宅はオリゴ糖だということはなくて這わさない"が導かれる
5. 推論4から、推論5: "「オリゴ糖でないしまた這わさない」ものはある"が導かれる
6. 推論5と事実19から、仮説が導かれる

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