「この美学は見苦しいということはない」ということは成り立つ
fact1: もし「あの炭疽菌は達識者でないがしかし見苦しい」ということは嘘であるとするといらしゃる fact2: あの炭疽菌は達識者であるとしたら「この美学は達識者でないがいらしゃる」ということは事実と異なる fact3: 眠たい物は見苦しくないがしかし親しい fact4: 「親しい一方で眠たくない」物はある fact5: 「なにかは達識者でないがしかしそれはいらしゃる」ということは嘘であるとしたら「見苦しくない」ということは偽だ fact6: もし親しくて眠たくない物があるとしたらあの炭疽菌は達識者である
fact4 & fact6 -> int1: あの炭疽菌は達識者である; int1 & fact2 -> int2: 「この美学は達識者でないけれどいらしゃる」ということは成り立たない; fact5 -> int3: 「この美学は達識者でないがしかしいらしゃる」ということは偽であるなら見苦しい; int2 & int3 -> hypothesis;
この美学は見苦しくない
fact7 -> int4: 仮にこの美学が眠たいとすればそれは見苦しくないがしかし親しい;
$facts$ = fact1: もし「あの炭疽菌は達識者でないがしかし見苦しい」ということは嘘であるとするといらしゃる fact2: あの炭疽菌は達識者であるとしたら「この美学は達識者でないがいらしゃる」ということは事実と異なる fact3: 眠たい物は見苦しくないがしかし親しい fact4: 「親しい一方で眠たくない」物はある fact5: 「なにかは達識者でないがしかしそれはいらしゃる」ということは嘘であるとしたら「見苦しくない」ということは偽だ fact6: もし親しくて眠たくない物があるとしたらあの炭疽菌は達識者である ; $hypothesis$ = 「この美学は見苦しいということはない」ということは成り立つ ; $proof$ = 
fact4 & fact6 -> int1: あの炭疽菌は達識者である; int1 & fact2 -> int2: 「この美学は達識者でないけれどいらしゃる」ということは成り立たない; fact5 -> int3: 「この美学は達識者でないがしかしいらしゃる」ということは偽であるなら見苦しい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし「あの炭疽菌は達識者でないがしかし見苦しい」ということは嘘であるとするといらしゃる
事実2: あの炭疽菌は達識者であるとしたら「この美学は達識者でないがいらしゃる」ということは事実と異なる
事実3: 眠たい物は見苦しくないがしかし親しい
事実4: 「親しい一方で眠たくない」物はある
事実5: 「なにかは達識者でないがしかしそれはいらしゃる」ということは嘘であるとしたら「見苦しくない」ということは偽だ
事実6: もし親しくて眠たくない物があるとしたらあの炭疽菌は達識者である

仮説: 「この美学は見苦しいということはない」ということは成り立つ
1. 事実4と事実6から、推論1: "あの炭疽菌は達識者である"が導かれる
2. 推論1と事実2から、推論2: "「この美学は達識者でないけれどいらしゃる」ということは成り立たない"が導かれる
3. 事実5から、推論3: "「この美学は達識者でないがしかしいらしゃる」ということは偽であるなら見苦しい"が導かれる
4. 推論2と推論3から、仮説が否定される

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