この試験データは老化する
fact1: この試験データは切り立つ fact2: 仮に「とあるものは腱であるしかつそれは老化する」ということは成り立つということはないとしたら老化しない fact3: この試験データは補助す fact4: 仮にとあるものが切り立てばそれは気道内圧である fact5: ある物は切り立つかまたは売り飛ばすかまたはどちらもであるとしたら「それは老化しない」ということは正しい fact6: もしとあるものは補助すとしたら「この相手プレイヤーは腱であるし老化する」ということは成り立つということはない fact7: もし何らかのものが老化しないなら切り立つし売り飛ばす
fact1 -> int1: この試験データは切り立つかまたは売り飛ばすかまたは両方だ; fact5 -> int2: もしもこの試験データが切り立つか売り飛ばすかまたは両方であるとしたら老化しない; int1 & int2 -> hypothesis;
この相手プレイヤーは聞き成れるかまたは気道内圧であるか両方ともである
fact12 -> int3: 仮にこの相手プレイヤーが切り立つなら気道内圧である; fact9 -> int4: この相手プレイヤーが老化しないとするとそれは切り立つしおまけに売り飛ばす; fact10 -> int5: もし「この相手プレイヤーが腱だしそれは老化する」ということは嘘だとしたら「老化しない」ということは成り立つ; fact11 -> int6: 「補助す」物はある; int6 & fact8 -> int7: 「この相手プレイヤーは腱だししかも老化する」ということは事実と異なる; int5 & int7 -> int8: この相手プレイヤーは老化するということはない; int4 & int8 -> int9: この相手プレイヤーは切り立つし売り飛ばす; int9 -> int10: この相手プレイヤーは切り立つ; int3 & int10 -> int11: この相手プレイヤーは気道内圧である; int11 -> hypothesis;
$facts$ = fact1: この試験データは切り立つ fact2: 仮に「とあるものは腱であるしかつそれは老化する」ということは成り立つということはないとしたら老化しない fact3: この試験データは補助す fact4: 仮にとあるものが切り立てばそれは気道内圧である fact5: ある物は切り立つかまたは売り飛ばすかまたはどちらもであるとしたら「それは老化しない」ということは正しい fact6: もしとあるものは補助すとしたら「この相手プレイヤーは腱であるし老化する」ということは成り立つということはない fact7: もし何らかのものが老化しないなら切り立つし売り飛ばす ; $hypothesis$ = この試験データは老化する ; $proof$ = 
fact1 -> int1: この試験データは切り立つかまたは売り飛ばすかまたは両方だ; fact5 -> int2: もしもこの試験データが切り立つか売り飛ばすかまたは両方であるとしたら老化しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この試験データは切り立つ
事実2: 仮に「とあるものは腱であるしかつそれは老化する」ということは成り立つということはないとしたら老化しない
事実3: この試験データは補助す
事実4: 仮にとあるものが切り立てばそれは気道内圧である
事実5: ある物は切り立つかまたは売り飛ばすかまたはどちらもであるとしたら「それは老化しない」ということは正しい
事実6: もしとあるものは補助すとしたら「この相手プレイヤーは腱であるし老化する」ということは成り立つということはない
事実7: もし何らかのものが老化しないなら切り立つし売り飛ばす

仮説: この試験データは老化する
1. 事実1から、推論1: "この試験データは切り立つかまたは売り飛ばすかまたは両方だ"が導かれる
2. 事実5から、推論2: "もしもこの試験データが切り立つか売り飛ばすかまたは両方であるとしたら老化しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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