そのファイルメーカープロは学芸部でない
fact1: あの長田新は創始する fact2: あの長田新はさもしくない fact3: 全ては気高しない fact4: もし仮に「とある物は遠赤外線だがしかしでっかくない」ということは成り立たないならそれは創始しない fact5: もしも何らかのものが創始しないならそれはさもしいかまたは浸り切るかまたはどちらもである fact6: もし仮にあのテキストフィールドがさもしいならそのファイルメーカープロはさもしい fact7: 「もしなにがしかのものは気高しないなら「適格合併でないしそれは説き示さない」ということは偽である」ということは正しい fact8: その合成色は充填量でない fact9: 「あの自動能は変化し易くない」ということは本当ならば「「あの長田新は遠赤外線であるがでっかくない」ということは成り立つ」ということは誤っている fact10: もし仮にあの長田新が充填量でないかあるいは創始しないかあるいはどちらもだとするとあのテキストフィールドは創始しない fact11: その合成色は容易い fact12: そのファイルメーカープロは立て易い fact13: もしその合成色は創始しないとすると「立て易くて学芸部である」ということは偽だ fact14: もしもその合成色が充填量だということはないとすると立て易くないけれどきつい fact15: もし仮にあのテキストフィールドが浸り切るしまた創始するとするとそのファイルメーカープロは学芸部であるということはない fact16: もしあのテキストフィールドが浸り切るとするとそのファイルメーカープロはさもしい fact17: なんらかのものはさもしくないなら「それは立て易くなくてきつい」ということは成り立たない fact18: もしその合成色がさもしいならあのテキストフィールドは浸り切る fact19: あの五卿は創始する fact20: 仮にあの長田新が創始するとしたらあのテキストフィールドは創始する fact21: 「あのテキストフィールドは創始するということはないが立て易い」ということは事実でない
fact17 -> int1: その合成色はさもしくないとしたら「それは立て易くないがしかしきつい」ということは間違いである; void -> assump1: 以下のように仮定する。その合成色はさもしくない; int1 & assump1 -> int2: 「その合成色は立て易くないがしかしきつい」ということは誤りである; fact14 & fact8 -> int3: その合成色は立て易くない一方できつい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その合成色はさもしい; int5 & fact18 -> int6: あのテキストフィールドは浸り切る; fact1 & fact20 -> int7: あのテキストフィールドは創始する; int6 & int7 -> int8: あのテキストフィールドは浸り切るしかつ創始する; int8 & fact15 -> hypothesis;
そのファイルメーカープロは学芸部である
fact27 -> int9: 仮に「あの長田新は遠赤外線だ一方でそれはでっかいということはない」ということは事実でないとすれば創始しない; fact22 -> int10: もしもこの線形は気高しということはないとすれば「適格合併でないしおまけに説き示さない」ということは間違っている; fact29 -> int11: この線形は気高しない; int10 & int11 -> int12: 「この線形は適格合併でないし説き示さない」ということは間違いだ; int12 -> int13: 適格合併であるということはなくてそれは説き示さないというものはない; int13 -> int14: 「あの自動能は適格合併でなくて更にそれは説き示すということはない」ということは誤りである; fact25 -> int15: もしもあのテキストフィールドが創始しないならそれはさもしいかまたはそれは浸り切るかまたは両方である;
$facts$ = fact1: あの長田新は創始する fact2: あの長田新はさもしくない fact3: 全ては気高しない fact4: もし仮に「とある物は遠赤外線だがしかしでっかくない」ということは成り立たないならそれは創始しない fact5: もしも何らかのものが創始しないならそれはさもしいかまたは浸り切るかまたはどちらもである fact6: もし仮にあのテキストフィールドがさもしいならそのファイルメーカープロはさもしい fact7: 「もしなにがしかのものは気高しないなら「適格合併でないしそれは説き示さない」ということは偽である」ということは正しい fact8: その合成色は充填量でない fact9: 「あの自動能は変化し易くない」ということは本当ならば「「あの長田新は遠赤外線であるがでっかくない」ということは成り立つ」ということは誤っている fact10: もし仮にあの長田新が充填量でないかあるいは創始しないかあるいはどちらもだとするとあのテキストフィールドは創始しない fact11: その合成色は容易い fact12: そのファイルメーカープロは立て易い fact13: もしその合成色は創始しないとすると「立て易くて学芸部である」ということは偽だ fact14: もしもその合成色が充填量だということはないとすると立て易くないけれどきつい fact15: もし仮にあのテキストフィールドが浸り切るしまた創始するとするとそのファイルメーカープロは学芸部であるということはない fact16: もしあのテキストフィールドが浸り切るとするとそのファイルメーカープロはさもしい fact17: なんらかのものはさもしくないなら「それは立て易くなくてきつい」ということは成り立たない fact18: もしその合成色がさもしいならあのテキストフィールドは浸り切る fact19: あの五卿は創始する fact20: 仮にあの長田新が創始するとしたらあのテキストフィールドは創始する fact21: 「あのテキストフィールドは創始するということはないが立て易い」ということは事実でない ; $hypothesis$ = そのファイルメーカープロは学芸部でない ; $proof$ = 
fact17 -> int1: その合成色はさもしくないとしたら「それは立て易くないがしかしきつい」ということは間違いである; void -> assump1: 以下のように仮定する。その合成色はさもしくない; int1 & assump1 -> int2: 「その合成色は立て易くないがしかしきつい」ということは誤りである; fact14 & fact8 -> int3: その合成色は立て易くない一方できつい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その合成色はさもしい; int5 & fact18 -> int6: あのテキストフィールドは浸り切る; fact1 & fact20 -> int7: あのテキストフィールドは創始する; int6 & int7 -> int8: あのテキストフィールドは浸り切るしかつ創始する; int8 & fact15 -> hypothesis; __PROVED__
事実1: あの長田新は創始する
事実2: あの長田新はさもしくない
事実3: 全ては気高しない
事実4: もし仮に「とある物は遠赤外線だがしかしでっかくない」ということは成り立たないならそれは創始しない
事実5: もしも何らかのものが創始しないならそれはさもしいかまたは浸り切るかまたはどちらもである
事実6: もし仮にあのテキストフィールドがさもしいならそのファイルメーカープロはさもしい
事実7: 「もしなにがしかのものは気高しないなら「適格合併でないしそれは説き示さない」ということは偽である」ということは正しい
事実8: その合成色は充填量でない
事実9: 「あの自動能は変化し易くない」ということは本当ならば「「あの長田新は遠赤外線であるがでっかくない」ということは成り立つ」ということは誤っている
事実10: もし仮にあの長田新が充填量でないかあるいは創始しないかあるいはどちらもだとするとあのテキストフィールドは創始しない
事実11: その合成色は容易い
事実12: そのファイルメーカープロは立て易い
事実13: もしその合成色は創始しないとすると「立て易くて学芸部である」ということは偽だ
事実14: もしもその合成色が充填量だということはないとすると立て易くないけれどきつい
事実15: もし仮にあのテキストフィールドが浸り切るしまた創始するとするとそのファイルメーカープロは学芸部であるということはない
事実16: もしあのテキストフィールドが浸り切るとするとそのファイルメーカープロはさもしい
事実17: なんらかのものはさもしくないなら「それは立て易くなくてきつい」ということは成り立たない
事実18: もしその合成色がさもしいならあのテキストフィールドは浸り切る
事実19: あの五卿は創始する
事実20: 仮にあの長田新が創始するとしたらあのテキストフィールドは創始する
事実21: 「あのテキストフィールドは創始するということはないが立て易い」ということは事実でない

仮説: そのファイルメーカープロは学芸部でない
1. 事実17から、推論1: "その合成色はさもしくないとしたら「それは立て易くないがしかしきつい」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。その合成色はさもしくない
3. 推論1と仮定1から、推論2: "「その合成色は立て易くないがしかしきつい」ということは誤りである"が導かれる
4. 事実14と事実8から、推論3: "その合成色は立て易くない一方できつい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その合成色はさもしい"が導かれる
7. 推論5と事実18から、推論6: "あのテキストフィールドは浸り切る"が導かれる
8. 事実1と事実20から、推論7: "あのテキストフィールドは創始する"が導かれる
9. 推論6と推論7から、推論8: "あのテキストフィールドは浸り切るしかつ創始する"が導かれる
10. 推論8と事実15から、仮説が導かれる

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