あの半数は馴染み深い
fact1: もし仮に「あの象形文字はどでかい」ということは本当であるならその照れ隠しは平ったい fact2: 仮にあの象形文字が実行し易くないとするとあの半数は煩いか実行し易くない fact3: その照れ隠しは平ったくなくて細か過ぎない fact4: 煩いかもしくは実行し易くないものは馴染み深くない fact5: もしもなにがしかの物がどでかくないとしたらそれは実行し易いということはない
void -> assump1: 以下のように仮定する。あの象形文字はどでかい; fact1 & assump1 -> int1: その照れ隠しは平ったい; fact3 -> int2: その照れ隠しは平ったいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの象形文字はどでかくない; fact5 -> int5: あの象形文字はどでかくないとしたら「それは実行し易くない」ということは事実である; int4 & int5 -> int6: あの象形文字は実行し易くない; int6 & fact2 -> int7: あの半数は煩いかあるいは実行し易くない; fact4 -> int8: 仮にあの半数は煩いか実行し易くないかまたは両方なら「それは馴染み深いということはない」ということは誤っているということはない; int7 & int8 -> hypothesis;
$facts$ = fact1: もし仮に「あの象形文字はどでかい」ということは本当であるならその照れ隠しは平ったい fact2: 仮にあの象形文字が実行し易くないとするとあの半数は煩いか実行し易くない fact3: その照れ隠しは平ったくなくて細か過ぎない fact4: 煩いかもしくは実行し易くないものは馴染み深くない fact5: もしもなにがしかの物がどでかくないとしたらそれは実行し易いということはない ; $hypothesis$ = あの半数は馴染み深い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの象形文字はどでかい; fact1 & assump1 -> int1: その照れ隠しは平ったい; fact3 -> int2: その照れ隠しは平ったいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの象形文字はどでかくない; fact5 -> int5: あの象形文字はどでかくないとしたら「それは実行し易くない」ということは事実である; int4 & int5 -> int6: あの象形文字は実行し易くない; int6 & fact2 -> int7: あの半数は煩いかあるいは実行し易くない; fact4 -> int8: 仮にあの半数は煩いか実行し易くないかまたは両方なら「それは馴染み深いということはない」ということは誤っているということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの象形文字はどでかい」ということは本当であるならその照れ隠しは平ったい
事実2: 仮にあの象形文字が実行し易くないとするとあの半数は煩いか実行し易くない
事実3: その照れ隠しは平ったくなくて細か過ぎない
事実4: 煩いかもしくは実行し易くないものは馴染み深くない
事実5: もしもなにがしかの物がどでかくないとしたらそれは実行し易いということはない

仮説: あの半数は馴染み深い
1. 仮定1: 以下のように仮定する。あの象形文字はどでかい
2. 事実1と仮定1から、推論1: "その照れ隠しは平ったい"が導かれる
3. 事実3から、推論2: "その照れ隠しは平ったいということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの象形文字はどでかくない"が導かれる
6. 事実5から、推論5: "あの象形文字はどでかくないとしたら「それは実行し易くない」ということは事実である"が導かれる
7. 推論4と推論5から、推論6: "あの象形文字は実行し易くない"が導かれる
8. 推論6と事実2から、推論7: "あの半数は煩いかあるいは実行し易くない"が導かれる
9. 事実4から、推論8: "仮にあの半数は煩いか実行し易くないかまたは両方なら「それは馴染み深いということはない」ということは誤っているということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。