このＦエバーは乗り込む
fact1: 「その新生活はグルーピングしないがしかし道裁判所だ」ということは成り立たない fact2: もし「その新生活はグルーピングしないけれど道裁判所である」ということは成り立たないとするとこのＦエバーは乗り込まない
$facts$ = fact1: 「その新生活はグルーピングしないがしかし道裁判所だ」ということは成り立たない fact2: もし「その新生活はグルーピングしないけれど道裁判所である」ということは成り立たないとするとこのＦエバーは乗り込まない ; $hypothesis$ = このＦエバーは乗り込む ; $proof$ = 
事実1: 「その新生活はグルーピングしないがしかし道裁判所だ」ということは成り立たない
事実2: もし「その新生活はグルーピングしないけれど道裁判所である」ということは成り立たないとするとこのＦエバーは乗り込まない

仮説: このＦエバーは乗り込む