「その一車種は来難くないなら「あの仮設住宅は一剣でないがしかしジェントルマンだ」ということは嘘だ」ということは成り立たない
fact1: もしもその一車種が補助席でない一方でそれは荒いとすると「あの第二群はリハーサルしない」ということは成り立つ fact2: もし仮に「この九十七戦はジェントルマンでない」ということは正しいとすると「あの仮設住宅は一剣でないけどジェントルマンである」ということは正しくない fact3: もしもあの第二群はリハーサルしないとすると「この九十七戦は居宅要介護被保険者だ一方で抜き難くない」ということは成り立つ fact4: もしその一車種が来難くないなら補助席でないしまたそれは荒い fact5: もしもこの九十七戦がジェントルマンであるということはないならばあの第二群はリハーサルしないけれど抜き難い fact6: 抜き難くない居宅要介護被保険者はジェントルマンでない
void -> assump1: 以下のように仮定する。その一車種は来難くない; fact4 & assump1 -> int1: その一車種は補助席でないけれど荒い; int1 & fact1 -> int2: あの第二群はリハーサルしない; int2 & fact3 -> int3: この九十七戦は居宅要介護被保険者であるが抜き難くない; fact6 -> int4: もしもこの九十七戦は居宅要介護被保険者だがしかし抜き難くないとすればジェントルマンだということはない; int3 & int4 -> int5: この九十七戦はジェントルマンでない; int5 & fact2 -> int6: 「あの仮設住宅は一剣でない一方でジェントルマンである」ということは成り立たない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしもその一車種が補助席でない一方でそれは荒いとすると「あの第二群はリハーサルしない」ということは成り立つ fact2: もし仮に「この九十七戦はジェントルマンでない」ということは正しいとすると「あの仮設住宅は一剣でないけどジェントルマンである」ということは正しくない fact3: もしもあの第二群はリハーサルしないとすると「この九十七戦は居宅要介護被保険者だ一方で抜き難くない」ということは成り立つ fact4: もしその一車種が来難くないなら補助席でないしまたそれは荒い fact5: もしもこの九十七戦がジェントルマンであるということはないならばあの第二群はリハーサルしないけれど抜き難い fact6: 抜き難くない居宅要介護被保険者はジェントルマンでない ; $hypothesis$ = 「その一車種は来難くないなら「あの仮設住宅は一剣でないがしかしジェントルマンだ」ということは嘘だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その一車種は来難くない; fact4 & assump1 -> int1: その一車種は補助席でないけれど荒い; int1 & fact1 -> int2: あの第二群はリハーサルしない; int2 & fact3 -> int3: この九十七戦は居宅要介護被保険者であるが抜き難くない; fact6 -> int4: もしもこの九十七戦は居宅要介護被保険者だがしかし抜き難くないとすればジェントルマンだということはない; int3 & int4 -> int5: この九十七戦はジェントルマンでない; int5 & fact2 -> int6: 「あの仮設住宅は一剣でない一方でジェントルマンである」ということは成り立たない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしもその一車種が補助席でない一方でそれは荒いとすると「あの第二群はリハーサルしない」ということは成り立つ
事実2: もし仮に「この九十七戦はジェントルマンでない」ということは正しいとすると「あの仮設住宅は一剣でないけどジェントルマンである」ということは正しくない
事実3: もしもあの第二群はリハーサルしないとすると「この九十七戦は居宅要介護被保険者だ一方で抜き難くない」ということは成り立つ
事実4: もしその一車種が来難くないなら補助席でないしまたそれは荒い
事実5: もしもこの九十七戦がジェントルマンであるということはないならばあの第二群はリハーサルしないけれど抜き難い
事実6: 抜き難くない居宅要介護被保険者はジェントルマンでない

仮説: 「その一車種は来難くないなら「あの仮設住宅は一剣でないがしかしジェントルマンだ」ということは嘘だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。その一車種は来難くない
2. 事実4と仮定1から、推論1: "その一車種は補助席でないけれど荒い"が導かれる
3. 推論1と事実1から、推論2: "あの第二群はリハーサルしない"が導かれる
4. 推論2と事実3から、推論3: "この九十七戦は居宅要介護被保険者であるが抜き難くない"が導かれる
5. 事実6から、推論4: "もしもこの九十七戦は居宅要介護被保険者だがしかし抜き難くないとすればジェントルマンだということはない"が導かれる
6. 推論3と推論4から、推論5: "この九十七戦はジェントルマンでない"が導かれる
7. 推論5と事実2から、推論6: "「あの仮設住宅は一剣でない一方でジェントルマンである」ということは成り立たない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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