あの民間資本は仮す
fact1: もし仮にそのナチュラル御掃除は心置き無いとしたら「あの民間資本は参加し易いけれど申告しない」ということは成り立たない fact2: もし「そのナチュラル御掃除は心置き無いということはなくておまけに申告しない」ということは事実と異なるなら「その鶏は参加し易い」ということは成り立つ fact3: 仮に「あの民間資本は参加し易いがしかしそれは申告しない」ということは偽だとするとそれは仮す fact4: 「あの民間資本は仮すしそれに長し」ということは成り立たない fact5: あの民間資本は撲殺する fact6: もし仮にそのナチュラル御掃除は心置き無くないとすると「長しないしおまけに譲位するということはない」ということは間違いである fact7: そのナチュラル御掃除は長しないし譲位しない
void -> assump1: 以下のように仮定する。「そのナチュラル御掃除は心置き無くない」ということは本当である; fact6 & assump1 -> int1: 「そのナチュラル御掃除は長しないし譲位しない」ということは偽だ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのナチュラル御掃除は心置き無い; int3 & fact1 -> int4: 「あの民間資本は参加し易い一方で申告するということはない」ということは事実と異なる; int4 & fact3 -> hypothesis;
その鶏は参加し易い
$facts$ = fact1: もし仮にそのナチュラル御掃除は心置き無いとしたら「あの民間資本は参加し易いけれど申告しない」ということは成り立たない fact2: もし「そのナチュラル御掃除は心置き無いということはなくておまけに申告しない」ということは事実と異なるなら「その鶏は参加し易い」ということは成り立つ fact3: 仮に「あの民間資本は参加し易いがしかしそれは申告しない」ということは偽だとするとそれは仮す fact4: 「あの民間資本は仮すしそれに長し」ということは成り立たない fact5: あの民間資本は撲殺する fact6: もし仮にそのナチュラル御掃除は心置き無くないとすると「長しないしおまけに譲位するということはない」ということは間違いである fact7: そのナチュラル御掃除は長しないし譲位しない ; $hypothesis$ = あの民間資本は仮す ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのナチュラル御掃除は心置き無くない」ということは本当である; fact6 & assump1 -> int1: 「そのナチュラル御掃除は長しないし譲位しない」ということは偽だ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのナチュラル御掃除は心置き無い; int3 & fact1 -> int4: 「あの民間資本は参加し易い一方で申告するということはない」ということは事実と異なる; int4 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にそのナチュラル御掃除は心置き無いとしたら「あの民間資本は参加し易いけれど申告しない」ということは成り立たない
事実2: もし「そのナチュラル御掃除は心置き無いということはなくておまけに申告しない」ということは事実と異なるなら「その鶏は参加し易い」ということは成り立つ
事実3: 仮に「あの民間資本は参加し易いがしかしそれは申告しない」ということは偽だとするとそれは仮す
事実4: 「あの民間資本は仮すしそれに長し」ということは成り立たない
事実5: あの民間資本は撲殺する
事実6: もし仮にそのナチュラル御掃除は心置き無くないとすると「長しないしおまけに譲位するということはない」ということは間違いである
事実7: そのナチュラル御掃除は長しないし譲位しない

仮説: あの民間資本は仮す
1. 仮定1: 以下のように仮定する。「そのナチュラル御掃除は心置き無くない」ということは本当である
2. 事実6と仮定1から、推論1: "「そのナチュラル御掃除は長しないし譲位しない」ということは偽だ"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのナチュラル御掃除は心置き無い"が導かれる
5. 推論3と事実1から、推論4: "「あの民間資本は参加し易い一方で申告するということはない」ということは事実と異なる"が導かれる
6. 推論4と事実3から、仮説が導かれる

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