「その住宅地造成事業は岸近くであるしおまけにフス派戦争後だ」ということは成り立つということはない
fact1: もしこの某氏がインディビジュアルでないならその住宅地造成事業は岸近くであるしおまけにフス派戦争後だ fact2: もしなにがしかのものはインディビジュアルだということはないとすれば「それは岸近くであるしそれはフス派戦争後である」ということは成り立たない fact3: その住宅地造成事業はフス派戦争後だ fact4: この某氏はフス派戦争後でない fact5: この某氏はインディビジュアルでない
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
「その住宅地造成事業は岸近くであるしおまけにフス派戦争後である」ということは嘘だ
fact6 -> int1: もしその住宅地造成事業はインディビジュアルでないとすれば「岸近くであるしそれはフス派戦争後だ」ということは成り立たない;
$facts$ = fact1: もしこの某氏がインディビジュアルでないならその住宅地造成事業は岸近くであるしおまけにフス派戦争後だ fact2: もしなにがしかのものはインディビジュアルだということはないとすれば「それは岸近くであるしそれはフス派戦争後である」ということは成り立たない fact3: その住宅地造成事業はフス派戦争後だ fact4: この某氏はフス派戦争後でない fact5: この某氏はインディビジュアルでない ; $hypothesis$ = 「その住宅地造成事業は岸近くであるしおまけにフス派戦争後だ」ということは成り立つということはない ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしこの某氏がインディビジュアルでないならその住宅地造成事業は岸近くであるしおまけにフス派戦争後だ
事実2: もしなにがしかのものはインディビジュアルだということはないとすれば「それは岸近くであるしそれはフス派戦争後である」ということは成り立たない
事実3: その住宅地造成事業はフス派戦争後だ
事実4: この某氏はフス派戦争後でない
事実5: この某氏はインディビジュアルでない

仮説: 「その住宅地造成事業は岸近くであるしおまけにフス派戦争後だ」ということは成り立つということはない
1. 事実1と事実5から、仮説が否定される

よって、仮説が否定されました。