もし仮にこの窒素ガスは興味深いとすると「この質入れはめでたしけれどそれは太くない」ということは誤りである
fact1: この質入れは掛かり易くない fact2: 「あの直進車は太いし若々しい」ということは成り立たない fact3: もし仮に「その蝦蟇は興味深くない」ということは成り立つならばあの窒素ガスは太い fact4: 仮にこの窒素ガスが興味深いとするとあの直進車は技工士さんでないしおまけにそれは若々しいということはない fact5: もしもその蝦蟇が太いとしたらこの質入れはめでたしがしかしそれは太くない fact6: 仮にその蝦蟇は太いとしたら「この質入れはめでたし一方で太くない」ということは偽である fact7: あの直進車が若々しかないとすればその蝦蟇は太い
void -> assump1: 以下のように仮定する。この窒素ガスは興味深い; fact4 & assump1 -> int1: あの直進車は技工士さんでなくてそれは若々しかない; int1 -> int2: あの直進車は若々しかない; int2 & fact7 -> int3: その蝦蟇は太い; int3 & fact6 -> int4: 「「この質入れはめでたしがしかしそれは太くない」ということは成り立つ」ということは間違っている; [assump1] & int4 -> hypothesis;
$facts$ = fact1: この質入れは掛かり易くない fact2: 「あの直進車は太いし若々しい」ということは成り立たない fact3: もし仮に「その蝦蟇は興味深くない」ということは成り立つならばあの窒素ガスは太い fact4: 仮にこの窒素ガスが興味深いとするとあの直進車は技工士さんでないしおまけにそれは若々しいということはない fact5: もしもその蝦蟇が太いとしたらこの質入れはめでたしがしかしそれは太くない fact6: 仮にその蝦蟇は太いとしたら「この質入れはめでたし一方で太くない」ということは偽である fact7: あの直進車が若々しかないとすればその蝦蟇は太い ; $hypothesis$ = もし仮にこの窒素ガスは興味深いとすると「この質入れはめでたしけれどそれは太くない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この窒素ガスは興味深い; fact4 & assump1 -> int1: あの直進車は技工士さんでなくてそれは若々しかない; int1 -> int2: あの直進車は若々しかない; int2 & fact7 -> int3: その蝦蟇は太い; int3 & fact6 -> int4: 「「この質入れはめでたしがしかしそれは太くない」ということは成り立つ」ということは間違っている; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この質入れは掛かり易くない
事実2: 「あの直進車は太いし若々しい」ということは成り立たない
事実3: もし仮に「その蝦蟇は興味深くない」ということは成り立つならばあの窒素ガスは太い
事実4: 仮にこの窒素ガスが興味深いとするとあの直進車は技工士さんでないしおまけにそれは若々しいということはない
事実5: もしもその蝦蟇が太いとしたらこの質入れはめでたしがしかしそれは太くない
事実6: 仮にその蝦蟇は太いとしたら「この質入れはめでたし一方で太くない」ということは偽である
事実7: あの直進車が若々しかないとすればその蝦蟇は太い

仮説: もし仮にこの窒素ガスは興味深いとすると「この質入れはめでたしけれどそれは太くない」ということは誤りである
1. 仮定1: 以下のように仮定する。この窒素ガスは興味深い
2. 事実4と仮定1から、推論1: "あの直進車は技工士さんでなくてそれは若々しかない"が導かれる
3. 推論1から、推論2: "あの直進車は若々しかない"が導かれる
4. 推論2と事実7から、推論3: "その蝦蟇は太い"が導かれる
5. 推論3と事実6から、推論4: "「「この質入れはめでたしがしかしそれは太くない」ということは成り立つ」ということは間違っている"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。