その著述家達は法名でない
fact1: 「その武器は切り難いということはない」ということは事実である fact2: もし「「その武器は切り難いかあるいは虐殺するということはないかまたは両方である」ということは偽である」ということは正しいならあのカバーはぶらぶらしない fact3: もしもあのカバーはぶらぶらしないとすると「その著述家達はぶらぶらするしおまけに法名である」ということは確かである fact4: あの対局は謙遜する fact5: この基本用語は発動であるしそれにそれは呼制御である fact6: その著述家達はぶらぶらする fact7: 仮にこの基本用語が謙遜するしそれが呼制御だとするとその武器は手酷くない fact8: このリーダー達はぶらぶらする fact9: この基本用語は謙遜する fact10: その武器は手酷くないなら「それは切り難いかあるいは虐殺しないかもしくは両方である」ということは成り立たない
fact5 -> int1: この基本用語は呼制御である; int1 & fact9 -> int2: この基本用語は謙遜するしまたそれは呼制御だ; int2 & fact7 -> int3: その武器は手酷くない; int3 & fact10 -> int4: 「その武器は切り難いかあるいは虐殺しないか両方だ」ということは誤りだ; int4 & fact2 -> int5: あのカバーはぶらぶらしない; int5 & fact3 -> int6: その著述家達はぶらぶらするし加えて法名である; int6 -> hypothesis;
$facts$ = fact1: 「その武器は切り難いということはない」ということは事実である fact2: もし「「その武器は切り難いかあるいは虐殺するということはないかまたは両方である」ということは偽である」ということは正しいならあのカバーはぶらぶらしない fact3: もしもあのカバーはぶらぶらしないとすると「その著述家達はぶらぶらするしおまけに法名である」ということは確かである fact4: あの対局は謙遜する fact5: この基本用語は発動であるしそれにそれは呼制御である fact6: その著述家達はぶらぶらする fact7: 仮にこの基本用語が謙遜するしそれが呼制御だとするとその武器は手酷くない fact8: このリーダー達はぶらぶらする fact9: この基本用語は謙遜する fact10: その武器は手酷くないなら「それは切り難いかあるいは虐殺しないかもしくは両方である」ということは成り立たない ; $hypothesis$ = その著述家達は法名でない ; $proof$ = 
fact5 -> int1: この基本用語は呼制御である; int1 & fact9 -> int2: この基本用語は謙遜するしまたそれは呼制御だ; int2 & fact7 -> int3: その武器は手酷くない; int3 & fact10 -> int4: 「その武器は切り難いかあるいは虐殺しないか両方だ」ということは誤りだ; int4 & fact2 -> int5: あのカバーはぶらぶらしない; int5 & fact3 -> int6: その著述家達はぶらぶらするし加えて法名である; int6 -> hypothesis; __DISPROVED__
事実1: 「その武器は切り難いということはない」ということは事実である
事実2: もし「「その武器は切り難いかあるいは虐殺するということはないかまたは両方である」ということは偽である」ということは正しいならあのカバーはぶらぶらしない
事実3: もしもあのカバーはぶらぶらしないとすると「その著述家達はぶらぶらするしおまけに法名である」ということは確かである
事実4: あの対局は謙遜する
事実5: この基本用語は発動であるしそれにそれは呼制御である
事実6: その著述家達はぶらぶらする
事実7: 仮にこの基本用語が謙遜するしそれが呼制御だとするとその武器は手酷くない
事実8: このリーダー達はぶらぶらする
事実9: この基本用語は謙遜する
事実10: その武器は手酷くないなら「それは切り難いかあるいは虐殺しないかもしくは両方である」ということは成り立たない

仮説: その著述家達は法名でない
1. 事実5から、推論1: "この基本用語は呼制御である"が導かれる
2. 推論1と事実9から、推論2: "この基本用語は謙遜するしまたそれは呼制御だ"が導かれる
3. 推論2と事実7から、推論3: "その武器は手酷くない"が導かれる
4. 推論3と事実10から、推論4: "「その武器は切り難いかあるいは虐殺しないか両方だ」ということは誤りだ"が導かれる
5. 推論4と事実2から、推論5: "あのカバーはぶらぶらしない"が導かれる
6. 推論5と事実3から、推論6: "その著述家達はぶらぶらするし加えて法名である"が導かれる
7. 推論6から、仮説が否定される

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