「あるモンスターは仕舞うしそれに危うい」ということは本当でない
fact1: このもちょもにょLv.9は自然らしい fact2: もしこのもちょもにょLv.9が起算するならこのもちょもにょLv.9は仕舞う fact3: もし仮にこのもちょもにょLv.9が危うしとすればこのもちょもにょLv.9は起算する fact4: このもちょもにょLv.9は危うい fact5: もしこのもちょもにょLv.9が自然らしいとするとそれは危うし
fact5 & fact1 -> int1: 「このもちょもにょLv.9は危うし」ということは事実と異ならない; int1 & fact3 -> int2: このもちょもにょLv.9は起算する; int2 & fact2 -> int3: このもちょもにょLv.9は仕舞う; int3 & fact4 -> int4: このもちょもにょLv.9は仕舞うしそれにそれは危うい; int4 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact4 -> int4: ({D}{a} & {E}{a}); int4 -> hypothesis;
$facts$ = fact1: このもちょもにょLv.9は自然らしい fact2: もしこのもちょもにょLv.9が起算するならこのもちょもにょLv.9は仕舞う fact3: もし仮にこのもちょもにょLv.9が危うしとすればこのもちょもにょLv.9は起算する fact4: このもちょもにょLv.9は危うい fact5: もしこのもちょもにょLv.9が自然らしいとするとそれは危うし ; $hypothesis$ = 「あるモンスターは仕舞うしそれに危うい」ということは本当でない ; $proof$ = 
fact5 & fact1 -> int1: 「このもちょもにょLv.9は危うし」ということは事実と異ならない; int1 & fact3 -> int2: このもちょもにょLv.9は起算する; int2 & fact2 -> int3: このもちょもにょLv.9は仕舞う; int3 & fact4 -> int4: このもちょもにょLv.9は仕舞うしそれにそれは危うい; int4 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact4 -> int4: ({D}{a} & {E}{a}); int4 -> hypothesis; __DISPROVED__