「もし巻き始めないかまたは立て直せるということはないとすれば嫉妬深くない」ものはある
fact1: 仮にこの洋食屋が猛反対しないかそれが転出しないなら嫉妬深くない fact2: もし仮にあの野菜等が気恥ずかしくないかもしくはそれは遠位骨片でないなら甘くない fact3: 「確認し難くないかあるいは面白くないかあるいは両方ならば弾き易くない」物はある fact4: 「もし仮に気恥ずかしくないかまたは口喧しいかまたはどちらもであるとすれば取り易いということはない」物はある fact5: この適用例が巻き始めないかあるいは可笑しないとしたら「それは首根っこでない」ということは真実である fact6: もしもその震災時が巻き始めないかあるいはそれは立て直せるということはないかあるいは両方ともだとしたら「嫉妬深くない」ということは成り立つ fact7: もし仮にその震災時が巻き始めないかまたはそれが立て直せないならば嫉妬深い fact8: 「もし乗艦しないかあるいは要請するかもしくは両方であるならカレーライスでない」物はある fact9: 「もしも「巻き始めるということはない」ということは事実であるとすれば嫉妬深くない」物はある fact10: もしその震災時が懐かしないならばそれは鎖でない fact11: もしもその震災時が立て直せないとすると嫉妬深くない
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 仮にこの洋食屋が猛反対しないかそれが転出しないなら嫉妬深くない fact2: もし仮にあの野菜等が気恥ずかしくないかもしくはそれは遠位骨片でないなら甘くない fact3: 「確認し難くないかあるいは面白くないかあるいは両方ならば弾き易くない」物はある fact4: 「もし仮に気恥ずかしくないかまたは口喧しいかまたはどちらもであるとすれば取り易いということはない」物はある fact5: この適用例が巻き始めないかあるいは可笑しないとしたら「それは首根っこでない」ということは真実である fact6: もしもその震災時が巻き始めないかあるいはそれは立て直せるということはないかあるいは両方ともだとしたら「嫉妬深くない」ということは成り立つ fact7: もし仮にその震災時が巻き始めないかまたはそれが立て直せないならば嫉妬深い fact8: 「もし乗艦しないかあるいは要請するかもしくは両方であるならカレーライスでない」物はある fact9: 「もしも「巻き始めるということはない」ということは事実であるとすれば嫉妬深くない」物はある fact10: もしその震災時が懐かしないならばそれは鎖でない fact11: もしもその震災時が立て直せないとすると嫉妬深くない ; $hypothesis$ = 「もし巻き始めないかまたは立て直せるということはないとすれば嫉妬深くない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にこの洋食屋が猛反対しないかそれが転出しないなら嫉妬深くない
事実2: もし仮にあの野菜等が気恥ずかしくないかもしくはそれは遠位骨片でないなら甘くない
事実3: 「確認し難くないかあるいは面白くないかあるいは両方ならば弾き易くない」物はある
事実4: 「もし仮に気恥ずかしくないかまたは口喧しいかまたはどちらもであるとすれば取り易いということはない」物はある
事実5: この適用例が巻き始めないかあるいは可笑しないとしたら「それは首根っこでない」ということは真実である
事実6: もしもその震災時が巻き始めないかあるいはそれは立て直せるということはないかあるいは両方ともだとしたら「嫉妬深くない」ということは成り立つ
事実7: もし仮にその震災時が巻き始めないかまたはそれが立て直せないならば嫉妬深い
事実8: 「もし乗艦しないかあるいは要請するかもしくは両方であるならカレーライスでない」物はある
事実9: 「もしも「巻き始めるということはない」ということは事実であるとすれば嫉妬深くない」物はある
事実10: もしその震災時が懐かしないならばそれは鎖でない
事実11: もしもその震災時が立て直せないとすると嫉妬深くない

仮説: 「もし巻き始めないかまたは立て直せるということはないとすれば嫉妬深くない」ものはある
1. 事実6から、仮説が導かれる

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