そのＦＡは物々しくてそれに待ち続ける
fact1: もしもなんらかの物は密約しないなら「それは物々しくてそれは待ち続ける」ということは偽だ fact2: あのデメ竹は物々しい fact3: そのＦＡは待ち続ける fact4: このカードリーダは待ち続ける fact5: そのＦＡは外国利子率だ fact6: なんらかのものが密約しないとするとそれは待ち続けるし物々しい fact7: 「そのＦＡは物々しい」ということは本当だ
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
「そのＦＡは物々しいしまた待ち続ける」ということは間違いだ
fact8 -> int1: もしもあの食べ歩きは密約するということはないならば「それは物々しくて待ち続ける」ということは間違いだ;
$facts$ = fact1: もしもなんらかの物は密約しないなら「それは物々しくてそれは待ち続ける」ということは偽だ fact2: あのデメ竹は物々しい fact3: そのＦＡは待ち続ける fact4: このカードリーダは待ち続ける fact5: そのＦＡは外国利子率だ fact6: なんらかのものが密約しないとするとそれは待ち続けるし物々しい fact7: 「そのＦＡは物々しい」ということは本当だ ; $hypothesis$ = そのＦＡは物々しくてそれに待ち続ける ; $proof$ = 
fact7 & fact3 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は密約しないなら「それは物々しくてそれは待ち続ける」ということは偽だ
事実2: あのデメ竹は物々しい
事実3: そのＦＡは待ち続ける
事実4: このカードリーダは待ち続ける
事実5: そのＦＡは外国利子率だ
事実6: なんらかのものが密約しないとするとそれは待ち続けるし物々しい
事実7: 「そのＦＡは物々しい」ということは本当だ

仮説: そのＦＡは物々しくてそれに待ち続ける
1. 事実7と事実3から、仮説が導かれる

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