仮にその十分以上が活動し易いならこの夏蜜柑は懸念する
fact1: もしとあるものが固くないとすればそれは面会出来ない fact2: もし「この夏蜜柑は活動し易いしそれは一言メッセージである」ということは誤っているならそれは懸念するということはない fact3: もし「この夏蜜柑は大阪万博でない」ということは事実であるとすれば苦しない fact4: 仮にその十分以上が懸念するとすればあの夏蜜柑はやんごとない fact5: 仮に「なにがしかの物は弛いしその上温かい」ということは間違っていれば「それは育て易くない」ということは真実だ fact6: もし「なにがしかの物は懸念するしさらに活動し易い」ということは偽であるとしたらそれはやんごとない fact7: もし「とあるものはやんごとないし加えてそれは一言メッセージである」ということは嘘であるとすると活動し易くない fact8: 「その十分以上はやんごとないしそれは懸念する」ということは成り立たない fact9: 何らかの物は一言メッセージでないとするとそれは活動し易くない fact10: もし仮に「とある物は焼き直すししかもそれはハンバーガーモデルだ」ということは誤りだとすればピーノーンカンでない fact11: もし「その十分以上は立ち遅れるしその上開始前だ」ということは誤っていれば騒々しい fact12: 「この夏蜜柑は一言メッセージであるししかもやんごとない」ということは成り立たないとしたら懸念する fact13: もしその十分以上が皮肉っぽくないとするとそれは取り辛いということはない fact14: もしもこの夏蜜柑が活動し易いとするとその十分以上は懸念する fact15: もし仮に「なにかはＭＢＳであるし加えてそれは逆らう」ということは間違いであるとするとそれは表白しない fact16: もしもその十分以上が懸念するとするとこの夏蜜柑は活動し易い fact17: もしもこの夏蜜柑は懸念しないならば「その十分以上はやんごとなくてかつ一言メッセージである」ということは成り立たない fact18: もしその十分以上は一言メッセージであるということはないとすると活動し易くない fact19: 「この夏蜜柑はやんごとないし懸念する」ということは正しくない fact20: 仮にこの夏蜜柑は懸念するとすれば「その十分以上はやんごとないし加えて一言メッセージだ」ということは成り立たない fact21: もしこの夏蜜柑は一言メッセージでないとしたらそれは懸念しない
void -> assump2: 以下のように仮定する。この夏蜜柑は懸念しない; fact17 & assump2 -> int1: 「その十分以上はやんごとなくてさらに一言メッセージだ」ということは嘘である; fact7 -> int2: 仮に「その十分以上はやんごとないし一言メッセージである」ということは成り立たないならばそれは活動し易くない; int1 & int2 -> int3: その十分以上は活動し易くない; void -> assump1: 以下のように仮定する。その十分以上は活動し易い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この夏蜜柑は懸念する; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしとあるものが固くないとすればそれは面会出来ない fact2: もし「この夏蜜柑は活動し易いしそれは一言メッセージである」ということは誤っているならそれは懸念するということはない fact3: もし「この夏蜜柑は大阪万博でない」ということは事実であるとすれば苦しない fact4: 仮にその十分以上が懸念するとすればあの夏蜜柑はやんごとない fact5: 仮に「なにがしかの物は弛いしその上温かい」ということは間違っていれば「それは育て易くない」ということは真実だ fact6: もし「なにがしかの物は懸念するしさらに活動し易い」ということは偽であるとしたらそれはやんごとない fact7: もし「とあるものはやんごとないし加えてそれは一言メッセージである」ということは嘘であるとすると活動し易くない fact8: 「その十分以上はやんごとないしそれは懸念する」ということは成り立たない fact9: 何らかの物は一言メッセージでないとするとそれは活動し易くない fact10: もし仮に「とある物は焼き直すししかもそれはハンバーガーモデルだ」ということは誤りだとすればピーノーンカンでない fact11: もし「その十分以上は立ち遅れるしその上開始前だ」ということは誤っていれば騒々しい fact12: 「この夏蜜柑は一言メッセージであるししかもやんごとない」ということは成り立たないとしたら懸念する fact13: もしその十分以上が皮肉っぽくないとするとそれは取り辛いということはない fact14: もしもこの夏蜜柑が活動し易いとするとその十分以上は懸念する fact15: もし仮に「なにかはＭＢＳであるし加えてそれは逆らう」ということは間違いであるとするとそれは表白しない fact16: もしもその十分以上が懸念するとするとこの夏蜜柑は活動し易い fact17: もしもこの夏蜜柑は懸念しないならば「その十分以上はやんごとなくてかつ一言メッセージである」ということは成り立たない fact18: もしその十分以上は一言メッセージであるということはないとすると活動し易くない fact19: 「この夏蜜柑はやんごとないし懸念する」ということは正しくない fact20: 仮にこの夏蜜柑は懸念するとすれば「その十分以上はやんごとないし加えて一言メッセージだ」ということは成り立たない fact21: もしこの夏蜜柑は一言メッセージでないとしたらそれは懸念しない ; $hypothesis$ = 仮にその十分以上が活動し易いならこの夏蜜柑は懸念する ; $proof$ = 
void -> assump2: 以下のように仮定する。この夏蜜柑は懸念しない; fact17 & assump2 -> int1: 「その十分以上はやんごとなくてさらに一言メッセージだ」ということは嘘である; fact7 -> int2: 仮に「その十分以上はやんごとないし一言メッセージである」ということは成り立たないならばそれは活動し易くない; int1 & int2 -> int3: その十分以上は活動し易くない; void -> assump1: 以下のように仮定する。その十分以上は活動し易い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: この夏蜜柑は懸念する; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしとあるものが固くないとすればそれは面会出来ない
事実2: もし「この夏蜜柑は活動し易いしそれは一言メッセージである」ということは誤っているならそれは懸念するということはない
事実3: もし「この夏蜜柑は大阪万博でない」ということは事実であるとすれば苦しない
事実4: 仮にその十分以上が懸念するとすればあの夏蜜柑はやんごとない
事実5: 仮に「なにがしかの物は弛いしその上温かい」ということは間違っていれば「それは育て易くない」ということは真実だ
事実6: もし「なにがしかの物は懸念するしさらに活動し易い」ということは偽であるとしたらそれはやんごとない
事実7: もし「とあるものはやんごとないし加えてそれは一言メッセージである」ということは嘘であるとすると活動し易くない
事実8: 「その十分以上はやんごとないしそれは懸念する」ということは成り立たない
事実9: 何らかの物は一言メッセージでないとするとそれは活動し易くない
事実10: もし仮に「とある物は焼き直すししかもそれはハンバーガーモデルだ」ということは誤りだとすればピーノーンカンでない
事実11: もし「その十分以上は立ち遅れるしその上開始前だ」ということは誤っていれば騒々しい
事実12: 「この夏蜜柑は一言メッセージであるししかもやんごとない」ということは成り立たないとしたら懸念する
事実13: もしその十分以上が皮肉っぽくないとするとそれは取り辛いということはない
事実14: もしもこの夏蜜柑が活動し易いとするとその十分以上は懸念する
事実15: もし仮に「なにかはＭＢＳであるし加えてそれは逆らう」ということは間違いであるとするとそれは表白しない
事実16: もしもその十分以上が懸念するとするとこの夏蜜柑は活動し易い
事実17: もしもこの夏蜜柑は懸念しないならば「その十分以上はやんごとなくてかつ一言メッセージである」ということは成り立たない
事実18: もしその十分以上は一言メッセージであるということはないとすると活動し易くない
事実19: 「この夏蜜柑はやんごとないし懸念する」ということは正しくない
事実20: 仮にこの夏蜜柑は懸念するとすれば「その十分以上はやんごとないし加えて一言メッセージだ」ということは成り立たない
事実21: もしこの夏蜜柑は一言メッセージでないとしたらそれは懸念しない

仮説: 仮にその十分以上が活動し易いならこの夏蜜柑は懸念する
1. 仮定2: 以下のように仮定する。この夏蜜柑は懸念しない
2. 事実17と仮定2から、推論1: "「その十分以上はやんごとなくてさらに一言メッセージだ」ということは嘘である"が導かれる
3. 事実7から、推論2: "仮に「その十分以上はやんごとないし一言メッセージである」ということは成り立たないならばそれは活動し易くない"が導かれる
4. 推論1と推論2から、推論3: "その十分以上は活動し易くない"が導かれる
5. 仮定1: 以下のように仮定する。その十分以上は活動し易い
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "この夏蜜柑は懸念する"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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