その事故直後は辛いということはないが居た堪れる
fact1: もし仮にある物は居た堪らないならば「「それは辛くないかあるいは言い難いかまたはどちらもだ」ということは正しい」ということは事実でない fact2: とあるものは言い難くない fact3: 「「その事故直後は辛くて居た堪れる」ということは正しい」ということは嘘だ fact4: もしも「言い難くない」物はあるなら「その事故直後は辛くないがしかし居た堪れる」ということは成り立たない fact5: 仮に「とある物は辛くないかまたは言い難いかもしくは両方である」ということは成り立たないとしたら就学児童であるということはない fact6: 言い難い物はある fact7: もし仮に「言い難くない」物はあるとすれば「その事故直後は辛くてかつ居た堪れる」ということは偽である
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
何らかの物は就学児童だということはない
fact9 -> int1: 「その事故直後は辛くないかそれは言い難いかもしくは両方だ」ということは間違いだとするとそれは就学児童でない; fact8 -> int2: もしその事故直後は居た堪らないなら「辛いということはないかもしくは言い難いかあるいは両方である」ということは真実であるということはない;
$facts$ = fact1: もし仮にある物は居た堪らないならば「「それは辛くないかあるいは言い難いかまたはどちらもだ」ということは正しい」ということは事実でない fact2: とあるものは言い難くない fact3: 「「その事故直後は辛くて居た堪れる」ということは正しい」ということは嘘だ fact4: もしも「言い難くない」物はあるなら「その事故直後は辛くないがしかし居た堪れる」ということは成り立たない fact5: 仮に「とある物は辛くないかまたは言い難いかもしくは両方である」ということは成り立たないとしたら就学児童であるということはない fact6: 言い難い物はある fact7: もし仮に「言い難くない」物はあるとすれば「その事故直後は辛くてかつ居た堪れる」ということは偽である ; $hypothesis$ = その事故直後は辛いということはないが居た堪れる ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にある物は居た堪らないならば「「それは辛くないかあるいは言い難いかまたはどちらもだ」ということは正しい」ということは事実でない
事実2: とあるものは言い難くない
事実3: 「「その事故直後は辛くて居た堪れる」ということは正しい」ということは嘘だ
事実4: もしも「言い難くない」物はあるなら「その事故直後は辛くないがしかし居た堪れる」ということは成り立たない
事実5: 仮に「とある物は辛くないかまたは言い難いかもしくは両方である」ということは成り立たないとしたら就学児童であるということはない
事実6: 言い難い物はある
事実7: もし仮に「言い難くない」物はあるとすれば「その事故直後は辛くてかつ居た堪れる」ということは偽である

仮説: その事故直後は辛いということはないが居た堪れる
1. 事実2と事実4から、仮説が否定される

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