「もし「上告するしその上勝ち易いない」ということは成り立たないとすると厳しい」物はある
fact1: 「仮に春らしいとすると見慣れ過ぎる」物はある fact2: 「仮に勝ち易いとすると厳しい」ものはある fact3: もしこの後件が上告する一方でそれが勝ち易くないなら厳しい fact4: もし仮に「なにがしかの物は決め付ける一方でそれは生まれ難くない」ということは成り立たないならフライアッシュだ fact5: 「「もし仮に「三年後で選択制だ」ということは成り立たないなら立法する」ものはある」ということは真実だ fact6: 仮に「この後件は上告するがしかしそれは勝ち易くない」ということは間違っているとするとそれは厳しい fact7: 「仮に「厳選するしまた吸収され難い」ということは誤っているとしたら別れる」ものはある fact8: 「もしも上告するということはないとしたら厳しい」物はある fact9: 「もし上告する一方で勝ち易くないとすると厳しい」ものはある fact10: もしも「この後件は上告するし勝ち易い」ということは間違っていれば厳しい
fact6 -> hypothesis;
「もし「決め付ける一方で生まれ難くない」ということは成り立たないならフライアッシュである」ものはある
fact11 -> int1: 「あのセル同士は決め付けるがそれは生まれ難いということはない」ということは偽だとしたらフライアッシュである; int1 -> hypothesis;
$facts$ = fact1: 「仮に春らしいとすると見慣れ過ぎる」物はある fact2: 「仮に勝ち易いとすると厳しい」ものはある fact3: もしこの後件が上告する一方でそれが勝ち易くないなら厳しい fact4: もし仮に「なにがしかの物は決め付ける一方でそれは生まれ難くない」ということは成り立たないならフライアッシュだ fact5: 「「もし仮に「三年後で選択制だ」ということは成り立たないなら立法する」ものはある」ということは真実だ fact6: 仮に「この後件は上告するがしかしそれは勝ち易くない」ということは間違っているとするとそれは厳しい fact7: 「仮に「厳選するしまた吸収され難い」ということは誤っているとしたら別れる」ものはある fact8: 「もしも上告するということはないとしたら厳しい」物はある fact9: 「もし上告する一方で勝ち易くないとすると厳しい」ものはある fact10: もしも「この後件は上告するし勝ち易い」ということは間違っていれば厳しい ; $hypothesis$ = 「もし「上告するしその上勝ち易いない」ということは成り立たないとすると厳しい」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「仮に春らしいとすると見慣れ過ぎる」物はある
事実2: 「仮に勝ち易いとすると厳しい」ものはある
事実3: もしこの後件が上告する一方でそれが勝ち易くないなら厳しい
事実4: もし仮に「なにがしかの物は決め付ける一方でそれは生まれ難くない」ということは成り立たないならフライアッシュだ
事実5: 「「もし仮に「三年後で選択制だ」ということは成り立たないなら立法する」ものはある」ということは真実だ
事実6: 仮に「この後件は上告するがしかしそれは勝ち易くない」ということは間違っているとするとそれは厳しい
事実7: 「仮に「厳選するしまた吸収され難い」ということは誤っているとしたら別れる」ものはある
事実8: 「もしも上告するということはないとしたら厳しい」物はある
事実9: 「もし上告する一方で勝ち易くないとすると厳しい」ものはある
事実10: もしも「この後件は上告するし勝ち易い」ということは間違っていれば厳しい

仮説: 「もし「上告するしその上勝ち易いない」ということは成り立たないとすると厳しい」物はある
1. 事実6から、仮説が導かれる

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