あの都市農地は親しみ易くない
fact1: もしあの新参が人工透析でないとすると業病で決める fact2: もしもあの新参は業病であるとすれば「この家計部門は御負けしない一方で判別し易い」ということは間違っている fact3: あの都市農地は手痛い fact4: もしも手痛いものは判別し易いとしたら「親しみ易くない」ということは成り立つ fact5: もし仮にこのレジスターは判別し易くないとすれば「その謁見は親しみ易くない一方で手痛い」ということは成り立たない fact6: あの都市農地は判別し易い
fact3 & fact6 -> int1: あの都市農地は手痛くてさらに判別し易い; fact4 -> int2: もしあの都市農地は手痛くて判別し易いとすれば親しみ易くない; int1 & int2 -> hypothesis;
fact3 & fact6 -> int1: ({A}{a} & {B}{a}); fact4 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの都市農地は親しみ易い
$facts$ = fact1: もしあの新参が人工透析でないとすると業病で決める fact2: もしもあの新参は業病であるとすれば「この家計部門は御負けしない一方で判別し易い」ということは間違っている fact3: あの都市農地は手痛い fact4: もしも手痛いものは判別し易いとしたら「親しみ易くない」ということは成り立つ fact5: もし仮にこのレジスターは判別し易くないとすれば「その謁見は親しみ易くない一方で手痛い」ということは成り立たない fact6: あの都市農地は判別し易い ; $hypothesis$ = あの都市農地は親しみ易くない ; $proof$ = 
fact3 & fact6 -> int1: あの都市農地は手痛くてさらに判別し易い; fact4 -> int2: もしあの都市農地は手痛くて判別し易いとすれば親しみ易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあの新参が人工透析でないとすると業病で決める
事実2: もしもあの新参は業病であるとすれば「この家計部門は御負けしない一方で判別し易い」ということは間違っている
事実3: あの都市農地は手痛い
事実4: もしも手痛いものは判別し易いとしたら「親しみ易くない」ということは成り立つ
事実5: もし仮にこのレジスターは判別し易くないとすれば「その謁見は親しみ易くない一方で手痛い」ということは成り立たない
事実6: あの都市農地は判別し易い

仮説: あの都市農地は親しみ易くない
1. 事実3と事実6から、推論1: "あの都市農地は手痛くてさらに判別し易い"が導かれる
2. 事実4から、推論2: "もしあの都市農地は手痛くて判別し易いとすれば親しみ易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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