「「もし仮に「気安くないしひりひりする」ということは誤りであるなら休める」物はある」ということは成り立たない
fact1: もし「そのＫＹＯＮは異星生物でない一方で気安い」ということは偽であるなら「それはすーごい」ということは本当である fact2: 「もし「気安くておまけにひりひりする」ということは成り立つということはないとすると休める」ものはある fact3: 「とあるものは回内しないが起こり易い」ということは偽であるならばそれは義やんである fact4: 「もし弛み無いとすれば泣き黒子な」ものはある fact5: 仮にその腰帯がひりひりしないとすれば休める fact6: もしも「その腰帯は常駐しないけれどそれは総生産である」ということは成り立たないならそれは目新しい fact7: 「その腰帯は気安いということはないがそれはひりひりする」ということは誤りであるとすると休める fact8: 仮にその腰帯が気安くないがそれはひりひりするとすると「休める」ということは成り立つ fact9: 「そのセッティングチャートが一族諸共だしそれにそれはひりひりする」ということは嘘であるとするとそれは倒れ難い fact10: 「もし仮に判示するとしたら悩ましい」ものはある
fact7 -> hypothesis;
「もしも「その受け手は回内しないが起こり易い」ということは嘘であるとするとその受け手は義やんである」ということは正しい
fact11 -> hypothesis;
$facts$ = fact1: もし「そのＫＹＯＮは異星生物でない一方で気安い」ということは偽であるなら「それはすーごい」ということは本当である fact2: 「もし「気安くておまけにひりひりする」ということは成り立つということはないとすると休める」ものはある fact3: 「とあるものは回内しないが起こり易い」ということは偽であるならばそれは義やんである fact4: 「もし弛み無いとすれば泣き黒子な」ものはある fact5: 仮にその腰帯がひりひりしないとすれば休める fact6: もしも「その腰帯は常駐しないけれどそれは総生産である」ということは成り立たないならそれは目新しい fact7: 「その腰帯は気安いということはないがそれはひりひりする」ということは誤りであるとすると休める fact8: 仮にその腰帯が気安くないがそれはひりひりするとすると「休める」ということは成り立つ fact9: 「そのセッティングチャートが一族諸共だしそれにそれはひりひりする」ということは嘘であるとするとそれは倒れ難い fact10: 「もし仮に判示するとしたら悩ましい」ものはある ; $hypothesis$ = 「「もし仮に「気安くないしひりひりする」ということは誤りであるなら休める」物はある」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もし「そのＫＹＯＮは異星生物でない一方で気安い」ということは偽であるなら「それはすーごい」ということは本当である
事実2: 「もし「気安くておまけにひりひりする」ということは成り立つということはないとすると休める」ものはある
事実3: 「とあるものは回内しないが起こり易い」ということは偽であるならばそれは義やんである
事実4: 「もし弛み無いとすれば泣き黒子な」ものはある
事実5: 仮にその腰帯がひりひりしないとすれば休める
事実6: もしも「その腰帯は常駐しないけれどそれは総生産である」ということは成り立たないならそれは目新しい
事実7: 「その腰帯は気安いということはないがそれはひりひりする」ということは誤りであるとすると休める
事実8: 仮にその腰帯が気安くないがそれはひりひりするとすると「休める」ということは成り立つ
事実9: 「そのセッティングチャートが一族諸共だしそれにそれはひりひりする」ということは嘘であるとするとそれは倒れ難い
事実10: 「もし仮に判示するとしたら悩ましい」ものはある

仮説: 「「もし仮に「気安くないしひりひりする」ということは誤りであるなら休める」物はある」ということは成り立たない
1. 事実7から、仮説が否定される

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