「仮にあの土地所有者が例会ならこの一般道路はクラムシェル型だということはなくて更に定例会であるということはない」ということは成り立たない
fact1: ある物が経口感染しないならばクラムシェル型だしおまけに定例会でない fact2: あるものが経口感染しないとすると定例会でない fact3: 仮にあの土地所有者が空々しいしかつそれが例会であるならばこの一般道路は経口感染しない fact4: 「あの土地所有者は空々しい」ということは真実である fact5: 仮になんらかのものが経口感染しないならばクラムシェル型でないし加えてそれは定例会でない fact6: あの書き下し文は二箇国語だけれど例会だということはない
void -> assump1: 以下のように仮定する。あの土地所有者は例会である; fact4 & assump1 -> int1: あの土地所有者は空々しいしおまけに例会だ; int1 & fact3 -> int2: この一般道路は経口感染しない; fact5 -> int3: もしこの一般道路が経口感染しないならクラムシェル型だということはなくて定例会でない; int2 & int3 -> int4: この一般道路はクラムシェル型でなくて定例会でない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: ある物が経口感染しないならばクラムシェル型だしおまけに定例会でない fact2: あるものが経口感染しないとすると定例会でない fact3: 仮にあの土地所有者が空々しいしかつそれが例会であるならばこの一般道路は経口感染しない fact4: 「あの土地所有者は空々しい」ということは真実である fact5: 仮になんらかのものが経口感染しないならばクラムシェル型でないし加えてそれは定例会でない fact6: あの書き下し文は二箇国語だけれど例会だということはない ; $hypothesis$ = 「仮にあの土地所有者が例会ならこの一般道路はクラムシェル型だということはなくて更に定例会であるということはない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの土地所有者は例会である; fact4 & assump1 -> int1: あの土地所有者は空々しいしおまけに例会だ; int1 & fact3 -> int2: この一般道路は経口感染しない; fact5 -> int3: もしこの一般道路が経口感染しないならクラムシェル型だということはなくて定例会でない; int2 & int3 -> int4: この一般道路はクラムシェル型でなくて定例会でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: ある物が経口感染しないならばクラムシェル型だしおまけに定例会でない
事実2: あるものが経口感染しないとすると定例会でない
事実3: 仮にあの土地所有者が空々しいしかつそれが例会であるならばこの一般道路は経口感染しない
事実4: 「あの土地所有者は空々しい」ということは真実である
事実5: 仮になんらかのものが経口感染しないならばクラムシェル型でないし加えてそれは定例会でない
事実6: あの書き下し文は二箇国語だけれど例会だということはない

仮説: 「仮にあの土地所有者が例会ならこの一般道路はクラムシェル型だということはなくて更に定例会であるということはない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの土地所有者は例会である
2. 事実4と仮定1から、推論1: "あの土地所有者は空々しいしおまけに例会だ"が導かれる
3. 推論1と事実3から、推論2: "この一般道路は経口感染しない"が導かれる
4. 事実5から、推論3: "もしこの一般道路が経口感染しないならクラムシェル型だということはなくて定例会でない"が導かれる
5. 推論2と推論3から、推論4: "この一般道路はクラムシェル型でなくて定例会でない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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