「もしその爛れが澄み渡らないとするとその爛れは立て易くないかもしくは編み止めする」ということは事実と異なる
fact1: 仮になんらかの物が澄み渡らないとしたらそれは立て易くないか編み止めするかもしくは両方ともだ fact2: もしもとある物が咽ばないとしたら貫徹しないかまたは空しい fact3: もし仮になんらかのものが前代未聞でないならそれはみっとも可愛いということはないかもしくはそれは真偽である fact4: 仮にその爛れが澄み渡らないとすれば立て易いかもしくは編み止めするかあるいは両方ともである fact5: 仮に何らかの物が澄み渡るとしたら立て易くないかまたは編み止めするかまたは両方ともだ fact6: もしも「その爛れは澄み渡る」ということは事実なら立て易くないかまたは編み止めするかあるいは両方だ fact7: 仮になにかは澄み渡らないとしたらそれは立て易いかもしくは編み止めするかまたはどちらもだ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮になんらかの物が澄み渡らないとしたらそれは立て易くないか編み止めするかもしくは両方ともだ fact2: もしもとある物が咽ばないとしたら貫徹しないかまたは空しい fact3: もし仮になんらかのものが前代未聞でないならそれはみっとも可愛いということはないかもしくはそれは真偽である fact4: 仮にその爛れが澄み渡らないとすれば立て易いかもしくは編み止めするかあるいは両方ともである fact5: 仮に何らかの物が澄み渡るとしたら立て易くないかまたは編み止めするかまたは両方ともだ fact6: もしも「その爛れは澄み渡る」ということは事実なら立て易くないかまたは編み止めするかあるいは両方だ fact7: 仮になにかは澄み渡らないとしたらそれは立て易いかもしくは編み止めするかまたはどちらもだ ; $hypothesis$ = 「もしその爛れが澄み渡らないとするとその爛れは立て易くないかもしくは編み止めする」ということは事実と異なる ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物が澄み渡らないとしたらそれは立て易くないか編み止めするかもしくは両方ともだ
事実2: もしもとある物が咽ばないとしたら貫徹しないかまたは空しい
事実3: もし仮になんらかのものが前代未聞でないならそれはみっとも可愛いということはないかもしくはそれは真偽である
事実4: 仮にその爛れが澄み渡らないとすれば立て易いかもしくは編み止めするかあるいは両方ともである
事実5: 仮に何らかの物が澄み渡るとしたら立て易くないかまたは編み止めするかまたは両方ともだ
事実6: もしも「その爛れは澄み渡る」ということは事実なら立て易くないかまたは編み止めするかあるいは両方だ
事実7: 仮になにかは澄み渡らないとしたらそれは立て易いかもしくは編み止めするかまたはどちらもだ

仮説: 「もしその爛れが澄み渡らないとするとその爛れは立て易くないかもしくは編み止めする」ということは事実と異なる
1. 事実1から、仮説が否定される

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