「「もしも「人恋しくない」ということは事実と異なれば手間賃だがしかしドーナツでない」物はある」ということは成り立たない
fact1: 仮になにかは母親らしいとしたらそれは許し難いけれど連鎖しない fact2: もしもある物が広野だとすると全額負担するしそれにそれは生温かくない fact3: もし仮にそのルーチンが鬱陶しいとしたらそれは約束通りで二段発条しない fact4: もしもこのプレーンヨーグルトが人恋しいとするとそれは手間賃だけれどドーナツであるということはない fact5: 仮にこのプレーンヨーグルトが人恋しいならばドーナツでない fact6: 「空々しいなら考え易い一方で田舎っぽくない」ものはある fact7: 「もし呼吸するとしたら分け隔てるがしかし跪かない」ものはある fact8: 「もし人恋しいならば手間賃な」ものはある fact9: 「人恋しいとするとドーナツでない」ものはある fact10: 仮にこのプレーンヨーグルトが教えるとしたらそれは胸苦しいけどしがなくない fact11: 「もし仮に人恋しいならば手間賃であるしまたドーナツである」ものはある fact12: もしこのプレーンヨーグルトが断り難いならそれは手間賃だがしかし起こし易くない fact13: 「仮につれないならば水行するし県道であるということはない」ものはある
fact4 -> hypothesis;
fact4 -> hypothesis;
「仮に広野ならば全額負担するし更に生温かくない」物はある
fact14 -> int1: あの天授は広野であるとすれば全額負担する一方で生温かくない; int1 -> hypothesis;
$facts$ = fact1: 仮になにかは母親らしいとしたらそれは許し難いけれど連鎖しない fact2: もしもある物が広野だとすると全額負担するしそれにそれは生温かくない fact3: もし仮にそのルーチンが鬱陶しいとしたらそれは約束通りで二段発条しない fact4: もしもこのプレーンヨーグルトが人恋しいとするとそれは手間賃だけれどドーナツであるということはない fact5: 仮にこのプレーンヨーグルトが人恋しいならばドーナツでない fact6: 「空々しいなら考え易い一方で田舎っぽくない」ものはある fact7: 「もし呼吸するとしたら分け隔てるがしかし跪かない」ものはある fact8: 「もし人恋しいならば手間賃な」ものはある fact9: 「人恋しいとするとドーナツでない」ものはある fact10: 仮にこのプレーンヨーグルトが教えるとしたらそれは胸苦しいけどしがなくない fact11: 「もし仮に人恋しいならば手間賃であるしまたドーナツである」ものはある fact12: もしこのプレーンヨーグルトが断り難いならそれは手間賃だがしかし起こし易くない fact13: 「仮につれないならば水行するし県道であるということはない」ものはある ; $hypothesis$ = 「「もしも「人恋しくない」ということは事実と異なれば手間賃だがしかしドーナツでない」物はある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 仮になにかは母親らしいとしたらそれは許し難いけれど連鎖しない
事実2: もしもある物が広野だとすると全額負担するしそれにそれは生温かくない
事実3: もし仮にそのルーチンが鬱陶しいとしたらそれは約束通りで二段発条しない
事実4: もしもこのプレーンヨーグルトが人恋しいとするとそれは手間賃だけれどドーナツであるということはない
事実5: 仮にこのプレーンヨーグルトが人恋しいならばドーナツでない
事実6: 「空々しいなら考え易い一方で田舎っぽくない」ものはある
事実7: 「もし呼吸するとしたら分け隔てるがしかし跪かない」ものはある
事実8: 「もし人恋しいならば手間賃な」ものはある
事実9: 「人恋しいとするとドーナツでない」ものはある
事実10: 仮にこのプレーンヨーグルトが教えるとしたらそれは胸苦しいけどしがなくない
事実11: 「もし仮に人恋しいならば手間賃であるしまたドーナツである」ものはある
事実12: もしこのプレーンヨーグルトが断り難いならそれは手間賃だがしかし起こし易くない
事実13: 「仮につれないならば水行するし県道であるということはない」ものはある

仮説: 「「もしも「人恋しくない」ということは事実と異なれば手間賃だがしかしドーナツでない」物はある」ということは成り立たない
1. 事実4から、仮説が否定される

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