この節榑は六十年度である
fact1: この節榑は誘発し易くない fact2: なにがしかの物がテキスト配置アイコンでないしそれが近付き難くないなら六十年度でない fact3: この節榑は誘発し易くないとしたらテキスト配置アイコンでなくて近付き難くない
fact3 & fact1 -> int1: この節榑はテキスト配置アイコンでなくてそれは近付き難くない; fact2 -> int2: この節榑がテキスト配置アイコンでないし更にそれが近付き難くないとしたら六十年度であるということはない; int1 & int2 -> hypothesis;
$facts$ = fact1: この節榑は誘発し易くない fact2: なにがしかの物がテキスト配置アイコンでないしそれが近付き難くないなら六十年度でない fact3: この節榑は誘発し易くないとしたらテキスト配置アイコンでなくて近付き難くない ; $hypothesis$ = この節榑は六十年度である ; $proof$ = 
fact3 & fact1 -> int1: この節榑はテキスト配置アイコンでなくてそれは近付き難くない; fact2 -> int2: この節榑がテキスト配置アイコンでないし更にそれが近付き難くないとしたら六十年度であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この節榑は誘発し易くない
事実2: なにがしかの物がテキスト配置アイコンでないしそれが近付き難くないなら六十年度でない
事実3: この節榑は誘発し易くないとしたらテキスト配置アイコンでなくて近付き難くない

仮説: この節榑は六十年度である
1. 事実3と事実1から、推論1: "この節榑はテキスト配置アイコンでなくてそれは近付き難くない"が導かれる
2. 事実2から、推論2: "この節榑がテキスト配置アイコンでないし更にそれが近付き難くないとしたら六十年度であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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