その変更通知は回りくどい
fact1: もしも何らかのものが捨て難いかもしくはそれが発注するか両方ともであるとすればあの変更通知は回りくどい fact2: 「発注するか回りくどいか両方である」ものはある fact3: このデリミタは捨て難いか発注するかまたはどちらもである fact4: もしもある物は発注するとしたら「その変更通知は回りくどい」ということは真実である fact5: もしも「何らかの物は発注しないかまたは御若くないか両方ともである」ということは誤りであるとすれば捨て難いということはない fact6: もし仮に何らかのものは吉田肉腫なら「発注しないかもしくは御若くないかあるいは両方である」ということは嘘である fact7: もしもその変更通知はフィットするなら「それは吉田肉腫だ」ということは真実である fact8: 捨て難くない物は一時間毎であるかもしくは回りくどい fact9: この分析論が発注しないけれど捨て難いならその変更通知は回りくどくない fact10: 「このデリミタは発注するかあるいは回りくどいかもしくはどちらもだ」ということは正しい fact11: このＢＯＳＳは除するかもしくはそれは確認ポイントである fact12: このデリミタは回りくどい fact13: この淡水Ａは難しい fact14: その変更通知は受け入れ難いかあるいはそれは発注するかもしくは両方ともである fact15: その変更通知は御断りする fact16: このデリミタは回りくどいかもしくは発注するか両方である fact17: 「回りくどいか発注するかもしくは両方ともである」ものはある fact18: 仮にある物が発注するかあるいはそれが捨て難いかもしくは両方ともであるとするとこのデリミタは回りくどい
fact3 -> int1: 「捨て難いかあるいは発注するかあるいは両方な」ものはある; int1 & fact1 -> hypothesis;
fact3 -> int1: (Ex): ({A}x v {B}x); int1 & fact1 -> hypothesis;
その変更通知は一時間毎であるかもしくはそれは回りくどいかもしくは両方ともだ
fact21 -> int2: 仮にその変更通知が捨て難くないとすれば一時間毎であるかあるいは回りくどいかどちらもである; fact20 -> int3: 「その変更通知は発注しないか御若くないかどちらもだ」ということは誤りだとしたら捨て難くない; fact19 -> int4: その変更通知は吉田肉腫であるとすると「「それは発注しないかあるいは御若くないかあるいはどちらもである」ということは事実だ」ということは事実と異なる;
$facts$ = fact1: もしも何らかのものが捨て難いかもしくはそれが発注するか両方ともであるとすればあの変更通知は回りくどい fact2: 「発注するか回りくどいか両方である」ものはある fact3: このデリミタは捨て難いか発注するかまたはどちらもである fact4: もしもある物は発注するとしたら「その変更通知は回りくどい」ということは真実である fact5: もしも「何らかの物は発注しないかまたは御若くないか両方ともである」ということは誤りであるとすれば捨て難いということはない fact6: もし仮に何らかのものは吉田肉腫なら「発注しないかもしくは御若くないかあるいは両方である」ということは嘘である fact7: もしもその変更通知はフィットするなら「それは吉田肉腫だ」ということは真実である fact8: 捨て難くない物は一時間毎であるかもしくは回りくどい fact9: この分析論が発注しないけれど捨て難いならその変更通知は回りくどくない fact10: 「このデリミタは発注するかあるいは回りくどいかもしくはどちらもだ」ということは正しい fact11: このＢＯＳＳは除するかもしくはそれは確認ポイントである fact12: このデリミタは回りくどい fact13: この淡水Ａは難しい fact14: その変更通知は受け入れ難いかあるいはそれは発注するかもしくは両方ともである fact15: その変更通知は御断りする fact16: このデリミタは回りくどいかもしくは発注するか両方である fact17: 「回りくどいか発注するかもしくは両方ともである」ものはある fact18: 仮にある物が発注するかあるいはそれが捨て難いかもしくは両方ともであるとするとこのデリミタは回りくどい ; $hypothesis$ = その変更通知は回りくどい ; $proof$ = 
fact3 -> int1: 「捨て難いかあるいは発注するかあるいは両方な」ものはある; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしも何らかのものが捨て難いかもしくはそれが発注するか両方ともであるとすればあの変更通知は回りくどい
事実2: 「発注するか回りくどいか両方である」ものはある
事実3: このデリミタは捨て難いか発注するかまたはどちらもである
事実4: もしもある物は発注するとしたら「その変更通知は回りくどい」ということは真実である
事実5: もしも「何らかの物は発注しないかまたは御若くないか両方ともである」ということは誤りであるとすれば捨て難いということはない
事実6: もし仮に何らかのものは吉田肉腫なら「発注しないかもしくは御若くないかあるいは両方である」ということは嘘である
事実7: もしもその変更通知はフィットするなら「それは吉田肉腫だ」ということは真実である
事実8: 捨て難くない物は一時間毎であるかもしくは回りくどい
事実9: この分析論が発注しないけれど捨て難いならその変更通知は回りくどくない
事実10: 「このデリミタは発注するかあるいは回りくどいかもしくはどちらもだ」ということは正しい
事実11: このＢＯＳＳは除するかもしくはそれは確認ポイントである
事実12: このデリミタは回りくどい
事実13: この淡水Ａは難しい
事実14: その変更通知は受け入れ難いかあるいはそれは発注するかもしくは両方ともである
事実15: その変更通知は御断りする
事実16: このデリミタは回りくどいかもしくは発注するか両方である
事実17: 「回りくどいか発注するかもしくは両方ともである」ものはある
事実18: 仮にある物が発注するかあるいはそれが捨て難いかもしくは両方ともであるとするとこのデリミタは回りくどい

仮説: その変更通知は回りくどい
1. 事実3から、推論1: "「捨て難いかあるいは発注するかあるいは両方な」ものはある"が導かれる
2. 推論1と事実1から、仮説が導かれる

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