この特高月報は寄稿する
fact1: このリュウキュウ松はかっかしないなら「この中度はかわゆくて手荒い」ということは誤りである fact2: このリュウキュウ松はかっかしない fact3: このＡＤＦはかっかしない fact4: 仮に「この中度はかわゆいし更にそれは手荒い」ということは間違っているならばあの特高月報は寄稿しない
fact1 & fact2 -> int1: 「この中度はかわゆくて加えて手荒い」ということは成り立たない; int1 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ¬({AA}{b} & {AB}{b}); int1 & fact4 -> hypothesis;
$facts$ = fact1: このリュウキュウ松はかっかしないなら「この中度はかわゆくて手荒い」ということは誤りである fact2: このリュウキュウ松はかっかしない fact3: このＡＤＦはかっかしない fact4: 仮に「この中度はかわゆいし更にそれは手荒い」ということは間違っているならばあの特高月報は寄稿しない ; $hypothesis$ = この特高月報は寄稿する ; $proof$ = 
fact1 & fact2 -> int1: 「この中度はかわゆくて加えて手荒い」ということは成り立たない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: このリュウキュウ松はかっかしないなら「この中度はかわゆくて手荒い」ということは誤りである
事実2: このリュウキュウ松はかっかしない
事実3: このＡＤＦはかっかしない
事実4: 仮に「この中度はかわゆいし更にそれは手荒い」ということは間違っているならばあの特高月報は寄稿しない

仮説: この特高月報は寄稿する
1. 事実1と事実2から、推論1: "「この中度はかわゆくて加えて手荒い」ということは成り立たない"が導かれる
2. 推論1と事実4から、仮説が否定される

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