この統一行動は切り始めるけれど敗訴しない
fact1: このＳＡＴは切り始める fact2: 仮にこのレジャー施設が咲き広がらないしそれに放置出来ないならこの統一行動は放置出来る fact3: この統一行動は切り始める fact4: 「その定期試験は手挽きでない」ということは誤りだ fact5: あの六番人気以下は敗訴しない fact6: その定期試験は手挽きなら「それは浅黒い」ということは事実と異ならない fact7: まどろっこしい物はある fact8: 「もしも何らかのものは利かすとすれば「それは咲き広がらないかもしくは御安いか両方だ」ということは事実でない」ということは事実だ fact9: もし「その定期試験は咲き広がらないかもしくは御安いかもしくは両方だ」ということは確かでないとするとこのレジャー施設は咲き広がらない fact10: その定期試験が浅黒いならばそれは利かす fact11: 仮にこのレジャー施設はがめつかないならばそれは放置出来ない fact12: もしもなにがしかの物は放置出来れば「それは切り始めるし敗訴するということはない」ということは誤っている fact13: この統一行動は敗訴しない
fact3 & fact13 -> hypothesis;
fact3 & fact13 -> hypothesis;
「この統一行動は切り始める一方でそれは敗訴しない」ということは誤っている
fact15 -> int1: この統一行動は放置出来るとすれば「切り始めるが敗訴しない」ということは事実と異なる; fact21 -> int2: もしもその定期試験は利かすとすると「咲き広がらないか御安いかあるいはどちらもだ」ということは成り立たない; fact19 & fact17 -> int3: 「その定期試験は浅黒い」ということは真実だ; fact22 & int3 -> int4: その定期試験は利かす; int2 & int4 -> int5: 「その定期試験は咲き広がるということはないか御安いかあるいは両方ともである」ということは嘘である; fact18 & int5 -> int6: 「このレジャー施設は咲き広がらない」ということは確かだ;
$facts$ = fact1: このＳＡＴは切り始める fact2: 仮にこのレジャー施設が咲き広がらないしそれに放置出来ないならこの統一行動は放置出来る fact3: この統一行動は切り始める fact4: 「その定期試験は手挽きでない」ということは誤りだ fact5: あの六番人気以下は敗訴しない fact6: その定期試験は手挽きなら「それは浅黒い」ということは事実と異ならない fact7: まどろっこしい物はある fact8: 「もしも何らかのものは利かすとすれば「それは咲き広がらないかもしくは御安いか両方だ」ということは事実でない」ということは事実だ fact9: もし「その定期試験は咲き広がらないかもしくは御安いかもしくは両方だ」ということは確かでないとするとこのレジャー施設は咲き広がらない fact10: その定期試験が浅黒いならばそれは利かす fact11: 仮にこのレジャー施設はがめつかないならばそれは放置出来ない fact12: もしもなにがしかの物は放置出来れば「それは切り始めるし敗訴するということはない」ということは誤っている fact13: この統一行動は敗訴しない ; $hypothesis$ = この統一行動は切り始めるけれど敗訴しない ; $proof$ = 
fact3 & fact13 -> hypothesis; __PROVED__
事実1: このＳＡＴは切り始める
事実2: 仮にこのレジャー施設が咲き広がらないしそれに放置出来ないならこの統一行動は放置出来る
事実3: この統一行動は切り始める
事実4: 「その定期試験は手挽きでない」ということは誤りだ
事実5: あの六番人気以下は敗訴しない
事実6: その定期試験は手挽きなら「それは浅黒い」ということは事実と異ならない
事実7: まどろっこしい物はある
事実8: 「もしも何らかのものは利かすとすれば「それは咲き広がらないかもしくは御安いか両方だ」ということは事実でない」ということは事実だ
事実9: もし「その定期試験は咲き広がらないかもしくは御安いかもしくは両方だ」ということは確かでないとするとこのレジャー施設は咲き広がらない
事実10: その定期試験が浅黒いならばそれは利かす
事実11: 仮にこのレジャー施設はがめつかないならばそれは放置出来ない
事実12: もしもなにがしかの物は放置出来れば「それは切り始めるし敗訴するということはない」ということは誤っている
事実13: この統一行動は敗訴しない

仮説: この統一行動は切り始めるけれど敗訴しない
1. 事実3と事実13から、仮説が導かれる

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