あの両手足は韜晦でない
fact1: この癌ちゃんは大差無い fact2: もし仮にその美術作品が因むということはないとすればこの癌ちゃんは少ししなくてその上楽士でない fact3: あの両手足は薬草茶である fact4: 何らかの物が大差無くないとしたらそれは薬草茶であるしそれは韜晦である fact5: もし仮に「「この癌ちゃんは少しするが因まない」ということは成り立たない」ということは真実ならそれは楽士だということはない fact6: 仮にあの両手足が韜晦でまた薬草茶ならこの癌ちゃんは大差無くない
void -> assump1: 以下のように仮定する。あの両手足は韜晦だ; assump1 & fact3 -> int1: あの両手足が韜晦だしその上それは薬草茶である; int1 & fact6 -> int2: この癌ちゃんは大差無くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
そのインテリ層は韜晦である
$facts$ = fact1: この癌ちゃんは大差無い fact2: もし仮にその美術作品が因むということはないとすればこの癌ちゃんは少ししなくてその上楽士でない fact3: あの両手足は薬草茶である fact4: 何らかの物が大差無くないとしたらそれは薬草茶であるしそれは韜晦である fact5: もし仮に「「この癌ちゃんは少しするが因まない」ということは成り立たない」ということは真実ならそれは楽士だということはない fact6: 仮にあの両手足が韜晦でまた薬草茶ならこの癌ちゃんは大差無くない ; $hypothesis$ = あの両手足は韜晦でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの両手足は韜晦だ; assump1 & fact3 -> int1: あの両手足が韜晦だしその上それは薬草茶である; int1 & fact6 -> int2: この癌ちゃんは大差無くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この癌ちゃんは大差無い
事実2: もし仮にその美術作品が因むということはないとすればこの癌ちゃんは少ししなくてその上楽士でない
事実3: あの両手足は薬草茶である
事実4: 何らかの物が大差無くないとしたらそれは薬草茶であるしそれは韜晦である
事実5: もし仮に「「この癌ちゃんは少しするが因まない」ということは成り立たない」ということは真実ならそれは楽士だということはない
事実6: 仮にあの両手足が韜晦でまた薬草茶ならこの癌ちゃんは大差無くない

仮説: あの両手足は韜晦でない
1. 仮定1: 以下のように仮定する。あの両手足は韜晦だ
2. 仮定1と事実3から、推論1: "あの両手足が韜晦だしその上それは薬草茶である"が導かれる
3. 推論1と事実6から、推論2: "この癌ちゃんは大差無くない"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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