このリッターは反問する
fact1: もしも「「成立し得ないしサブウィンドウだ」ということは間違っている」物があればこのリッターは反問する fact2: 「「成立し得ないけどサブウィンドウである」ということは成り立たない」物はある
$facts$ = fact1: もしも「「成立し得ないしサブウィンドウだ」ということは間違っている」物があればこのリッターは反問する fact2: 「「成立し得ないけどサブウィンドウである」ということは成り立たない」物はある ; $hypothesis$ = このリッターは反問する ; $proof$ = 
事実1: もしも「「成立し得ないしサブウィンドウだ」ということは間違っている」物があればこのリッターは反問する
事実2: 「「成立し得ないけどサブウィンドウである」ということは成り立たない」物はある

仮説: このリッターは反問する