「このものもねLv.4は灯し難い」ということは成り立つ
fact1: このものもねLv.4は取り仕切るしさらに保持し続けるとしたらそれは灯し難くない fact2: このものもねLv.4は物々しくない fact3: このものもねLv.4が物々しくないとしたらこのものもねLv.4は取り仕切るししかも分断する fact4: このものもねLv.4は分断する fact5: このものもねLv.4は保持し続ける
fact3 & fact2 -> int1: このものもねLv.4は取り仕切るしさらにそれは分断する; int1 -> int2: このものもねLv.4は取り仕切る; int2 & fact5 -> int3: このものもねLv.4は取り仕切るしおまけにそれは保持し続ける; int3 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: ({A}{a} & {C}{a}); int3 & fact1 -> hypothesis;
$facts$ = fact1: このものもねLv.4は取り仕切るしさらに保持し続けるとしたらそれは灯し難くない fact2: このものもねLv.4は物々しくない fact3: このものもねLv.4が物々しくないとしたらこのものもねLv.4は取り仕切るししかも分断する fact4: このものもねLv.4は分断する fact5: このものもねLv.4は保持し続ける ; $hypothesis$ = 「このものもねLv.4は灯し難い」ということは成り立つ ; $proof$ = 
fact3 & fact2 -> int1: このものもねLv.4は取り仕切るしさらにそれは分断する; int1 -> int2: このものもねLv.4は取り仕切る; int2 & fact5 -> int3: このものもねLv.4は取り仕切るしおまけにそれは保持し続ける; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: ({A}{a} & {C}{a}); int3 & fact1 -> hypothesis; __DISPROVED__