そのぴちゃぴわLv.6は若しない
fact1: あのぽなぽなLv.35はださい fact2: あのぽなぽなLv.35はせせこましいししかも流れ易い fact3: あのぽなぽなLv.35はせせこましい fact4: そのぴちゃぴわLv.6が安ししその上会見する fact5: 仮にあのぽなぽなLv.35が流れ易くてさらにださいとすればそのぴちゃぴわLv.6は若しない fact6: あのもいもにょLv.36はせせこましくない fact7: そのぴちゃぴわLv.6はせせこましい fact8: 仮にそのぴちゃぴわLv.6が流れ易くてさらに若しとするとあのぽなぽなLv.35はせせこましくない
fact2 -> int1: 「あのぽなぽなLv.35は流れ易い」ということは成り立つ; int1 & fact1 -> int2: あのぽなぽなLv.35は流れ易いしその上ださい; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis;
$facts$ = fact1: あのぽなぽなLv.35はださい fact2: あのぽなぽなLv.35はせせこましいししかも流れ易い fact3: あのぽなぽなLv.35はせせこましい fact4: そのぴちゃぴわLv.6が安ししその上会見する fact5: 仮にあのぽなぽなLv.35が流れ易くてさらにださいとすればそのぴちゃぴわLv.6は若しない fact6: あのもいもにょLv.36はせせこましくない fact7: そのぴちゃぴわLv.6はせせこましい fact8: 仮にそのぴちゃぴわLv.6が流れ易くてさらに若しとするとあのぽなぽなLv.35はせせこましくない ; $hypothesis$ = そのぴちゃぴわLv.6は若しない ; $proof$ = 
fact2 -> int1: 「あのぽなぽなLv.35は流れ易い」ということは成り立つ; int1 & fact1 -> int2: あのぽなぽなLv.35は流れ易いしその上ださい; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis; __PROVED__