この原始星は面映ゆいが交差し合わない
fact1: 「もし仮にこの第三世代がしゃあ無いということはないとするとこの原始星は力無いかあるいはしゃあ無い」ということは成り立つ fact2: この菜の花畑はしゃあ無くない fact3: 仮にこの原始星が狭くないとすればそれは力無くない fact4: その式典等は恨めしくない fact5: もし仮に浅いものがしゃあ無いとすると力無くない fact6: もしも「この原始星は面映ゆいが交差し合わない」ということは事実と異なるとすると「それは力無くない」ということは成り立つ fact7: もしその式典等は力無くないとすれば「この原始星は狭いかあるいは力無いか両方ともだ」ということは確かである fact8: この原始星が力無くないならばその式典等は狭いか力無いかまたは両方である fact9: 仮にその式典等が力無いならこの第三世代はしゃあ無い fact10: もし仮にその式典等が恨めしくないなら再就職する fact11: この原始星は繋ぎ売りであるということはない fact12: その式典等は狭いとすれば「この原始星は面映ゆい一方で交差し合わない」ということは成り立たない fact13: 「「この原始星は面映ゆいししかも交差し合う」ということは誤っている」ということは正しい fact14: 「この原始星は交差し合わない」ということは成り立つ fact15: その式典等が再就職するとしたら浅い fact16: もしもこの原始星が交差し合うとするとそれは力無くない fact17: もしもこの原始星が交差し合うとしたらその式典等は面映ゆい fact18: もしも「その式典等は狭い」ということは成り立つとすればこの第三世代はしゃあ無い fact19: この第三世代はしゃあ無くない
void -> assump1: 以下のように仮定する。「この原始星は面映ゆいがしかし交差し合うということはない」ということは事実と異なる; fact6 & assump1 -> int1: この原始星は力無くない; int1 & fact8 -> int2: その式典等は狭いかもしくはそれは力無い; int2 & fact18 & fact9 -> int3: 「この第三世代はしゃあ無い」ということは成り立つ; int3 & fact19 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「この原始星は面映ゆいけれどそれは交差し合わない」ということは偽である
fact22 -> int5: その式典等が浅いしそれがしゃあ無いとすると力無くない; fact20 & fact24 -> int6: その式典等は再就職する; fact23 & 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: 以下のように仮定する。「この原始星は面映ゆいがしかし交差し合うということはない」ということは事実と異なる; fact6 & assump1 -> int1: この原始星は力無くない; int1 & fact8 -> int2: その式典等は狭いかもしくはそれは力無い; int2 & fact18 & fact9 -> int3: 「この第三世代はしゃあ無い」ということは成り立つ; int3 & fact19 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「もし仮にこの第三世代がしゃあ無いということはないとするとこの原始星は力無いかあるいはしゃあ無い」ということは成り立つ
事実2: この菜の花畑はしゃあ無くない
事実3: 仮にこの原始星が狭くないとすればそれは力無くない
事実4: その式典等は恨めしくない
事実5: もし仮に浅いものがしゃあ無いとすると力無くない
事実6: もしも「この原始星は面映ゆいが交差し合わない」ということは事実と異なるとすると「それは力無くない」ということは成り立つ
事実7: もしその式典等は力無くないとすれば「この原始星は狭いかあるいは力無いか両方ともだ」ということは確かである
事実8: この原始星が力無くないならばその式典等は狭いか力無いかまたは両方である
事実9: 仮にその式典等が力無いならこの第三世代はしゃあ無い
事実10: もし仮にその式典等が恨めしくないなら再就職する
事実11: この原始星は繋ぎ売りであるということはない
事実12: その式典等は狭いとすれば「この原始星は面映ゆい一方で交差し合わない」ということは成り立たない
事実13: 「「この原始星は面映ゆいししかも交差し合う」ということは誤っている」ということは正しい
事実14: 「この原始星は交差し合わない」ということは成り立つ
事実15: その式典等が再就職するとしたら浅い
事実16: もしもこの原始星が交差し合うとするとそれは力無くない
事実17: もしもこの原始星が交差し合うとしたらその式典等は面映ゆい
事実18: もしも「その式典等は狭い」ということは成り立つとすればこの第三世代はしゃあ無い
事実19: この第三世代はしゃあ無くない

仮説: この原始星は面映ゆいが交差し合わない
1. 仮定1: 以下のように仮定する。「この原始星は面映ゆいがしかし交差し合うということはない」ということは事実と異なる
2. 事実6と仮定1から、推論1: "この原始星は力無くない"が導かれる
3. 推論1と事実8から、推論2: "その式典等は狭いかもしくはそれは力無い"が導かれる
4. 推論2と事実18と事実9から、推論3: "「この第三世代はしゃあ無い」ということは成り立つ"が導かれる
5. 推論3と事実19から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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