あの立ち入り禁止区域はレディでない
fact1: 「もしこのオーストラリア人がレディでないならばあの立ち入り禁止区域はレディでない」ということは成り立つ fact2: もしもこのオーストラリア人が描き易いしその上位置するとしたらあの立ち入り禁止区域はレディである fact3: もしこのオーストラリア人が松科ならばそれは描き易いけど位置しない fact4: このオーストラリア人は松科だ fact5: もしもこのオーストラリア人が描き易いけれど位置するということはないとするとあの立ち入り禁止区域はレディである fact6: このオーストラリア人は位置しない fact7: あの立ち入り禁止区域が松科であるならば描き易くてレディでない fact8: このオーストラリア人はレディであるけど位置しない
fact3 & fact4 -> int1: このオーストラリア人は描き易いけれど位置しない; int1 & fact5 -> hypothesis;
「あの立ち入り禁止区域はレディでない」ということは真実である
$facts$ = fact1: 「もしこのオーストラリア人がレディでないならばあの立ち入り禁止区域はレディでない」ということは成り立つ fact2: もしもこのオーストラリア人が描き易いしその上位置するとしたらあの立ち入り禁止区域はレディである fact3: もしこのオーストラリア人が松科ならばそれは描き易いけど位置しない fact4: このオーストラリア人は松科だ fact5: もしもこのオーストラリア人が描き易いけれど位置するということはないとするとあの立ち入り禁止区域はレディである fact6: このオーストラリア人は位置しない fact7: あの立ち入り禁止区域が松科であるならば描き易くてレディでない fact8: このオーストラリア人はレディであるけど位置しない ; $hypothesis$ = あの立ち入り禁止区域はレディでない ; $proof$ = 
fact3 & fact4 -> int1: このオーストラリア人は描き易いけれど位置しない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「もしこのオーストラリア人がレディでないならばあの立ち入り禁止区域はレディでない」ということは成り立つ
事実2: もしもこのオーストラリア人が描き易いしその上位置するとしたらあの立ち入り禁止区域はレディである
事実3: もしこのオーストラリア人が松科ならばそれは描き易いけど位置しない
事実4: このオーストラリア人は松科だ
事実5: もしもこのオーストラリア人が描き易いけれど位置するということはないとするとあの立ち入り禁止区域はレディである
事実6: このオーストラリア人は位置しない
事実7: あの立ち入り禁止区域が松科であるならば描き易くてレディでない
事実8: このオーストラリア人はレディであるけど位置しない

仮説: あの立ち入り禁止区域はレディでない
1. 事実3と事実4から、推論1: "このオーストラリア人は描き易いけれど位置しない"が導かれる
2. 推論1と事実5から、仮説が否定される

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