その地方官は浅黒い一方で文芸化しない
fact1: もしもこの条件判断は薄青くないなら「奮起するし落ち零れる」ということは誤っている fact2: この屋上手前は御感状でない fact3: 仮にその地方官は刺々しかないなら「この屋上手前は浅黒い一方で文芸化しない」ということは本当だ fact4: 「この屋上手前は刺々しかない」ということは正しい fact5: この屋上手前が刺々しかないならその地方官は文芸化しない fact6: もしもこの屋上手前が刺々しいということはないとすればその地方官は浅黒いが文芸化しない fact7: この屋上手前は文芸化しない fact8: その地方官は文芸化しない
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
「その地方官は浅黒いがそれは文芸化しない」ということは事実と異なる
$facts$ = fact1: もしもこの条件判断は薄青くないなら「奮起するし落ち零れる」ということは誤っている fact2: この屋上手前は御感状でない fact3: 仮にその地方官は刺々しかないなら「この屋上手前は浅黒い一方で文芸化しない」ということは本当だ fact4: 「この屋上手前は刺々しかない」ということは正しい fact5: この屋上手前が刺々しかないならその地方官は文芸化しない fact6: もしもこの屋上手前が刺々しいということはないとすればその地方官は浅黒いが文芸化しない fact7: この屋上手前は文芸化しない fact8: その地方官は文芸化しない ; $hypothesis$ = その地方官は浅黒い一方で文芸化しない ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: もしもこの条件判断は薄青くないなら「奮起するし落ち零れる」ということは誤っている
事実2: この屋上手前は御感状でない
事実3: 仮にその地方官は刺々しかないなら「この屋上手前は浅黒い一方で文芸化しない」ということは本当だ
事実4: 「この屋上手前は刺々しかない」ということは正しい
事実5: この屋上手前が刺々しかないならその地方官は文芸化しない
事実6: もしもこの屋上手前が刺々しいということはないとすればその地方官は浅黒いが文芸化しない
事実7: この屋上手前は文芸化しない
事実8: その地方官は文芸化しない

仮説: その地方官は浅黒い一方で文芸化しない
1. 事実6と事実4から、仮説が導かれる

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