この他意は大人気無くなくてその上人らしいということはない
fact1: もしもあの達成可能性は近付き難いならば「この他意は大人気無いということはないしさらに人らしくない」ということは誤っている fact2: あの達成可能性は描き易いということはない fact3: もしあの達成可能性は近付き難いならば「この他意は大人気無くないが人らしい」ということは誤りだ fact4: あの達成可能性が描き易くないとしたら近付き難い fact5: 仮にあの達成可能性が人らしくないとすると描き易い fact6: 「あの目高さんは近付き難くてそれにそれは描き易い」ということは真実でない
fact4 & fact2 -> int1: あの達成可能性は近付き難い; int1 & fact1 -> hypothesis;
この他意は大人気無くないし更に人らしいということはない
fact7 -> int2: 「「近付き難いしさらに描き易い」ということは成り立たない」ものはある;
$facts$ = fact1: もしもあの達成可能性は近付き難いならば「この他意は大人気無いということはないしさらに人らしくない」ということは誤っている fact2: あの達成可能性は描き易いということはない fact3: もしあの達成可能性は近付き難いならば「この他意は大人気無くないが人らしい」ということは誤りだ fact4: あの達成可能性が描き易くないとしたら近付き難い fact5: 仮にあの達成可能性が人らしくないとすると描き易い fact6: 「あの目高さんは近付き難くてそれにそれは描き易い」ということは真実でない ; $hypothesis$ = この他意は大人気無くなくてその上人らしいということはない ; $proof$ = 
fact4 & fact2 -> int1: あの達成可能性は近付き難い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもあの達成可能性は近付き難いならば「この他意は大人気無いということはないしさらに人らしくない」ということは誤っている
事実2: あの達成可能性は描き易いということはない
事実3: もしあの達成可能性は近付き難いならば「この他意は大人気無くないが人らしい」ということは誤りだ
事実4: あの達成可能性が描き易くないとしたら近付き難い
事実5: 仮にあの達成可能性が人らしくないとすると描き易い
事実6: 「あの目高さんは近付き難くてそれにそれは描き易い」ということは真実でない

仮説: この他意は大人気無くなくてその上人らしいということはない
1. 事実4と事実2から、推論1: "あの達成可能性は近付き難い"が導かれる
2. 推論1と事実1から、仮説が否定される

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