「「負傷するし更に特別規定な」ものはある」ということは成り立たない
fact1: この抗癲癇薬は特別規定である fact2: この人生戦略は特別規定だ fact3: この仕組み作りは負傷する fact4: もし「この抗癲癇薬は特別規定でおまけに負傷する」ということは偽ならこの御昼時は負傷しない fact5: もし仮になにかは負傷しないならばそれは軽ししかつそれは若返る fact6: 「負傷する」ものはある fact7: 「特別規定な」ものはある fact8: この抗癲癇薬は負傷する fact9: あの関税政策は負傷する
fact8 & fact1 -> int1: この抗癲癇薬は負傷するし特別規定だ; int1 -> hypothesis;
fact8 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
この御昼時は軽しししかも若返る
fact11 -> int2: この御昼時が負傷しないとしたら軽しし更に若返る;
$facts$ = fact1: この抗癲癇薬は特別規定である fact2: この人生戦略は特別規定だ fact3: この仕組み作りは負傷する fact4: もし「この抗癲癇薬は特別規定でおまけに負傷する」ということは偽ならこの御昼時は負傷しない fact5: もし仮になにかは負傷しないならばそれは軽ししかつそれは若返る fact6: 「負傷する」ものはある fact7: 「特別規定な」ものはある fact8: この抗癲癇薬は負傷する fact9: あの関税政策は負傷する ; $hypothesis$ = 「「負傷するし更に特別規定な」ものはある」ということは成り立たない ; $proof$ = 
fact8 & fact1 -> int1: この抗癲癇薬は負傷するし特別規定だ; int1 -> hypothesis; __DISPROVED__
事実1: この抗癲癇薬は特別規定である
事実2: この人生戦略は特別規定だ
事実3: この仕組み作りは負傷する
事実4: もし「この抗癲癇薬は特別規定でおまけに負傷する」ということは偽ならこの御昼時は負傷しない
事実5: もし仮になにかは負傷しないならばそれは軽ししかつそれは若返る
事実6: 「負傷する」ものはある
事実7: 「特別規定な」ものはある
事実8: この抗癲癇薬は負傷する
事実9: あの関税政策は負傷する

仮説: 「「負傷するし更に特別規定な」ものはある」ということは成り立たない
1. 事実8と事実1から、推論1: "この抗癲癇薬は負傷するし特別規定だ"が導かれる
2. 推論1から、仮説が否定される

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