この色覚異常は顕在化し易くない
fact1: もし仮にあの第四十九項は全日空グループ労働組合連絡会であるとしたら「この色覚異常は心許ないがそれは生やさくない」ということは誤っている fact2: この色覚異常は行い易い fact3: あの第四十九項が板書しないとすれば選択する fact4: もしもその一般規定が生やさくなくてしかも心許なくないとすればその煉瓦は当である fact5: 「あるものは心許ないけど生やさくない」ということは事実でないなら顕在化し易くない fact6: 「あの第四十九項は討伐するししかも小高い」ということは成り立たない fact7: この色覚異常は読み辛くない fact8: もし仮に「あの第四十九項は討伐するししかも小高い」ということは間違っているとすると読み辛くない fact9: あの担保目的物は板書するということはない fact10: あの第四十九項が板書すれば当である fact11: あの第四十九項は顕在化し易い fact12: もし仮にあの第四十九項が読み辛いしそれに全日空グループ労働組合連絡会であるとすればこの色覚異常は読み辛くない fact13: 当は全日空グループ労働組合連絡会だ fact14: 仮に何かは小高くないとすれば心許なくない fact15: もし何らかのものが読み辛くないとすると板書する
fact8 & fact6 -> int1: あの第四十九項は読み辛くない; fact15 -> int2: 仮にあの第四十九項が読み辛くないとしたらそれは板書する; int1 & int2 -> int3: あの第四十九項は板書する; int3 & fact10 -> int4: あの第四十九項は当である; fact13 -> int5: もしあの第四十九項は当であるなら「全日空グループ労働組合連絡会だ」ということは正しい; int4 & int5 -> int6: あの第四十九項は全日空グループ労働組合連絡会である; int6 & fact1 -> int7: 「「この色覚異常は心許ないけれど生やさくない」ということは偽だ」ということは間違いだということはない; fact5 -> int8: もし仮に「この色覚異常は心許ないが生やさくない」ということは事実でないならばそれは顕在化し易くない; int7 & int8 -> hypothesis;
「この色覚異常は顕在化し易い」ということは確かだ
$facts$ = fact1: もし仮にあの第四十九項は全日空グループ労働組合連絡会であるとしたら「この色覚異常は心許ないがそれは生やさくない」ということは誤っている fact2: この色覚異常は行い易い fact3: あの第四十九項が板書しないとすれば選択する fact4: もしもその一般規定が生やさくなくてしかも心許なくないとすればその煉瓦は当である fact5: 「あるものは心許ないけど生やさくない」ということは事実でないなら顕在化し易くない fact6: 「あの第四十九項は討伐するししかも小高い」ということは成り立たない fact7: この色覚異常は読み辛くない fact8: もし仮に「あの第四十九項は討伐するししかも小高い」ということは間違っているとすると読み辛くない fact9: あの担保目的物は板書するということはない fact10: あの第四十九項が板書すれば当である fact11: あの第四十九項は顕在化し易い fact12: もし仮にあの第四十九項が読み辛いしそれに全日空グループ労働組合連絡会であるとすればこの色覚異常は読み辛くない fact13: 当は全日空グループ労働組合連絡会だ fact14: 仮に何かは小高くないとすれば心許なくない fact15: もし何らかのものが読み辛くないとすると板書する ; $hypothesis$ = この色覚異常は顕在化し易くない ; $proof$ = 
fact8 & fact6 -> int1: あの第四十九項は読み辛くない; fact15 -> int2: 仮にあの第四十九項が読み辛くないとしたらそれは板書する; int1 & int2 -> int3: あの第四十九項は板書する; int3 & fact10 -> int4: あの第四十九項は当である; fact13 -> int5: もしあの第四十九項は当であるなら「全日空グループ労働組合連絡会だ」ということは正しい; int4 & int5 -> int6: あの第四十九項は全日空グループ労働組合連絡会である; int6 & fact1 -> int7: 「「この色覚異常は心許ないけれど生やさくない」ということは偽だ」ということは間違いだということはない; fact5 -> int8: もし仮に「この色覚異常は心許ないが生やさくない」ということは事実でないならばそれは顕在化し易くない; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮にあの第四十九項は全日空グループ労働組合連絡会であるとしたら「この色覚異常は心許ないがそれは生やさくない」ということは誤っている
事実2: この色覚異常は行い易い
事実3: あの第四十九項が板書しないとすれば選択する
事実4: もしもその一般規定が生やさくなくてしかも心許なくないとすればその煉瓦は当である
事実5: 「あるものは心許ないけど生やさくない」ということは事実でないなら顕在化し易くない
事実6: 「あの第四十九項は討伐するししかも小高い」ということは成り立たない
事実7: この色覚異常は読み辛くない
事実8: もし仮に「あの第四十九項は討伐するししかも小高い」ということは間違っているとすると読み辛くない
事実9: あの担保目的物は板書するということはない
事実10: あの第四十九項が板書すれば当である
事実11: あの第四十九項は顕在化し易い
事実12: もし仮にあの第四十九項が読み辛いしそれに全日空グループ労働組合連絡会であるとすればこの色覚異常は読み辛くない
事実13: 当は全日空グループ労働組合連絡会だ
事実14: 仮に何かは小高くないとすれば心許なくない
事実15: もし何らかのものが読み辛くないとすると板書する

仮説: この色覚異常は顕在化し易くない
1. 事実8と事実6から、推論1: "あの第四十九項は読み辛くない"が導かれる
2. 事実15から、推論2: "仮にあの第四十九項が読み辛くないとしたらそれは板書する"が導かれる
3. 推論1と推論2から、推論3: "あの第四十九項は板書する"が導かれる
4. 推論3と事実10から、推論4: "あの第四十九項は当である"が導かれる
5. 事実13から、推論5: "もしあの第四十九項は当であるなら「全日空グループ労働組合連絡会だ」ということは正しい"が導かれる
6. 推論4と推論5から、推論6: "あの第四十九項は全日空グループ労働組合連絡会である"が導かれる
7. 推論6と事実1から、推論7: "「「この色覚異常は心許ないけれど生やさくない」ということは偽だ」ということは間違いだということはない"が導かれる
8. 事実5から、推論8: "もし仮に「この色覚異常は心許ないが生やさくない」ということは事実でないならばそれは顕在化し易くない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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