この調査書は立て難いということはない
fact1: もし仮に「その総コストは繁殖し易くないしそれは御連れしない」ということは成り立つとすると「このラッキースポットは受診するということはない」ということは成り立つ fact2: 仮にこのラッキースポットが受診するということはないならこの調査書は立て難い fact3: この左利きは後ろ暗い fact4: もしこの左利きが後ろ暗いとすればその総コストは繁殖し易いということはないしそれに御連れしない fact5: その総コストは御連れしない fact6: もしこの左利きが立て難いとするとこの調査書は立て難くない fact7: もしもその総コストは立て難いなら「この調査書は御連れしない」ということは確かである fact8: もし「その総コストは繁殖し易くない一方で御連れする」ということは成り立つとしたらこのラッキースポットは受診しない
fact4 & fact3 -> int1: その総コストは繁殖し易いということはなくてそれは御連れしない; int1 & fact1 -> int2: 「このラッキースポットは受診しない」ということは本当である; int2 & fact2 -> hypothesis;
「この調査書は立て難くない」ということは成り立つ
$facts$ = fact1: もし仮に「その総コストは繁殖し易くないしそれは御連れしない」ということは成り立つとすると「このラッキースポットは受診するということはない」ということは成り立つ fact2: 仮にこのラッキースポットが受診するということはないならこの調査書は立て難い fact3: この左利きは後ろ暗い fact4: もしこの左利きが後ろ暗いとすればその総コストは繁殖し易いということはないしそれに御連れしない fact5: その総コストは御連れしない fact6: もしこの左利きが立て難いとするとこの調査書は立て難くない fact7: もしもその総コストは立て難いなら「この調査書は御連れしない」ということは確かである fact8: もし「その総コストは繁殖し易くない一方で御連れする」ということは成り立つとしたらこのラッキースポットは受診しない ; $hypothesis$ = この調査書は立て難いということはない ; $proof$ = 
fact4 & fact3 -> int1: その総コストは繁殖し易いということはなくてそれは御連れしない; int1 & fact1 -> int2: 「このラッキースポットは受診しない」ということは本当である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「その総コストは繁殖し易くないしそれは御連れしない」ということは成り立つとすると「このラッキースポットは受診するということはない」ということは成り立つ
事実2: 仮にこのラッキースポットが受診するということはないならこの調査書は立て難い
事実3: この左利きは後ろ暗い
事実4: もしこの左利きが後ろ暗いとすればその総コストは繁殖し易いということはないしそれに御連れしない
事実5: その総コストは御連れしない
事実6: もしこの左利きが立て難いとするとこの調査書は立て難くない
事実7: もしもその総コストは立て難いなら「この調査書は御連れしない」ということは確かである
事実8: もし「その総コストは繁殖し易くない一方で御連れする」ということは成り立つとしたらこのラッキースポットは受診しない

仮説: この調査書は立て難いということはない
1. 事実4と事実3から、推論1: "その総コストは繁殖し易いということはなくてそれは御連れしない"が導かれる
2. 推論1と事実1から、推論2: "「このラッキースポットは受診しない」ということは本当である"が導かれる
3. 推論2と事実2から、仮説が否定される

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