「そのまゆまわLv.97は満遍無いかまたはそれは酒臭い」ということは事実と異なる
fact1: 「そのもいもゆLv.28は狂おしい」ということは確かであるとするとあのみやみねLv.42は重し fact2: もし仮にあのみやみねLv.42が重しならそのまゆまわLv.97は酒臭い fact3: もし「そのもいもゆLv.28は答礼する」ということは成り立つとすればそのもいもゆLv.28は狂おしい fact4: そのもいもゆLv.28は納得し難くて加えて答礼する
fact4 -> int1: そのもいもゆLv.28は答礼する; int1 & fact3 -> int2: そのもいもゆLv.28は狂おしい; int2 & fact1 -> int3: あのみやみねLv.42は重し; int3 & fact2 -> int4: そのまゆまわLv.97は酒臭い; int4 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{c}; int4 -> hypothesis;
$facts$ = fact1: 「そのもいもゆLv.28は狂おしい」ということは確かであるとするとあのみやみねLv.42は重し fact2: もし仮にあのみやみねLv.42が重しならそのまゆまわLv.97は酒臭い fact3: もし「そのもいもゆLv.28は答礼する」ということは成り立つとすればそのもいもゆLv.28は狂おしい fact4: そのもいもゆLv.28は納得し難くて加えて答礼する ; $hypothesis$ = 「そのまゆまわLv.97は満遍無いかまたはそれは酒臭い」ということは事実と異なる ; $proof$ = 
fact4 -> int1: そのもいもゆLv.28は答礼する; int1 & fact3 -> int2: そのもいもゆLv.28は狂おしい; int2 & fact1 -> int3: あのみやみねLv.42は重し; int3 & fact2 -> int4: そのまゆまわLv.97は酒臭い; int4 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{c}; int4 -> hypothesis; __DISPROVED__