その黒Ｃは図り難い
fact1: その黒Ｃは図り難いしまた思い遣る fact2: もし仮にとある物が直送しないとすれば思い遣るし更に図り難い fact3: もしなにかは歌舞伎っぽくないなら「直送するししかもそれは白い」ということは事実と異なる fact4: もし「あるものは直送するし白い」ということは事実と異なるとすればそれは直送しない
fact1 -> hypothesis;
fact1 -> hypothesis;
その行動面は思い遣る
fact6 -> int1: 仮にその行動面が直送しないとすると思い遣るしまたそれは図り難い; fact7 -> int2: もしも「その行動面は直送するし更に白い」ということは偽であるならばそれは直送しない; fact5 -> int3: もしもその行動面は歌舞伎っぽくないならば「それは直送するし白い」ということは嘘だ;
$facts$ = fact1: その黒Ｃは図り難いしまた思い遣る fact2: もし仮にとある物が直送しないとすれば思い遣るし更に図り難い fact3: もしなにかは歌舞伎っぽくないなら「直送するししかもそれは白い」ということは事実と異なる fact4: もし「あるものは直送するし白い」ということは事実と異なるとすればそれは直送しない ; $hypothesis$ = その黒Ｃは図り難い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その黒Ｃは図り難いしまた思い遣る
事実2: もし仮にとある物が直送しないとすれば思い遣るし更に図り難い
事実3: もしなにかは歌舞伎っぽくないなら「直送するししかもそれは白い」ということは事実と異なる
事実4: もし「あるものは直送するし白い」ということは事実と異なるとすればそれは直送しない

仮説: その黒Ｃは図り難い
1. 事実1から、仮説が導かれる

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