「「君らしくないなら「引き難くないし拭かない」ということは誤りな」ものはある」ということは成り立たない
fact1: 「仮に君らしくないならば「引き難くて拭かない」ということは誤りな」ものはある fact2: もしこの通信使は君らしくないとすれば「それは引き難くなくて拭く」ということは成り立たない fact3: もしなにかは君らしくないならば「引き難くないがしかし拭く」ということは誤りだ fact4: 「仮にエキサイトするとしたら「輝き出さないしさらに質問状でない」ということは成り立たない」ものはある fact5: 仮に何かは取り易いとしたら「沈降しないしそれにそれは悔い改めない」ということは成り立つということはない fact6: もしもとある物が満足出来ないならば脆くないしイタリア知識人でない fact7: もし仮になにがしかのものは君らしくないなら「それが引き難くないしさらに拭かない」ということは事実と異なる fact8: もしこの通信使は君らしくないならば「引き難いし加えて拭かない」ということは事実と異なる fact9: もしも何らかのものは君らしいということはないなら「それは引き難いけれど拭かない」ということは間違いである fact10: もしもこの通信使が君らしくないとするとそれは引き難くないしそれは拭かない fact11: もしもこの通信使は君らしいとすれば「引き難くないしそれは拭かない」ということは事実と異なる fact12: 「もしジャンボ西瓜でないとしたら「人懐っこいし満足出来ない」ということは偽な」物はある
fact7 -> int1: 仮にこの通信使は君らしくないならば「それは引き難くないしまた拭かない」ということは本当でない; int1 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「仮に君らしくないならば「引き難くて拭かない」ということは誤りな」ものはある fact2: もしこの通信使は君らしくないとすれば「それは引き難くなくて拭く」ということは成り立たない fact3: もしなにかは君らしくないならば「引き難くないがしかし拭く」ということは誤りだ fact4: 「仮にエキサイトするとしたら「輝き出さないしさらに質問状でない」ということは成り立たない」ものはある fact5: 仮に何かは取り易いとしたら「沈降しないしそれにそれは悔い改めない」ということは成り立つということはない fact6: もしもとある物が満足出来ないならば脆くないしイタリア知識人でない fact7: もし仮になにがしかのものは君らしくないなら「それが引き難くないしさらに拭かない」ということは事実と異なる fact8: もしこの通信使は君らしくないならば「引き難いし加えて拭かない」ということは事実と異なる fact9: もしも何らかのものは君らしいということはないなら「それは引き難いけれど拭かない」ということは間違いである fact10: もしもこの通信使が君らしくないとするとそれは引き難くないしそれは拭かない fact11: もしもこの通信使は君らしいとすれば「引き難くないしそれは拭かない」ということは事実と異なる fact12: 「もしジャンボ西瓜でないとしたら「人懐っこいし満足出来ない」ということは偽な」物はある ; $hypothesis$ = 「「君らしくないなら「引き難くないし拭かない」ということは誤りな」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> int1: 仮にこの通信使は君らしくないならば「それは引き難くないしまた拭かない」ということは本当でない; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に君らしくないならば「引き難くて拭かない」ということは誤りな」ものはある
事実2: もしこの通信使は君らしくないとすれば「それは引き難くなくて拭く」ということは成り立たない
事実3: もしなにかは君らしくないならば「引き難くないがしかし拭く」ということは誤りだ
事実4: 「仮にエキサイトするとしたら「輝き出さないしさらに質問状でない」ということは成り立たない」ものはある
事実5: 仮に何かは取り易いとしたら「沈降しないしそれにそれは悔い改めない」ということは成り立つということはない
事実6: もしもとある物が満足出来ないならば脆くないしイタリア知識人でない
事実7: もし仮になにがしかのものは君らしくないなら「それが引き難くないしさらに拭かない」ということは事実と異なる
事実8: もしこの通信使は君らしくないならば「引き難いし加えて拭かない」ということは事実と異なる
事実9: もしも何らかのものは君らしいということはないなら「それは引き難いけれど拭かない」ということは間違いである
事実10: もしもこの通信使が君らしくないとするとそれは引き難くないしそれは拭かない
事実11: もしもこの通信使は君らしいとすれば「引き難くないしそれは拭かない」ということは事実と異なる
事実12: 「もしジャンボ西瓜でないとしたら「人懐っこいし満足出来ない」ということは偽な」物はある

仮説: 「「君らしくないなら「引き難くないし拭かない」ということは誤りな」ものはある」ということは成り立たない
1. 事実7から、推論1: "仮にこの通信使は君らしくないならば「それは引き難くないしまた拭かない」ということは本当でない"が導かれる
2. 推論1から、仮説が否定される

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