「このカード可は文書館である」ということは正しい
fact1: その一名料金は遠征しないが苦々しい fact2: もし仮に「腑甲斐無いかまたは警戒するかまたはどちらもな」ものがあるとすればその一名料金は遠征する fact3: 「もし何らかのものが腑甲斐無いかもしくは警戒するかまたは両方ともであるとするとこのカード可は苦々しい」ということは成り立つ fact4: もし仮にこのカード可が苦々しかないとすれば纏まり易くないしさらにそれは腑甲斐無いということはない fact5: その一名料金は腑甲斐無くない fact6: あの仕事自体は文書館でない fact7: この被収容者達は苦々しかなくてそれは早くない fact8: このカード可は遠征しない fact9: このカード可は苦々しいかあるいはそれは文書館であるかあるいは両方だ fact10: このカード可は交換出来ない fact11: このカード可は根瘤病でないけどそれは阿諛だ fact12: そのバイアスは警戒しない fact13: とある物が及ぼし得るかそれが歯垢であるかもしくはどちらもであるならばその対潜は苦々しい fact14: とある物が警戒しないとすると纏まり易くなくてそれにそれは文書館であるということはない
void -> assump1: 以下のように仮定する。このカード可は警戒する; assump1 -> int1: このカード可は腑甲斐無いかまたは警戒するかあるいはどちらもだ; int1 -> int2: 「腑甲斐無いかあるいは警戒するかまたは両方である」ものはある; int2 & fact2 -> int3: その一名料金は遠征する; fact1 -> int4: その一名料金は遠征しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このカード可は警戒しない; fact14 -> int7: 仮にこのカード可が警戒しないとするとそれは纏まり易くないしさらに文書館でない; int6 & int7 -> int8: このカード可は纏まり易くないし文書館でない; int8 -> hypothesis;
$facts$ = fact1: その一名料金は遠征しないが苦々しい fact2: もし仮に「腑甲斐無いかまたは警戒するかまたはどちらもな」ものがあるとすればその一名料金は遠征する fact3: 「もし何らかのものが腑甲斐無いかもしくは警戒するかまたは両方ともであるとするとこのカード可は苦々しい」ということは成り立つ fact4: もし仮にこのカード可が苦々しかないとすれば纏まり易くないしさらにそれは腑甲斐無いということはない fact5: その一名料金は腑甲斐無くない fact6: あの仕事自体は文書館でない fact7: この被収容者達は苦々しかなくてそれは早くない fact8: このカード可は遠征しない fact9: このカード可は苦々しいかあるいはそれは文書館であるかあるいは両方だ fact10: このカード可は交換出来ない fact11: このカード可は根瘤病でないけどそれは阿諛だ fact12: そのバイアスは警戒しない fact13: とある物が及ぼし得るかそれが歯垢であるかもしくはどちらもであるならばその対潜は苦々しい fact14: とある物が警戒しないとすると纏まり易くなくてそれにそれは文書館であるということはない ; $hypothesis$ = 「このカード可は文書館である」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このカード可は警戒する; assump1 -> int1: このカード可は腑甲斐無いかまたは警戒するかあるいはどちらもだ; int1 -> int2: 「腑甲斐無いかあるいは警戒するかまたは両方である」ものはある; int2 & fact2 -> int3: その一名料金は遠征する; fact1 -> int4: その一名料金は遠征しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このカード可は警戒しない; fact14 -> int7: 仮にこのカード可が警戒しないとするとそれは纏まり易くないしさらに文書館でない; int6 & int7 -> int8: このカード可は纏まり易くないし文書館でない; int8 -> hypothesis; __DISPROVED__
事実1: その一名料金は遠征しないが苦々しい
事実2: もし仮に「腑甲斐無いかまたは警戒するかまたはどちらもな」ものがあるとすればその一名料金は遠征する
事実3: 「もし何らかのものが腑甲斐無いかもしくは警戒するかまたは両方ともであるとするとこのカード可は苦々しい」ということは成り立つ
事実4: もし仮にこのカード可が苦々しかないとすれば纏まり易くないしさらにそれは腑甲斐無いということはない
事実5: その一名料金は腑甲斐無くない
事実6: あの仕事自体は文書館でない
事実7: この被収容者達は苦々しかなくてそれは早くない
事実8: このカード可は遠征しない
事実9: このカード可は苦々しいかあるいはそれは文書館であるかあるいは両方だ
事実10: このカード可は交換出来ない
事実11: このカード可は根瘤病でないけどそれは阿諛だ
事実12: そのバイアスは警戒しない
事実13: とある物が及ぼし得るかそれが歯垢であるかもしくはどちらもであるならばその対潜は苦々しい
事実14: とある物が警戒しないとすると纏まり易くなくてそれにそれは文書館であるということはない

仮説: 「このカード可は文書館である」ということは正しい
1. 仮定1: 以下のように仮定する。このカード可は警戒する
2. 仮定1から、推論1: "このカード可は腑甲斐無いかまたは警戒するかあるいはどちらもだ"が導かれる
3. 推論1から、推論2: "「腑甲斐無いかあるいは警戒するかまたは両方である」ものはある"が導かれる
4. 推論2と事実2から、推論3: "その一名料金は遠征する"が導かれる
5. 事実1から、推論4: "その一名料金は遠征しない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "このカード可は警戒しない"が導かれる
8. 事実14から、推論7: "仮にこのカード可が警戒しないとするとそれは纏まり易くないしさらに文書館でない"が導かれる
9. 推論6と推論7から、推論8: "このカード可は纏まり易くないし文書館でない"が導かれる
10. 推論8から、仮説が否定される

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