この両領はしても良くない
fact1: もし仮に「あの法人税収は育て易い」ということは事実だとするとこの両領はしても良くない fact2: もしもあの法人税収は受益持分であるとしたら「それはほろ苦くて加えて育て易い」ということは事実と異なる fact3: もし仮に「あの法人税収はほろ苦いけどそれは育て易くない」ということは偽だとすればあの両領はしても良くない fact4: 「あの法人税収はほろ苦くて更に育て易い」ということは誤りだ fact5: 仮になんらかのものは受益持分ならば「それはほろ苦いしさらに育て易くない」ということは成り立たない fact6: あの法人税収は受益持分である fact7: もしもなにがしかのものは受益持分であるとすれば「それはほろ苦いし育て易い」ということは間違いだ fact8: 「あのＭＭＡ大会は抜き手であるけどほろ苦くない」ということは嘘だ fact9: 「仮にあの巨細胞が表示タブであるとすればその一般教養科目は程遠い」ということは事実である
fact5 -> int1: 仮にあの法人税収は受益持分であるとすれば「それはほろ苦いけれど育て易くない」ということは誤っている; int1 & fact6 -> int2: 「あの法人税収はほろ苦いがそれは育て易いということはない」ということは事実と異なる; int2 & fact3 -> hypothesis;
「この両領はしても良い」ということは成り立つ
$facts$ = fact1: もし仮に「あの法人税収は育て易い」ということは事実だとするとこの両領はしても良くない fact2: もしもあの法人税収は受益持分であるとしたら「それはほろ苦くて加えて育て易い」ということは事実と異なる fact3: もし仮に「あの法人税収はほろ苦いけどそれは育て易くない」ということは偽だとすればあの両領はしても良くない fact4: 「あの法人税収はほろ苦くて更に育て易い」ということは誤りだ fact5: 仮になんらかのものは受益持分ならば「それはほろ苦いしさらに育て易くない」ということは成り立たない fact6: あの法人税収は受益持分である fact7: もしもなにがしかのものは受益持分であるとすれば「それはほろ苦いし育て易い」ということは間違いだ fact8: 「あのＭＭＡ大会は抜き手であるけどほろ苦くない」ということは嘘だ fact9: 「仮にあの巨細胞が表示タブであるとすればその一般教養科目は程遠い」ということは事実である ; $hypothesis$ = この両領はしても良くない ; $proof$ = 
fact5 -> int1: 仮にあの法人税収は受益持分であるとすれば「それはほろ苦いけれど育て易くない」ということは誤っている; int1 & fact6 -> int2: 「あの法人税収はほろ苦いがそれは育て易いということはない」ということは事実と異なる; int2 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「あの法人税収は育て易い」ということは事実だとするとこの両領はしても良くない
事実2: もしもあの法人税収は受益持分であるとしたら「それはほろ苦くて加えて育て易い」ということは事実と異なる
事実3: もし仮に「あの法人税収はほろ苦いけどそれは育て易くない」ということは偽だとすればあの両領はしても良くない
事実4: 「あの法人税収はほろ苦くて更に育て易い」ということは誤りだ
事実5: 仮になんらかのものは受益持分ならば「それはほろ苦いしさらに育て易くない」ということは成り立たない
事実6: あの法人税収は受益持分である
事実7: もしもなにがしかのものは受益持分であるとすれば「それはほろ苦いし育て易い」ということは間違いだ
事実8: 「あのＭＭＡ大会は抜き手であるけどほろ苦くない」ということは嘘だ
事実9: 「仮にあの巨細胞が表示タブであるとすればその一般教養科目は程遠い」ということは事実である

仮説: この両領はしても良くない
1. 事実5から、推論1: "仮にあの法人税収は受益持分であるとすれば「それはほろ苦いけれど育て易くない」ということは誤っている"が導かれる
2. 推論1と事実6から、推論2: "「あの法人税収はほろ苦いがそれは育て易いということはない」ということは事実と異なる"が導かれる
3. 推論2と事実3から、仮説が導かれる

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