「この魔法石は粘り強くない」ということは嘘でない
fact1: この魔法石は小高くない fact2: このマイクロパターン状は粘り強い fact3: 「執念深いということはないものは改暦であるかもしくは小高いかあるいはどちらもである」ということは正しい fact4: この魔法石は粘り強いがしかし小高くない fact5: もし小高いものが暮らすとすると粘り強くない fact6: それは暮らすが執念深くないという物はない
fact4 -> hypothesis;
fact4 -> hypothesis;
この魔法石は粘り強くない
fact7 -> int1: もし仮にこの魔法石は小高いしまた暮らすとすればそれは粘り強くない; fact8 -> int2: もしあの暑中見舞いが執念深くないとすれば改暦であるかもしくは小高い;
$facts$ = fact1: この魔法石は小高くない fact2: このマイクロパターン状は粘り強い fact3: 「執念深いということはないものは改暦であるかもしくは小高いかあるいはどちらもである」ということは正しい fact4: この魔法石は粘り強いがしかし小高くない fact5: もし小高いものが暮らすとすると粘り強くない fact6: それは暮らすが執念深くないという物はない ; $hypothesis$ = 「この魔法石は粘り強くない」ということは嘘でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: この魔法石は小高くない
事実2: このマイクロパターン状は粘り強い
事実3: 「執念深いということはないものは改暦であるかもしくは小高いかあるいはどちらもである」ということは正しい
事実4: この魔法石は粘り強いがしかし小高くない
事実5: もし小高いものが暮らすとすると粘り強くない
事実6: それは暮らすが執念深くないという物はない

仮説: 「この魔法石は粘り強くない」ということは嘘でない
1. 事実4から、仮説が否定される

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